Detail publikace

Specification of Requirements Using Unified Modeling Language and Petri Nets

KOČÍ, R.; JANOUŠEK, V. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, 2017, vol. 10, no. 12, p. 121-131. ISSN: 1942-2628.
Název česky
Specifikace požadavků s využitím jazyka UML a Petriho sítí
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

Object Oriented Petri Nets, Use Cases, requirement specification, requirement implementation

Abstrakt

Jedním z hlavních problémů, kterými se zabývá softwarové inženýrství, je správná specifikace a implementace požadavků na vyvíjený systém. Mnoho metod používá modely jazyka UML pro specifikaci požadavků a dalšího návrhu systému. Pro ověření specifikace je třeba získat spustitelnou formu modelů nebo musí být implementován prototyp. Přístup prezentovaný v této práci se zaměřuje na formální modelování požadavků, které kombinuje klasické modely pro specifikaci požadavků (diagramy případů užití a diagramy tříd) s modely s formálním základem (Petriho sítě). Vytvořené modely mohou být použity ve všech fázích vývoje včetně specifikace požadavků, ověřování a implementace. Všechny návrhové a validační kroky jsou prováděny na stejných modelech, což zabraňuje chybám způsobeným implementací modelu.

Rok
2017
Strany
121–131
Časopis
International Journal on Advances in Software, roč. 10, č. 12, ISSN 1942-2628
BibTeX 
@article{BUT144459,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Specification of Requirements Using Unified Modeling Language and Petri Nets",
  journal="International Journal on Advances in Software",
  year="2017",
  volume="10",
  number="12",
  pages="121--131",
  issn="1942-2628"
}
Nahoru