"RIV/00216305:26230/08:PU80195" . . "Visual design of SmallDEVS models using statecharts"@en . "[ACA1A4507FCF]" . . "H\u00FDsek, Ji\u0159\u00ED" . . "26230" . . "402801" . . "Ro\u017Enov pod Radho\u0161t\u011Bm" . "1"^^ . "P(GA102/07/0322)" . . "Ro\u017Enov pod Radho\u0161t\u011Bm" . . . . "Proceedings of ASIS 2008" . . . "1"^^ . "SmallDEVS, Statechart, visual design of simulation models, reactive systems"@en . "Visual design of SmallDEVS models using statecharts"@en . "6"^^ . . "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."@en . . . "978-80-86840-42-0" . "Grantov\u00E1 agentura \u010CR" . "Visual design of SmallDEVS models using statecharts" . "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." . . . . "2008-09-16+02:00"^^ . "Visual design of SmallDEVS models using statecharts" . "RIV/00216305:26230/08:PU80195!RIV10-GA0-26230___" .