Detail publikace

OOPN and DEVS Formalisms for System Specification and Analysis

KOČÍ, R.; JANOUŠEK, V. OOPN and DEVS Formalisms for System Specification and Analysis. The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010. p. 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
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

simulation-based design; Object-Oriented Petri Nets; DEVS;

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
BibTeX 
@inproceedings{BUT35626,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="OOPN and DEVS Formalisms for System Specification and Analysis",
  booktitle="The Fifth International Conference on Software Engineering Advances",
  year="2010",
  pages="305--310",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="978-0-7695-4144-0"
}
Nahoru