Mapping textual scenarios to analyzable petri-net models

Edgar Sarmiento Calisaya, Eduardo Almentero, Julio C.S.P. Leite, Guina Sotomayor

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

With the growing use of user-oriented perspectives at requirements engineering, transforming requirements models into executable models is considered to be significant. One of the key elements in this perspective is the notion of scenarios; scenarios are used to describe specific behaviors of the application through a flow of events based on user-perspective. Since scenarios are often stated in natural languages, they have the advantage to be easy to adopt, but the requirements can then hardly be processed for further purposes like analysis or test generation; partly because interactions among scenarios are rarely represented explicitly. In this work, we propose a transformation method that takes textual description of scenarios as input and generates an equivalent Petri-Net model as output. The resulting Petri-Net model can be further processed and analyzed using Petri-Net tools to verify model properties, to identify concurrency problems and to optimize the input and output models. Demonstration of the feasibility of the proposed method is based on two examples using a supporting tool.

Original languageEnglish
Title of host publicationICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings
EditorsSlimane Hammoudi, Leszek Maciaszek, Leszek Maciaszek, Ernest Teniente
PublisherSciTePress
Pages494-501
Number of pages8
ISBN (Electronic)9789897580963
DOIs
StatePublished - 2015
Externally publishedYes
Event17th International Conference on Enterprise Information Systems, ICEIS 2015 - Barcelona, Spain
Duration: 27 Apr 201530 Apr 2015

Publication series

NameICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings
Volume2

Conference

Conference17th International Conference on Enterprise Information Systems, ICEIS 2015
Country/TerritorySpain
CityBarcelona
Period27/04/1530/04/15

Bibliographical note

Publisher Copyright:
Copyright © 2015 SCITEPRESS - Science and Technology Publications.

Keywords

  • Petri-nets
  • Requirement
  • Requirements analysis
  • Requirements verification
  • Scenario

Fingerprint

Dive into the research topics of 'Mapping textual scenarios to analyzable petri-net models'. Together they form a unique fingerprint.

Cite this