Detail publikace

Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML

KOČÍ Radek a JANOUŠEK Vladimír. Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML. In: ICSEA 2011, The Sixth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2011, s. 299-304. ISBN 978-1-61208-165-6.
Název česky
Metoda návrhu systémů založená na formalismech Petri sítí, DEVS a UML
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)
Abstrakt

Vývoj systémů používá techniky a procesy, které jsou specifické pro různé typy systémů či aplikací. Obvykle jsou používané různé formalismy a nástroje v různých vývojových etapách a vytvořené modely musí být transformovány ručně či automaticky. Článek se věnuje takovým technikám, které nevyžadují změnu formalismů během procesu vývoje. Vychází z metod návrhu používající formalismy UML, Petriho sítě a DEVS. Jejich kombinace snižuje počet transformací modelů a výsledný návrh aplikace je vhodněji strukturován.

Rok
2011
Strany
299-304
Sborník
ICSEA 2011, The Sixth International Conference on Software Engineering Advances
Konference
The Sixth International Conference on Software Engineering Advances, Barcelona, ES
ISBN
978-1-61208-165-6
Vydavatel
Xpert Publishing Services
Místo
Barcelona, ES
BibTeX 
@INPROCEEDINGS{FITPUB9646,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML",
   pages = "299--304",
   booktitle = "ICSEA 2011, The Sixth International Conference on Software Engineering Advances",
   year = 2011,
   location = "Barcelona, ES",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-165-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9646"
}
Nahoru