Detail publikace

Modeling System Requirements Using Use Cases and Petri Nets

KOČÍ, R.; JANOUŠEK, V. Modeling System Requirements Using Use Cases and Petri Nets. ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016. p. 160-165. ISBN: 978-1-61208-498-5.
Název česky
Případy užití a Petriho sítě pro modelování požadavků
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

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

Abstrakt

Zásadní problém spojený s vývojem softwaru je správná identifikace, specifikace a následná realizace požadavků na vyvíjený systém. Pro specifikaci požadavků vytvářejí návrháři diagramy případů užití z jazyka UML. Tyto modely jsou pak rozvíjeny dalšími modely UML. K ověření požadavků musí být vytvořen model ve s spustitelné podobě nebo implementován prototyp, což může vést k chybné implementaci požadavků a následně nesprávnému procesu validace. Přístup prezentovaný v této práci se zaměřuje na formální modelování požadavků kombinující klasické modely pro specifikaci požadavků (diagram užití) s modely, které mají formální základ (Petriho sítě). Vytvořené modely mohou být používány ve všech stádiích vývoje, včetně specifikace požadavků, ověřování a implementace. Všechny kroky návrhu a validaci se provádí na stejných modelech, což vyloučí chyby způsobené implementací modelů.

Rok
2016
Strany
160–165
Sborník
ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances
Konference
The Eleventh International Conference on Software Engineering Advances, Řím, IT
ISBN
978-1-61208-498-5
Vydavatel
Xpert Publishing Services
Místo
Řím
BibTeX 
@inproceedings{BUT130976,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Modeling System Requirements Using Use Cases and Petri Nets",
  booktitle="ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances",
  year="2016",
  pages="160--165",
  publisher="Xpert Publishing Services",
  address="Řím",
  isbn="978-1-61208-498-5",
  url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186"
}
Nahoru