Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F11%3APU96075" target="_blank" >RIV/00216305:26230/11:PU96075 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML
Original language description
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 decrea
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
ICSEA 2011, The Sixth International Conference on Software Engineering Advances
ISBN
978-1-61208-165-6
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
299-304
Publisher name
Xpert Publishing Services
Place of publication
Barcelona
Event location
Barcelona
Event date
Oct 23, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—