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
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