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
• scientific article; zbMATH DE number 1670821
• scientific article; zbMATH DE number 2016088
• 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
• scientific article; zbMATH DE number 2006496 (Why is no real title available?)
• scientific article; zbMATH DE number 1487736 (Why is no real title available?)
• 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
• Algebraic Methodology and Software Technology
• 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)