Mapping Textual Scenarios to Analyzable Petri-Net Models

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

2015

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.

References

  1. Andersson, M., Bergstrand, J., 1995. Formalizing Use Cases with Message Sequence Charts. Master's thesis. Lund Inst. of Technology.
  2. C & L., 2014. Scenarios & Lexicons. Available at: http://pes.inf.puc-rio.br/cel.
  3. Cockburn, A., 2001. Writing Effective Use Cases. Addison-Wesley.
  4. Downey, A. B., 2005. The Little Book of Semaphores. Green Tea Press. Available at http://greenteapress. com/semaphores.
  5. Gutiérrez, J. J., Clémentine, N., Escalona, M. J., Mejías, M., Ramos, I. M., 2008. Visualization of Use Cases through Automatically Generated Activity Diagrams. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS. LNCS, volume 5301, pages 83-96. Springer, Heidelberg.
  6. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C., 1994. Formal Approach to Scenario Analysis. In IEEE Software, pages 33-41.
  7. Lee, W. Cha, S. and Kwon, Y., 1998. Integration and analysis of Use Cases Using Modular Petri Nets in Requirements Engineering, In IEEE Transaction on Software Engineering, volume 24, number 12, pages 1115-1130.
  8. Lee, J., Pan, J. I., and Kuo, J. Y., 2001. Verifying scenarios with time petri-nets. Inf. Softw. Technol., volume 43, number 13, pages 769-781.
  9. Leite, J. C. S. P., Hadad, G., Doorn, J. and Kaplan, G., 2000. A scenario construction process. Requirements Engineering Journal, Springer-Verlag London Limited, volume 5, number 1, pages 38-61.
  10. PIPE2., 2014 Platform Independent Petri net Editor 2, http://pipe2.sourceforge.net
  11. Reisig, W., 1985. Petri Nets: An Introduction, SpringerVerlag, Berlin, Heidelberg.
  12. Somé, S., 2007. Petri Nets Based Formalization of Textual Use Cases. Tech. Report in SITE, TR2007-11, Uni. of Ottawa.
  13. Zhao, J., Duan, Z., 2009. Verification of use case with petri nets in requirement analysis. In Gervasi, O., Taniar, D., Murgante, B., Laganà, A., Mun, Y., Gavrilova, M. L. (eds.) ICCSA 2009, Part II. LNCS, volume 5593, pages 29-42. Springer, Heidelberg.
Download


Paper Citation


in Harvard Style

Sarmiento E., Almentero E., C. S. P. Leite J. and Sotomayor G. (2015). Mapping Textual Scenarios to Analyzable Petri-Net Models . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 494-501. DOI: 10.5220/0005469704940501


in Bibtex Style

@conference{iceis15,
author={Edgar Sarmiento and Eduardo Almentero and Julio C. S. P. Leite and Guina Sotomayor},
title={Mapping Textual Scenarios to Analyzable Petri-Net Models},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={494-501},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005469704940501},
isbn={978-989-758-097-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Mapping Textual Scenarios to Analyzable Petri-Net Models
SN - 978-989-758-097-0
AU - Sarmiento E.
AU - Almentero E.
AU - C. S. P. Leite J.
AU - Sotomayor G.
PY - 2015
SP - 494
EP - 501
DO - 10.5220/0005469704940501