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" }