Publication detail

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

KOČÍ, R. JANOUŠEK, V.

Original Title

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

English Title

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

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

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

RIV year

2011

Released

27.05.2011

Publisher

Xpert Publishing Services

Location

Barcelona

ISBN

978-1-61208-165-6

Book

ICSEA 2011, The Sixth International Conference on Software Engineering Advances

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

299

Pages to

304

Pages count

6

BibTex


@inproceedings{BUT76371,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML",
  annote="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.",
  address="Xpert Publishing Services",
  booktitle="ICSEA 2011, The Sixth International Conference on Software Engineering Advances",
  chapter="76371",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Xpert Publishing Services",
  year="2011",
  month="may",
  pages="299--304",
  publisher="Xpert Publishing Services",
  type="conference paper"
}