This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n8http://localhost/temp/predkladatel/
n20http://purl.org/net/nknouf/ns/bibtex#
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F08%3APU80195%21RIV10-GA0-26230___/
n21http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n19https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F08%3APU80195%21RIV10-GA0-26230___
rdf:type
skos:Concept n18:Vysledek
dcterms: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. 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.
dcterms:title
Visual design of SmallDEVS models using statecharts Visual design of SmallDEVS models using statecharts
skos:prefLabel
Visual design of SmallDEVS models using statecharts Visual design of SmallDEVS models using statecharts
skos:notation
RIV/00216305:26230/08:PU80195!RIV10-GA0-26230___
n3:aktivita
n14:P
n3:aktivity
P(GA102/07/0322)
n3:dodaniDat
n7:2010
n3:domaciTvurceVysledku
n12:9573003
n3:druhVysledku
n11:D
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
402801
n3:idVysledku
RIV/00216305:26230/08:PU80195
n3:jazykVysledku
n4:eng
n3:klicovaSlova
SmallDEVS, Statechart, visual design of simulation models, reactive systems
n3:klicoveSlovo
n9:SmallDEVS n9:Statechart n9:visual%20design%20of%20simulation%20models n9:reactive%20systems
n3:kontrolniKodProRIV
[ACA1A4507FCF]
n3:mistoKonaniAkce
Rožnov pod Radhoštěm
n3:mistoVydani
Rožnov pod Radhoštěm
n3:nazevZdroje
Proceedings of ASIS 2008
n3:obor
n13:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n21:GA102%2F07%2F0322
n3:rokUplatneniVysledku
n7:2008
n3:tvurceVysledku
Hýsek, Jiří
n3:typAkce
n10:EUR
n3:zahajeniAkce
2008-09-16+02:00
s:numberOfPages
6
n20:hasPublisher
Grantová agentura ČR
n19:isbn
978-80-86840-42-0
n8:organizacniJednotka
26230