Duration calculus semantics for statecharts

Sánchez, Marisa et al · SEDICI UNLP · 2002

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Sánchez, Marisa et al

Editorial

SEDICI UNLP

Año

2002

Idioma

Inglés

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

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. Eje: Teoría Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Sánchez, M. E. A. (2002). Duration calculus semantics for statecharts. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23089

MLA

Sánchez, Marisa et al. Duration calculus semantics for statecharts. SEDICI UNLP, 2002. http://sedici.unlp.edu.ar/handle/10915/23089.

Chicago

Sánchez, Marisa et al. 2002. Duration calculus semantics for statecharts. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23089.

Harvard

Sánchez, M. E. A. 2002, Duration calculus semantics for statecharts, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23089 [Accessed 8 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Duration calculus semantics for statecharts

Autor / colaboradores: Sánchez, Marisa et al

Editorial: SEDICI UNLP

Año de publicación: 2002

Idioma: Inglés

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Semantics; Theory of Computation; statecharts semantics; Duration Calculus; Statemate