Detail publikace

System Design with Object Oriented Petri Nets Formalism

KOČÍ, R.; JANOUŠEK, V. System Design with Object Oriented Petri Nets Formalism. The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008. p. 421-426. ISBN: 978-0-7695-3372-8.
Název česky
System Design with Object Oriented Petri Nets Formalism
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

system design, Object Oriented Petri Nets, modeling

Abstrakt

Výzkum v oblasti návrhu systémů se v současné době zaměřuje na efektivnost a spolehlivost vývojových procesů stejně jako na kvalitu výsledného systému. Byly vyvinuty metody návrhu založené na modelech, které jsou známé pod názvem Model-Based Design. Tyto metody používají polo-formální modely umožňující generování kódu. Následný vývoj či ladění systému na úrovni modelů je však nemožná. Článek se věnuje modifikovanému přístupu k návrhu systémů, který je založen na formalismu Objektově orientované Petriho sítě. Tento přístup umožňuje ověřovat správnost (spolehlivost) modelů simulačními technikami a ponechat modely jako součást výsledného systému.

Rok
2008
Strany
421–426
Sborník
The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008
ISBN
978-0-7695-3372-8
Vydavatel
IEEE Computer Society
Místo
Los Alamitos
BibTeX 
@inproceedings{BUT32120,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="System Design with Object Oriented Petri Nets Formalism",
  booktitle="The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008",
  year="2008",
  pages="421--426",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="978-0-7695-3372-8"
}
Nahoru