Modeling System Requirements Using Use Cases and Petri Nets
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Modeling System Requirements Using Use Cases and Petri Nets
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Modeling System Requirements Using Use Cases and Petri Nets
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20206 - Computer hardware and architecture
Návaznosti výsledku
Projekt
<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances
ISBN
978-1-61208-498-5
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
160-165
Název nakladatele
Xpert Publishing Services
Místo vydání
Řím
Místo konání akce
Řím
Datum konání akce
21. 8. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—