On the Formal Semantics of VisualSTATE Statecharts

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

Abstract

This paper presents a formal semantics of statecharts - a visual language successfully employed in design of control algorithms. Our formalization is implementation oriented, with efficiency in the focus. It has been used as a specification in development of SCOPE, an experimental code generator for embedded systems.

The version of statecharts we describe is that implemented in commercial development tool IAR VisualSTATE. IAR visualSTATE statecharts are similar to Harel's original statecharts, with several additions and some restrictions. They mostly agree with UML state diagrams on syntax and semantics. A small survey is appended comparing visualSTATE statecharts terminology and concepts with those of D.Harel's original statecharts and UML statechart diagrams. The paper may be perceived as a formal equivalent to the official Concept Guide delivered with the VisualSTATE software package from IAR.
OriginalsprogEngelsk
UdgivelsesstedCopenhagen
ForlagIT-Universitetet i København
UdgaveTR-2002-19
Antal sider30
ISBN (Elektronisk)87-7949-026-3
StatusUdgivet - sep. 2002
Udgivet eksterntJa
NavnIT University Technical Report Series
NummerTR-2002-19
ISSN1600-6100

Fingeraftryk

Dyk ned i forskningsemnerne om 'On the Formal Semantics of VisualSTATE Statecharts'. Sammen danner de et unikt fingeraftryk.

Citationsformater