Reconciling statechart semantics
From MaRDI portal
Publication:1001804
DOI10.1016/j.scico.2008.09.001zbMath1171.68021OpenAlexW2104326597MaRDI QIDQ1001804
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
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
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
