Specification of Requirements Using Unified Modeling Language and Petri Nets

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Specification of Requirements Using Unified Modeling Language and Petri Nets

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Specification of Requirements Using Unified Modeling Language and Petri Nets

Popis výsledku anglicky

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.

Druh

J_ost - Ostatní články v recenzovaných periodicích

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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

Rok uplatnění

2017

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ů

Název periodika

International Journal on Advances in Software

ISSN

1942-2628

e-ISSN

—

Svazek periodika

10

Číslo periodika v rámci svazku

12

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

11

Strana od-do

121-131

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—