Publication Details

Modeling System Requirements Using Use Cases and Petri Nets

KOČÍ Radek and JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, pp. 160-165. ISBN 978-1-61208-498-5. Available from: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186
Czech title
Případy užití a Petriho sítě pro modelování požadavků
Type
conference paper
Language
english
Authors
URL
Keywords

Object Oriented Petri Nets; Use Cases; requirement specification; requirement implementation

Abstract

The fundamental problem associated with software development is a correct identification, specification and subsequent implementation of the system requirements. To requirement specifications, designers often creates use case diagrams from Unified Modeling Language (UML). These models are then developed by further UML models. To validate requirements, its executable form has to be obtained or the prototype has to be developed. It can conclude in wrong requirement implementations and incorrect validation process. The approach presented in this work focuses on formal requirement modelling combining the classic models for requirements specification (use case diagrams) with models having a formal basis (Petri Nets). Created models can be used in all development stages including requirements specification, verification, and implementation. All design and validation steps are carries on the same models, which avoids mistakes caused by model implementation.

Annotation

One of the fundamental problems associated with software development is a right identification, specification and subsequent implementation of the system requirements. The use case diagram from UML is often use for requirements specification, which is then developed by further UML models. The disadvantage is the inability to check a specification modeled by that method and it is usually necessary to develop a prototype, which is no longer used after fulfilling its purpose. There are methods of working with modified UML models that can be executed and, therefore, check. An example is the MDA methodology and language xUML. However, these methods use transformation techniques to obtain different types of models that serve to different purposes (specification, simulation, etc.). When verifying, the developer does not work with original models and has to reflect any modifications to the original model. This work focuses on the use of Petri nets for specifying requirements. Petri nets are the same specification and implementation of system requirements, so that it is not necessary to implement prototypes or transform models. Any changes are always carried over the same model.

Published
2016
Pages
160-165
Proceedings
ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances
Conference
The Eleventh International Conference on Software Engineering Advances, Řím, IT
ISBN
978-1-61208-498-5
Publisher
Xpert Publishing Services
Place
Řím, IT
BibTeX
@INPROCEEDINGS{FITPUB11169,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Modeling System Requirements Using Use Cases and Petri Nets",
   pages = "160--165",
   booktitle = "ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances",
   year = 2016,
   location = "\v{R}\'{i}m, IT",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-498-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11169"
}
Back to top