Duration calculus semantics for statecharts

Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and reason about temporal requeriments. In this work, we propose a description of state...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Sánchez, Marisa, Fillottrani, Pablo Rubén, Felder, Miguel
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
Semantics
Theory of Computation
statecharts semantics
Duration Calculus
Statemate
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23089
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23089
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Semantics
Theory of Computation
statecharts semantics
Duration Calculus
Statemate
spellingShingle Ciencias Informáticas
Semantics
Theory of Computation
statecharts semantics
Duration Calculus
Statemate
Sánchez, Marisa
Fillottrani, Pablo Rubén
Felder, Miguel
Duration calculus semantics for statecharts
topic_facet Ciencias Informáticas
Semantics
Theory of Computation
statecharts semantics
Duration Calculus
Statemate
description Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and reason about temporal requeriments. In this work, we propose a description of statecharts semantics using Duration Calculus. Thus we build a common semantic model for Duration Calculus speci¯cations and statecharts. The formalization is done in two steps. First, the structure of a statechart is represented using Duration Calculus formula. Then, the semantics of the execution of a step is introduced.
format Objeto de conferencia
Objeto de conferencia
author Sánchez, Marisa
Fillottrani, Pablo Rubén
Felder, Miguel
author_facet Sánchez, Marisa
Fillottrani, Pablo Rubén
Felder, Miguel
author_sort Sánchez, Marisa
title Duration calculus semantics for statecharts
title_short Duration calculus semantics for statecharts
title_full Duration calculus semantics for statecharts
title_fullStr Duration calculus semantics for statecharts
title_full_unstemmed Duration calculus semantics for statecharts
title_sort duration calculus semantics for statecharts
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/23089
work_keys_str_mv AT sanchezmarisa durationcalculussemanticsforstatecharts
AT fillottranipabloruben durationcalculussemanticsforstatecharts
AT feldermiguel durationcalculussemanticsforstatecharts
bdutipo_str Repositorios
_version_ 1764820468109410304

Ejemplares similares