Specification of Requirements Using Unified Modeling Language 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%2F17%3APU126436" target="_blank" >RIV/00216305:26230/17:PU126436 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Specification of Requirements Using Unified Modeling Language and Petri Nets
Original language description
One of the major problems the software engineering is dealing with is the correct specification and implementation of requirements to the system being developed. A lot of design methods use models of the Unified Modeling Language for requirements specification and further design of the system. To validate the specification, the executable form of models has to be obtained or the prototype has to be developed. This may cause errors in the transformation or implementation process, which results in incorrect validation. The approach presented in this work focuses on formal requirement modeling combining the classic models for requirements specification (use case diagrams and class 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
J<sub>ost</sub> - Miscellaneous article in a specialist periodical
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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
2017
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
Name of the periodical
International Journal on Advances in Software
ISSN
1942-2628
e-ISSN
—
Volume of the periodical
10
Issue of the periodical within the volume
12
Country of publishing house
US - UNITED STATES
Number of pages
11
Pages from-to
121-131
UT code for WoS article
—
EID of the result in the Scopus database
—