Detail publikace

System Composition Using Petri Nets and DEVS Formalisms

KOČÍ Radek a JANOUŠEK Vladimír. System Composition Using Petri Nets and DEVS Formalisms. In: The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014, s. 309-315. ISBN 978-1-61208-367-4.
Název česky
Využití formalismů Petri Nets a DEVS při tvorbě systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Tento článek je součástí práce, která se věnuje vývoji a nasazení systémů, při kterém je vhování systémů modelováno formalismy umožňujícími definovat workflow scénáře. Článek se věnuje konkrétně formalismu Objektově orientované Petriho sítě (OOPN). OOPN jsou vhodné pro popis scénářů a paralelních běhů, postrádají však možnost jednoduché hierarchizace a z ní plynoucí možnost jednoduché výměny entit modelu za jiné. Proto je zavedeno spojení OOPN s formalismem DEVS, který vnáší možnost tvorby komponent s jasně daným rozhraním. Článek také srovnává uvedený přístup k tvorbě a nasazení softwarových systémů s klasickým objektovým přístupem.

Rok
2014
Strany
309-315
Sborník
The Ninth International Conference on Software Engineering Advances
Konference
The Ninth International Conference on Software Engineering Advances, Nice, FR
ISBN
978-1-61208-367-4
Vydavatel
Xpert Publishing Services
Místo
Nice, FR
BibTeX 
@INPROCEEDINGS{FITPUB10644,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "System Composition Using Petri Nets and DEVS Formalisms",
   pages = "309--315",
   booktitle = "The Ninth International Conference on Software Engineering Advances",
   year = 2014,
   location = "Nice, FR",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-367-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10644"
}
Nahoru