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
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