Reconciling statechart semantics

DOI10.1016/j.scico.2008.09.001zbMath1171.68021OpenAlexW2104326597MaRDI QIDQ1001804

Rik Eshuis

Publication date: 19 February 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.09.001

zbMATH Keywords

formal semanticsstatecharts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Views on Behaviour Protocols and Their Semantic Foundation, An extended event graph-based modelling method for parallel and distributed discrete-event simulation, Statechartable Petri nets, What Is in a Step: New Perspectives on a Classical Question, Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application, A modular formal semantics for Ptolemy, Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation

Uses Software

• SPIN
• StateFlow
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive semantics for instantaneous reactions
• A semantics for distributed execution of Statemate
• Introduction to design choices in the semantics of Statecharts
• Statecharts: a visual formalism for complex systems
• Characterizing finite Kripke structures in propositional temporal logic
• The Esterel synchronous programming language: Design, semantics, implementation
• A compositional \(\mu\)-calculus proof system for statecharts processes
• On projective and separable properties
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• A comparison of Statecharts step semantics
• The intuitionism behind Statecharts steps