Visual design of SmallDEVS models using statecharts

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU80195" target="_blank" >RIV/00216305:26230/08:PU80195 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Visual design of SmallDEVS models using statecharts
Original language description
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.
Czech name
Vizuální návrh SmallDEVSových modelů za použití statechartů
Czech description
Tento článek je zaměřen na modelování reaktivních systému za pomocí UML statechartů, což je rozšířený formalismus a existují dostupné nástroje pro jejich grafický návrh. Cílem je využív vysokoúrovňový modelovací jazyk pro návrh komplexních reaktivních systémů, verifikovat je a generovat zdrojový kód simulačního modelu či samotného systému. V článku je představen způsob převodu statechartu na odpovídající simulační model pro SmallDEVS.

Project
<a href="/en/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Advanced Formal Approaches in the Design and Verification of Computer-Based Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)