Daniel Varro  Home/Search
Context Related
| inf.mit.bme.hu/FTS...002_modelcheck.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: inf.mit.bme.hu/FTSRG/UML (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As the Unified Modeling Language is evolving into a family of languages with individually specified semantics, there is an increasing need for highly automated and provenly correct model transformations that assure the integration of local views of the system (in the form of different diagrams) into a consistent global view. Graph transformation provides an easy-to-understand visual specification technique to formally capture the rules of such transformations. (Update)
Context of citations to this paper: More
...philosophy. In addition, the semantic framework presented here also served as an industrial strength benchmark application for evaluating [22] where the automated encoding of model transition systems into the SAL (Symbolic Analysis Laboratory [1] intermediate language is...
Cited by: More
A Formal Semantics of UML Statecharts by Model Transition Systems - Varro (2002) (Correct)
Similar documents (at the sentence level):
29.2%: Towards Formal Verification Of Model Transformations - Varro (2002) (Correct)
27.6%: Towards Symbolic Analysis of Visual Modeling Languages - Varro (2002) (Correct)
8.8%: Towards Automated Formal Verification of Visual Modeling Languages .. - Varro (2003) (Correct)
Active bibliography (related documents): More All
0.5: Metamodeling Mathematics: A Precise and Visual Framework for .. - Varro, Pataricza (2002) (Correct)
0.4: VPM: Mathematics of Metamodeling is Metamodeling Mathematics - Varro, Pataricza (2002) (Correct)
0.4: Metamodeling Mathematics: A Precise and Visual Framework for .. - Varro, Pataricza (2002) (Correct)
Similar documents based on text: More All
1.3: VIATRA - Visual Automated Transformations for.. - Csertan, Huszerl, .. (2002) (Correct)
1.2: Automated Program Generation for and by Model Transformation Systems - Varro (2002) (Correct)
0.9: Automated Formal Verification of Model Tranformations - Varro, Pataricza (Correct)
BibTeX entry: (Update)
D. Varro. Towards symbolic analysis of model transformations. In Proc. ICGT 2002: International Conference on Graph Transformation. Submitted paper. http://citeseer.ist.psu.edu/article/varro02towards.html More
@misc{ varro02towards,
author = "D. Varro",
title = "Towards symbolic analysis of model transformations",
text = "D. Varro. Towards symbolic analysis of model transformations. In Proc.
ICGT 2002: International Conference on Graph Transformation. Submitted paper.",
year = "2002",
url = "citeseer.ist.psu.edu/article/varro02towards.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
38 Abstract and model check while you prove (context) - Sadi, Shankar - 1999
30 An overview of SAL - Bensalem, Ganesh et al. - 2000
20 Designing the automatic transformation of visual languages (context) - Varro, Varro et al.
18 A formal semantics of UML state machines based on structured.. - Kuske - 2001
17 Automatic verification of UML statechart diagrams using the .. (context) - Latella, Majzik et al. - 1999
15 Rule-based specification of behavioral consistency based on .. - Engels, Heckel et al. - 2001
10 Integrating the specification techniques of graph transforma.. - Heckel, Ehrig et al. - 1997
9 A formal semantics of UML Statecharts by model transition sy.. - Varro - 2002
9 Checking general safety criteria on UML statecharts - Pap, Majzik et al. - 2001
8 Defining a basis for metamodel driven model migration (context) - Sprinkle, Karsai - 2002
8 Automatic program generation for and by model transformation.. (context) - Varro - 2002
7 Evaluation of safety-critical systems based on guarded state.. (context) - Cin, Huszerl et al. - 1999
6 Object Constraint Language Specification Version (context) - Group - 1999
5 Compositional verification of reactive systems specified by .. (context) - Heckel - 1998
Documents on the same site (http://www.inf.mit.bme.hu/FTSRG/UML.html): More
A Unifying Semantic Framework for Multilevel Metamodeling - Varro, Pataricza (2001) (Correct)
BPM Based Robust E-business Application Development - Csertan, Pataricza.. (2002) (Correct)
Mathematical Model Transformations - Varro, Pataricza (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC