Download:
by Dániel Varró
in Proceedings ICGT 2002: International Conference on Graph Transformation, Lecture Notes in Computer Science
http://www.inf.mit.bme.hu/FTSRG/Publications/icgt2002_varro.pdf
Add To MetaCart
Abstract:
Abstract. UML Statecharts are well-known visual means to capture the dynamic behavior of reactive systems in the object-oriented design methodology. Since the UML standard only contains an informal description on how to execute such statemachines mathematically precise semantic frameworks are required for an automated analysis. The current paper presents a formal semantics for UML statecharts based on a combination of metamodeling and graph transformation that is (i) simultaneously visual and precise, and (ii) clearly separates derived static concepts (like priorities, conflicts, etc.) from their dynamic interpretation thus scaling up well for different statechart variants (with, e.g., various priority strategies) and potential future changes in the standard.
Citations
|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
927
|
The model checker SPIN
– Holzmann
- 1997
|
|
631
|
The Unified Modeling Language, Reference Manual
– Rumbaugh, Jacobson, et al.
- 1999
|
|
214
|
Handbook of Graph Grammars and Computing by Graph Transformation
– Rozenberg, ed
|
|
97
|
A comparison of statecharts variants
– Beeck
- 1984
|
|
83
|
Graph processes
– Corradini, Montanari, et al.
- 1996
|
|
59
|
vUML: A tool for verifying UML models
– Lilius, Paltor
- 1999
|
|
51
|
Towards a Formal Operational Semantics of UML Statechart diagrams
– Latella, Majzik, et al.
- 1999
|
|
48
|
Hierarchical automata as model for Statecharts
– Mikk, Lakhnech, et al.
- 1997
|
|
41
|
Designing the automatic transformation of visual languages
– Varró, Varró, et al.
|
|
33
|
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
– Engels, Hausmann, et al.
- 2000
|
|
31
|
State Diagrams in UML: A Formal Semantics Using Graph Transformations
– Gogolla, Parisi-Presicce
- 1998
|
|
29
|
An Overview of SAL
– Bensalem, Ganesh, et al.
- 2000
|
|
27
|
D.: VIATRA Visual Automated Transformations for Formal Verification and Validation of UML Models
– Csertán, Huszerl, et al.
- 2002
|
|
26
|
Towards Automatic Translation of UML Models into Semantic Domains
– Heckel, Küster, et al.
- 2002
|
|
20
|
Towards symbolic analysis of visual modelling languages
– Varró
- 2002
|
|
17
|
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
– Kuske
- 2001
|
|
17
|
Rewrite rules and operational semantics for model checking UML statecharts
– Kwon
- 2000
|
|
15
|
Automatic verification of UML statechart diagrams using the SPIN model-checker
– Latella, Majzik, et al.
- 1999
|
|
12
|
An outline of PVS semantics for UML statecharts
– Traoré
|
|
11
|
An automatic verification tool for UML
– Compton, Gurevich, et al.
- 2000
|
|
9
|
Automatic program generation for and by model transformation systems
– Varró
- 2002
|
|
5
|
Mathematical model transformations for system verification
– Varró, Pataricza
- 2001
|
|
3
|
The PVS language reference, Version 2.3
– Owre, Shankar, et al.
- 1999
|
|
1
|
18], chapter Algebraic Approaches to Graph Transformation — Part II: Single pushout approach and comparison with double pushout approach
– In
- 1997
|
|
1
|
Towards symbolic analysis of model transformations
– Varró
|
|
1
|
4], chapter The PROGRES Approach: Language and Environment
– In
- 1999
|
