Přístupnostní navigace
E-application
Search Search Close
Publication detail
KOČÍ, R. JANOUŠEK, V.
Original Title
Modeling System Requirements Using Use Cases and Petri Nets
Type
article in a collection out of WoS and Scopus
Language
English
Original 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.
Keywords
Object Oriented Petri Nets; Use Cases; requirement specification; requirement implementation
Authors
KOČÍ, R.; JANOUŠEK, V.
Released
25. 8. 2016
Publisher
Xpert Publishing Services
Location
Řím
ISBN
978-1-61208-498-5
Book
ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances
Pages from
160
Pages to
165
Pages count
6
URL
http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186
BibTex
@inproceedings{BUT130976, author="Radek {Kočí} and Vladimír {Janoušek}", title="Modeling System Requirements Using Use Cases and Petri Nets", booktitle="ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances", year="2016", pages="160--165", publisher="Xpert Publishing Services", address="Řím", isbn="978-1-61208-498-5", url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186" }