Formalization of UML-Statecharts
- 17 September 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 406-421
- https://doi.org/10.1007/3-540-45441-1_30
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A compositional semantics for statecharts using labeled transition systemsPublished by Springer Science and Business Media LLC ,2005
- Analysing UML Active Classes and Associated State Machines - A Lightweight Formal ApproachLecture Notes in Computer Science, 2000
- Rewrite Rules and Operational Semantics for Model Checking UML StatechartsLecture Notes in Computer Science, 2000
- Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UMLLecture Notes in Computer Science, 2000
- Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and ProvingLecture Notes in Computer Science, 2000
- Statecharts via Process AlgebraLecture Notes in Computer Science, 1999
- Towards a Formal Operational Semantics of UML Statechart DiagramsPublished by Springer Science and Business Media LLC ,1999
- Equivalences of StatechartsLecture Notes in Computer Science, 1996
- What is in a step: On the semantics of statechartsLecture Notes in Computer Science, 1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987