Compositional semantics and refinement of Statecharts

MaRDI QIDQ5491167zbMATH OpenFDO

Authors Xueyang Zhu, Zhisong Tang

Publication date 10 October 2006

zbMATH Keywords

formal semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A compositional axiomatization of statecharts
• Introduction to design choices in the semantics of Statecharts
• Fully-abstract statecharts semantics via intuitionistic Kripke models
• A formal semantics of UML statecharts by model transition systems
• scientific article; zbMATH DE number 1304378

Cited in

(11)

• A constructive approach to state description semantics
• A comparison of Statecharts step semantics
• Part-whole statecharts for precise behavioral semantics
• Representing embedded system sequence diagrams as a formal language
• An approach to the combination of formal description techniques: Statecharts and TLA
• Compositionality in state space verification methods
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• External behaviour of systems of state machines with variables
• Semantics of full statecharts based on graph rewriting
• On refinement of generic state-based software components
• Fundamental Approaches to Software Engineering

This page was built for publication: Compositional semantics and refinement of Statecharts

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