Introduction to design choices in the semantics of Statecharts

DOI10.1016/0020-0190(91)90190-SMaRDI QIDQ750133zbMATH OpenOpenAlexFDO

Authors D. Kharzeev

Publication date 1991

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(91)90190-s

zbMATH Keywords

distributed computingreactive systemsreal-time systemsspecification languagesStatechartsvisual languages

Mathematics Subject Classification ID

General theory of computer systems (68M01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Statecharts: a visual formalism for complex systems
• Reconciling statechart semantics
• Incremental design of statechart specifications
• scientific article; zbMATH DE number 2016088
• scientific article; zbMATH DE number 1479645

Cites work

• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 4056977 (Why is no real title available?)
• scientific article; zbMATH DE number 4085029 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• Petri nets with individual tokens
• Statecharts: a visual formalism for complex systems
• System modelling with high-level Petri nets
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(17)

• Reconciling statechart semantics
• A compositional axiomatization of statecharts
• A constructive approach to state description semantics
• On disjunction of literals in triggers of statecharts transitions.
• A comparison of Statecharts step semantics
• Introducing probabilities in statecharts to specify reactive systems for performance analysis
• scientific article; zbMATH DE number 1706351 (Why is no real title available?)
• What is in a step: new perspectives on a classical question
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 978523 (Why is no real title available?)
• scientific article; zbMATH DE number 1487736 (Why is no real title available?)
• External behaviour of systems of state machines with variables
• scientific article; zbMATH DE number 1390054 (Why is no real title available?)
• A Bibliography of Willem-Paul de Roever
• Compositional semantics and refinement of Statecharts
• Incremental design of statechart specifications

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: Introduction to design choices in the semantics of Statecharts

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