Publication detail
Visual design of SmallDEVS models using statecharts
HÝSEK, J.
Original Title
Visual design of SmallDEVS models using statecharts
English Title
Visual design of SmallDEVS models using statecharts
Type
conference paper
Language
en
Original Abstract
In this article we are focusing to modeling reactive systems in UML statecharts which is widespread formalism and there are available CASE tools with graphic designers of them. Our aim is to use high level modeling language like UML statecharts for designing of complex reactive systems, verify them and generate source code of a simulation model or designed system. We'll introduce translation of statechart models to the simulation models for a SmallDEVS framework. It provides simulation environment for DEVS based models written in Smalltalk programming language.
English abstract
In this article we are focusing to modeling reactive systems in UML statecharts which is widespread formalism and there are available CASE tools with graphic designers of them. Our aim is to use high level modeling language like UML statecharts for designing of complex reactive systems, verify them and generate source code of a simulation model or designed system. We'll introduce translation of statechart models to the simulation models for a SmallDEVS framework. It provides simulation environment for DEVS based models written in Smalltalk programming language.
Keywords
SmallDEVS, Statechart, visual design of simulation models, reactive systems
RIV year
2008
Released
16.09.2008
Publisher
Czech Science Foundation
Location
Rožnov pod Radhoštěm
ISBN
978-80-86840-42-0
Book
Proceedings of ASIS 2008
Edition
NEUVEDEN
Edition number
NEUVEDEN
Pages from
999
Pages to
1004
Pages count
6
Documents
BibTex
@inproceedings{BUT32824,
author="Jiří {Hýsek}",
title="Visual design of SmallDEVS models using statecharts",
annote="In this article we are focusing to modeling reactive systems in UML statecharts
which is widespread formalism and there are available CASE tools with graphic
designers of them. Our aim is to use high level modeling language like UML
statecharts for designing of complex reactive systems, verify them and generate
source code of a simulation model or designed system. We'll introduce translation
of statechart models to the simulation models for a SmallDEVS framework. It
provides simulation environment for DEVS based models written in Smalltalk
programming language.",
address="Czech Science Foundation",
booktitle="Proceedings of ASIS 2008",
chapter="32824",
edition="NEUVEDEN",
howpublished="print",
institution="Czech Science Foundation",
year="2008",
month="september",
pages="999--1004",
publisher="Czech Science Foundation",
type="conference paper"
}