Detail publikace

Object Oriented Petri Nets in Software Development and Deployment

KOČÍ Radek a JANOUŠEK Vladimír. Object Oriented Petri Nets in Software Development and Deployment. In: ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2013, s. 485-490. ISBN 978-1-61208-304-9. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2013_17_40_10275
Název česky
Objektově orientované Petriho sítě v návrhu a nasazení softwaru
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

Modelování v kontextu softwarového inženýrství obvykle slouží pro definování architektury a k popisu chování systému. Modely jsou pak automatizovaně nebo manuálně transformovány do kódu v programovacím jazyku, přičemž testování je možné pouze s kódem nebo specifickými spustitelnými modely. Následný vývoj a ladění s použitím modelů se tímto stává nemožným. Přístup dikutovaný v článku umožňuje modelovat, testovat a ladit systém s využitím vysokoúrovňových jazyků jako jsou Objektově orientované Petriho sítě kombinované s formalismem DEVS. Tyto modely mohou být nasazeny do cílového prostředí a stát se tak integrální součástí vyvinutého systému.

Rok
2013
Strany
485-490
Sborník
ICSEA 2013, The Eighth International Conference on Software Engineering Advances
Konference
The Eighth International Conference on Software Engineering Advances, Venice, IT
ISBN
978-1-61208-304-9
Vydavatel
Xpert Publishing Services
Místo
Venice, IT
BibTeX
@INPROCEEDINGS{FITPUB10381,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Object Oriented Petri Nets in Software Development and Deployment",
   pages = "485--490",
   booktitle = "ICSEA 2013, The Eighth International Conference on Software Engineering Advances",
   year = 2013,
   location = "Venice, IT",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-304-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10381"
}
Nahoru