Statecharts, transition structures and transformations

DOI10.1007/3-540-59293-8_213MaRDI QIDQ5096749zbMATH OpenOpenAlexFDO

Authors Adriano Peron

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_213

zbMATH Keywords

classical semanticgood structureparallel componentstandard semantictransition structure

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Equivalences of Statecharts
• scientific article; zbMATH DE number 2086949
• scientific article; zbMATH DE number 5068370
• Statecharts: a visual formalism for complex systems
• scientific article; zbMATH DE number 2006503
• Refinement-oriented models of Stateflow charts
• Transition systems, event structures, and unfoldings

Cites work

• scientific article; zbMATH DE number 4056977 (Why is no real title available?)
• scientific article; zbMATH DE number 1479645 (Why is no real title available?)
• Statecharts: a visual formalism for complex systems

Cited in

(25)

• Reconciling statechart semantics
• State-transition categories
• Statecharts: a visual formalism for complex systems
• Automatic layout of statecharts
• Guarded transitions in evolving specifications
• Formalising concurrent UML state machines using coloured Petri nets
• Are Statecharts Finite Automata?
• scientific article; zbMATH DE number 139805 (Why is no real title available?)
• Statecharts to specify the control of automated manufacturing systems
• scientific article; zbMATH DE number 522842 (Why is no real title available?)
• scientific article; zbMATH DE number 522848 (Why is no real title available?)
• A Framework for the Static and Interactive Visualization of Statecharts
• scientific article; zbMATH DE number 2006501 (Why is no real title available?)
• scientific article; zbMATH DE number 2079819 (Why is no real title available?)
• scientific article; zbMATH DE number 2080093 (Why is no real title available?)
• scientific article; zbMATH DE number 1479645 (Why is no real title available?)
• scientific article; zbMATH DE number 1751930 (Why is no real title available?)
• Statechartable Petri nets
• scientific article; zbMATH DE number 2086949 (Why is no real title available?)
• scientific article; zbMATH DE number 7310191 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Diagrammatic Representation and Inference
• Horizontal and vertical structuring techniques for statecharts
• Equivalences of Statecharts
• Modelling and model checking suspendible business processes via statechart diagrams and CSP

This page was built for publication: Statecharts, transition structures and transformations

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