Detail publikace

Modeling System Requirements Using Use Cases and Petri Nets

KOČÍ Radek a JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, s. 160-165. ISBN 978-1-61208-498-5. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186
Název česky
Případy užití a Petriho sítě pro modelování požadavků
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
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, IT
BibTeX 
@INPROCEEDINGS{FITPUB11169,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Modeling System Requirements Using Use Cases and Petri Nets",
   pages = "160--165",
   booktitle = "ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances",
   year = 2016,
   location = "\v{R}\'{i}m, IT",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-498-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11169"
}
Nahoru