Detail výsledku

Visual design of SmallDEVS models using statecharts

HÝSEK, J. Visual design of SmallDEVS models using statecharts. Proceedings of ASIS 2008. Rožnov pod Radhoštěm: Czech Science Foundation, 2008. p. 999-1004. ISBN: 978-80-86840-42-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hýsek Jiří, Ing., FIT (FIT), UITS (FIT)
Abstrakt

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.

Klíčová slova

SmallDEVS, Statechart, visual design of simulation models, reactive systems

Rok
2008
Strany
999–1004
Sborník
Proceedings of ASIS 2008
Konference
30th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2008
ISBN
978-80-86840-42-0
Vydavatel
Czech Science Foundation
Místo
Rožnov pod Radhoštěm
BibTeX 
@inproceedings{BUT32824,
  author="Jiří {Hýsek}",
  title="Visual design of SmallDEVS models using statecharts",
  booktitle="Proceedings of ASIS 2008",
  year="2008",
  pages="999--1004",
  publisher="Czech Science Foundation",
  address="Rožnov pod Radhoštěm",
  isbn="978-80-86840-42-0"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru