Analysis of Scenarios with Petri-Net Models

Edgar Sarmiento Calisaya, Julio Cesar Sampaio Do Prado Leite, Eduardo Almentero

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

4 Scopus citations


Requirements analysis plays a key role in the software development process. Scenario-based representation is often used for software requirements specification (SRS). Scenarios written in natural language may be ambiguous, and, sometimes, inaccurate. This problem is partially due to the fact that interactions among scenarios are rarely represented explicitly. As scenarios are used as input to subsequent activities of the software development process (SD), it is very important to enable their analysis, especially to detect flaws or problems due to wrong or missing information. This work proposes a Petri-Net based approach as an effective way to analyze the acquired scenarios. To enable the automated analysis, scenarios are translated into equivalent Place/Transition Petri-Nets. Scenarios and their resulting Petri-Nets can be automatically analyzed to evaluate some properties related to correctness, consistency and completeness. The identified problems can be traced back to the scenarios, allowing their revision. We also discuss how correctness, consistency and completeness of scenario-based SRSs can be decomposed in related properties using the NFR approach. Proposal's workability is demonstrated through two running examples.

Original languageEnglish
Title of host publicationProceedings - 29th Brazilian Symposium on Software Engineering, SBES 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages10
ISBN (Electronic)9781467392723
StatePublished - 11 Nov 2015
Externally publishedYes
Event29th Brazilian Symposium on Software Engineering, SBES 2015 - Belo Horizonte - MG, Brazil
Duration: 21 Sep 201525 Sep 2015

Publication series

NameProceedings - 29th Brazilian Symposium on Software Engineering, SBES 2015


Conference29th Brazilian Symposium on Software Engineering, SBES 2015
CityBelo Horizonte - MG

Bibliographical note

Publisher Copyright:
© 2015 IEEE.


  • Petri-Net
  • requirements analysis
  • requirements verification
  • scenario


Dive into the research topics of 'Analysis of Scenarios with Petri-Net Models'. Together they form a unique fingerprint.

Cite this