Download:
by Dániel Varró, András Pataricza
Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications
http://www.inf.mit.bme.hu/FTSRG/Publications/uml2002_vp.pdf
Add To MetaCart
Abstract:
Abstract. As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well– founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep understanding of the underlying mathematics, which hinders the use of formal specification techniques in industrial applications. In the paper, we propose a UML-based metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics of mathematical models can be defined in a UML notation without cumbersome mathematical formulae.
Citations
|
214
|
Handbook of Graph Grammars and Computing by Graph Transformation
– Rozenberg, ed
|
|
66
|
UML 2001: A Standardization Odyssey
– KOBRYN
|
|
63
|
The generic modeling environment
– Ledeczi, Maroti, et al.
- 2001
|
|
41
|
Designing the automatic transformation of visual languages
– Varró, Varró, et al.
|
|
39
|
Web Consortium
– Wide
|
|
34
|
The Essence of Multilevel Metamodeling
– Atkinson, Kühne
- 2001
|
|
33
|
The Metamodelling Language Calculus: Foundation Semantics for UML
– Clark, Evans, et al.
- 2001
|
|
33
|
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
– Engels, Hausmann, et al.
- 2000
|
|
26
|
Towards Automatic Translation of UML Models into Semantic Domains
– Heckel, Küster, et al.
- 2002
|
|
25
|
Rule-based specification of behavioral consistency based on the UML meta-model
– Engels, Heckel, et al.
- 2001
|
|
21
|
Towards common exchange formats for graphs and graph transformation systems
– Taentzer
- 2001
|
|
21
|
A formal semantics of UML Statecharts by model transition systems
– Varró
- 2002
|
|
15
|
Model Translation: A UML-based specification technique and active implementation approach
– Akehurst
- 2000
|
|
15
|
Automatic verification of UML statechart diagrams using the SPIN model-checker
– Latella, Majzik, et al.
- 1999
|
|
12
|
Checking general safety criteria on UML statecharts
– Pap, Majzik, et al.
- 2001
|
|
11
|
Dependability analysis in the early phases of UML based system design
– Bondavalli, Cin, et al.
|
|
11
|
Formal Specification of Object-Oriented Meta-Modelling
– Övergaard
- 2000
|
|
9
|
Quantitative analysis of dependability critical systems based on UML statechart models
– Huszerl, Majzik
- 2000
|
|
9
|
Automatic program generation for and by model transformation systems
– Varró
- 2002
|
|
8
|
Mapping between levels in the metamodel architecture
– Alvarez, Evans, et al.
- 2001
|
|
8
|
Automatic dependability analyses for supporting design decisions in UML
– Bondavalli, Majzik, et al.
- 1999
|
|
6
|
Defining a Basis for Metamodel Driven Model Migration
– Sprinkle, Karsai
- 2002
|
|
5
|
Markup Language. URL http://www.informatik.hu-berlin.de/ top/pnml
– Net
|
|
5
|
Mathematical model transformations for system verification
– Varró, Pataricza
- 2001
|
|
4
|
Automatic transformation of UML models for system verification
– Varró, Gyapay, et al.
- 2001
|
|
2
|
The GXL Graph eXchange Language. URL http://www.gupro.de/GXL
– Schürr, Sim, et al.
|
|
2
|
A formal service specification for IIOP based on ISO/IEC 14752
– Singh, Billington
- 2002
|
