Conference paper

KOČÍ Radek and 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, pp. 299-304. ISBN 978-1-61208-165-6.
Publication language:english
Original title:Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML
Title (cs):Metoda návrhu systémů založená na formalismech Petri sítí, DEVS a UML
Pages:299-304
Proceedings:ICSEA 2011, The Sixth International Conference on Software Engineering Advances
Conference:The Sixth International Conference on Software Engineering Advances
Place:Barcelona, ES
Year:2011
ISBN:978-1-61208-165-6
Publisher:Xpert Publishing Services
Keywords
Simulation-Based Design, Object-Oriented Petri Nets, DEVS, UML
Annotation
Software system development uses specific development techniques and processes to reach desired goals, whereas different kinds of systems usually need to use different approaches. Obviously, there are used different techniques, tools, and formalisms in each development process and the designed models should be automatically or manually transformed to the next development step. The paper is aimed at such development processes, which work with formalisms allowing to design architecture and functionality, analysis of design, testing and system run with no need to change this formalism. Nevertheless, there can be useful to combine more different formalisms and model languages because of developers are used to use these formalisms or there are already created models using these formalisms. The paper deals with UML, Petri Nets, and DEVS application in the systems design and sketches a method how to use the formalisms for modeling a system architecture and its behavior. Its combination decreases a number of transformations of models and makes the architectural description well-arranged.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9646}
}

Your IPv4 address: 54.224.138.120
Switch to IPv6 connection

DNSSEC [dnssec]