Detail publikace

The Object Oriented Petri Net Component Model

KOČÍ, R.; JANOUŠEK, V. The Object Oriented Petri Net Component Model. The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015. p. 18-24. ISBN: 978-1-61208-438-1.
Název česky
Komponentový model Objektově orientovaných Petriho sítí
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)
URL
Klíčová slova

Object Oriented Petri Nets; DEVS; component platform; interface consistency

Abstrakt

Formalismus Objektově orientované Petriho sítě (OOPN) je součástí práce zabývající se metodikou tvorby softwaru v simulaci. V této metodice není rozdíl mezi modely, prototypy, nebo cílovým systémem. Základem je model, který je vždy spustilelný a může být modifikován i za běhu. Navíc je možné kombinovat různé formalismy pro vývoj softwaru. Uvedený koncept vyžaduje existenci společné platformy, která musí být jednoduchá a musí umožňovat výměnu částí modelů za běhu. Pro specifikaci platformy byl použit formalismus Discrete Event System Specification (DEVS), který umožňuje vytvářet systém spojováním komponent, kde každá komponenta je modelována formalismem OOPN. Článek definuje takovou platformu a věnuje se otázkám bezpečné výměny komponent za běhu.

Rok
2015
Strany
18–24
Sborník
The Tenth International Conference on Software Engineering Advances
ISBN
978-1-61208-438-1
Vydavatel
Xpert Publishing Services
Místo
Barcelona
BibTeX 
@inproceedings{BUT119874,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="The Object Oriented Petri Net Component Model",
  booktitle="The Tenth International Conference on Software Engineering Advances",
  year="2015",
  pages="18--24",
  publisher="Xpert Publishing Services",
  address="Barcelona",
  isbn="978-1-61208-438-1",
  url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2015_1_40_10130"
}
Nahoru