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"
}