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
Konference
The Sixth International Conference on Software Engineering Advances, Barcelona, ES
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