Detail publikace

Validation of Specification Models Based on Petri Nets

KOČÍ Radek a JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, s. 232-237. ISBN 978-1-61208-590-6. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2017_11_10_10157
Název česky
Validace specifikačních modelolů založených na Petriho sítích
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

Každý proces ověřování požadavků softwarového systému by měl zahrnovat analýzu všech možných scénářů, přičemž jen některé z nich jsou platné, některé jsou nadbytečné a některé způsobují nebezpečné chování systému. Důležitým faktorem úspěšné kontroly všech možných scénářů je možnost automatizovaného vyhledávání a vyhodnocení scénářů. V této oblasti existuje rozdíl mezi tím, co formální přístupy mohou nabídnout a jakým způsobem se skutečně používají. Techniky systematického formálního popisu umožňují specifikovat vlastnosti systému a formu řešení během procesu návrhu a analyzovat specifikaci systému včetně interakcí uživatele. Tato práce se zaměřuje na použití Petriho sítí pro specifikaci požadavků a generování a analýzu scénářů pro validaci této specifikace.

Rok
2017
Strany
232-237
Sborník
Software Engineering Advances
Konference
The Twelfth International Conference on Software Engineering Advances, Athens, GR
ISBN
978-1-61208-590-6
Vydavatel
Xpert Publishing Services
Místo
Ateny, GR
BibTeX 
@INPROCEEDINGS{FITPUB11485,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Validation of Specification Models Based on Petri Nets",
   pages = "232--237",
   booktitle = "Software Engineering Advances",
   year = 2017,
   location = "Ateny, GR",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-590-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11485"
}
Nahoru