scientific article; zbMATH DE number 2016088

MaRDI QIDQ4438797zbMATH OpenFDO

Authors Dániel Varró

Publication date 10 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2505/25050378.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1304378
• scientific article; zbMATH DE number 2006503
• An outline of PVS semantics for UML statecharts
• Reconciling statechart semantics
• scientific article; zbMATH DE number 1569123

Cited in

(34)

• Reconciling statechart semantics
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• On testing UML statecharts
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• An outline of PVS semantics for UML statecharts
• scientific article; zbMATH DE number 1670514 (Why is no real title available?)
• A set of metrics of non-locality complexity in UML state machines
• Coherently explaining UML statechart and collaboration diagrams by graph transformations
• Formalising concurrent UML state machines using coloured Petri nets
• Symbolic termination and confluence checking for ECA rules
• scientific article; zbMATH DE number 139805 (Why is no real title available?)
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• scientific article; zbMATH DE number 1304378 (Why is no real title available?)
• scientific article; zbMATH DE number 1949630 (Why is no real title available?)
• scientific article; zbMATH DE number 2006492 (Why is no real title available?)
• scientific article; zbMATH DE number 2006503 (Why is no real title available?)
• scientific article; zbMATH DE number 2033511 (Why is no real title available?)
• scientific article; zbMATH DE number 2080017 (Why is no real title available?)
• scientific article; zbMATH DE number 1919419 (Why is no real title available?)
• A graph rewriting framework for Statecharts semantics
• scientific article; zbMATH DE number 2086759 (Why is no real title available?)
• scientific article; zbMATH DE number 2086943 (Why is no real title available?)
• scientific article; zbMATH DE number 2086948 (Why is no real title available?)
• scientific article; zbMATH DE number 1569123 (Why is no real title available?)
• scientific article; zbMATH DE number 2097479 (Why is no real title available?)
• Development of global specification for dynamically adaptive software
• Towards verifying model transformations
• Global Computing
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Compositional semantics and refinement of Statecharts
• A state/event-based model-checking approach for the analysis of abstract system properties
• Introduction to design choices in the semantics of Statecharts
• Attributed graph transformation with node type inheritance
• Tools for support of automata-based programming

Describes a project that uses

Uses Software

• vUML
• PROGRES
• SPIN

This page was built for publication:

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