Detail publikace

Validation of Specification Models Based on Petri Nets

KOČÍ, R.; JANOUŠEK, V. Validation of Specification Models Based on Petri Nets. Software Engineering Advances. Ateny: Xpert Publishing Services, 2017. p. 232-237. ISBN: 978-1-61208-590-6.
Název česky
Validace specifikačních modelolů založených na Petriho sítích
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, Sequence Diagrams, requirements specification, requirements validation

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
ISBN
978-1-61208-590-6
Vydavatel
Xpert Publishing Services
Místo
Ateny
BibTeX 
@inproceedings{BUT144461,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Validation of Specification Models Based on Petri Nets",
  booktitle="Software Engineering Advances",
  year="2017",
  pages="232--237",
  publisher="Xpert Publishing Services",
  address="Ateny",
  isbn="978-1-61208-590-6",
  url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2017_11_10_10157"
}
Nahoru