Vizuální návrh SmallDEVSových modelů za použití statechartů
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Visual design of SmallDEVS models using statecharts
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Visual design of SmallDEVS models using statecharts
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of ASIS 2008
ISBN
978-80-86840-42-0
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
Grantová agentura ČR
Místo vydání
Rožnov pod Radhoštěm
Místo konání akce
Rožnov pod Radhoštěm
Datum konání akce
16. 9. 2008
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—