Detail publikace
OOPN and DEVS Formalisms for System Specification and Analysis
KOČÍ Radek a JANOUŠEK Vladimír. OOPN and DEVS Formalisms for System Specification and Analysis. In: The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010, s. 305-310. ISBN 978-0-7695-4144-0.
Název česky
Formalismy OOPN a DEVS pro specifikaci a analýzu systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Článek se věnuje přístupu k vývoji softwaru, který kombinuje návrhové a simulační modely. Obvykle jsou modely umožňující simulační analýzu odlišné od návrhových modelů a musejí být z nich generovány. Prezentovaný přístup používá takové formalismy (Objektově orientované Petriho sítě a DEVS), které mohou být použity současně pro návrhové i simulační modely, při vývoji se tedy pracuje pouze s jedním typem modelů. Článek vysvětluje návrhovou metodiku a demonstruje techniku simulační analýzy na jednoduchém příkladu.
Rok
2010
Strany
305-310
Sborník
The Fifth International Conference on Software Engineering Advances
Konference
The Fifth International Conference on Software Engineering Advances ICSEA 2010, Nice, FR
ISBN
978-0-7695-4144-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, US
BibTeX
@INPROCEEDINGS{FITPUB9286, author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek", title = "OOPN and DEVS Formalisms for System Specification and Analysis", pages = "305--310", booktitle = "The Fifth International Conference on Software Engineering Advances", year = 2010, location = "Los Alamitos, US", publisher = "IEEE Computer Society", ISBN = "978-0-7695-4144-0", language = "english", url = "https://www.fit.vut.cz/research/publication/9286" }