Detail publikace

The Object Oriented Petri Net Component Model

KOČÍ Radek a JANOUŠEK Vladimír. The Object Oriented Petri Net Component Model. In: The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015, s. 18-24. ISBN 978-1-61208-438-1. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2015_1_40_10130
Název česky
Komponentový model Objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
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
Konference
The Tenth International Conference on Software Engineering Advances, Barcelona, ES
ISBN
978-1-61208-438-1
Vydavatel
Xpert Publishing Services
Místo
Barcelona, ES
BibTeX
@INPROCEEDINGS{FITPUB10913,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "The Object Oriented Petri Net Component Model",
   pages = "18--24",
   booktitle = "The Tenth International Conference on Software Engineering Advances",
   year = 2015,
   location = "Barcelona, ES",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-438-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10913"
}
Nahoru