News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

Duration calculus semantics for statecharts

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

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Sánchez, Marisa et al
Publisher
SEDICI UNLP
Year
2002
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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)

How to cite

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].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Duration calculus semantics for statecharts
Author / contributors
Sánchez, Marisa et al
Publisher
SEDICI UNLP
Publication year
2002
Language
English

Subjects

Explore related resources through these subjects.

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