Detail publikace

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

KOČÍ, R.; JANOUŠEK, V. Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML. ICSEA 2011, The Sixth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2011. p. 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
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

Simulation-Based Design, Object-Oriented Petri Nets, DEVS, UML

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
ISBN
978-1-61208-165-6
Vydavatel
Xpert Publishing Services
Místo
Barcelona
BibTeX 
@inproceedings{BUT76371,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML",
  booktitle="ICSEA 2011, The Sixth International Conference on Software Engineering Advances",
  year="2011",
  pages="299--304",
  publisher="Xpert Publishing Services",
  address="Barcelona",
  isbn="978-1-61208-165-6"
}
Nahoru