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_sc.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 various semantic frameworks have already been proposed to provide a precise formalization, which is indispensable for implementing automated analysis tools for statecharts. However, none of this approaches have been accepted as a standard formal semantics, mainly because the huge abstraction gap lying between engineering and formal mathematical practice. The current paper aims at to bridge this gap by providing a formal semantics that is (i) simultaneously visual and precise, (ii) built on metamodeling techniques, and (iii) that provides direct access to simulation and verification tools.
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
|
