A comparison of Statecharts step semantics

DOI10.1016/S0304-3975(01)00381-4MaRDI QIDQ1853596zbMATH OpenOpenAlexFDO

Authors Adriano Peron, Simone Tini, Andrea Maggiolo-Schettini

Publication date 21 January 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(01)00381-4

zbMATH Keywords

structural operational semanticsrule formatsstatechartspreorders and equivalences

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• What is in a step: on the semantics of statecharts
• scientific article; zbMATH DE number 1544531
• Reconciling statechart semantics
• The intuitionism behind statecharts steps
• Compositional semantics and refinement of Statecharts
• Introduction to design choices in the semantics of Statecharts
• scientific article; zbMATH DE number 139805
• A compositional axiomatization of statecharts
• Equivalences of Statecharts
• A graph rewriting framework for Statecharts semantics

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4056977 (Why is no real title available?)
• scientific article; zbMATH DE number 2102773 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• A compositional axiomatization of statecharts
• Bisimulation can't be traced
• Equivalences of Statecharts
• Higher-level synchronising devices in Meije-SCCS
• Precongruence formats for decorated trace semantics
• Statecharts: a visual formalism for complex systems
• Structural operational semantics.
• The Esterel synchronous programming language: Design, semantics, implementation
• Transition system specifications with negative premises
• What is in a step: on the semantics of statecharts

Cited in

(9)

• What is in a step: new perspectives on a classical question
• Compositional semantics and behavioral equivalences for P systems
• scientific article; zbMATH DE number 1670821 (Why is no real title available?)
• Formalising concurrent UML state machines using coloured Petri nets
• Reconciling statechart semantics
• Equivalences of Statecharts
• Causal semantics for the algebra of connectors
• What is in a step: on the semantics of statecharts
• The intuitionism behind statecharts steps

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: A comparison of Statecharts step semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853596)