Modeling System Requirements Using Use Cases and Petri Nets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121632" target="_blank" >RIV/00216305:26230/16:PU121632 - isvavai.cz</a>
Result on the web
<a href="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186" target="_blank" >http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modeling System Requirements Using Use Cases and Petri Nets
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20206 - Computer hardware and architecture
Result continuities
Project
<a href="/en/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances
ISBN
978-1-61208-498-5
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
160-165
Publisher name
Xpert Publishing Services
Place of publication
Řím
Event location
Řím
Event date
Aug 21, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—