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
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
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"
}
Nahoru