Towards Verifying Model Transformations

Electronic Notes in Theoretical Computer Science

Volumn 211, Issue C, 2008, Pages 191-200

  Narayanan, Anantha ^a   Karsai, Gabor ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Bisimulation; Graph Transformation; Verification

Indexed keywords

COMPUTER AIDED DESIGN; MATHEMATICAL MODELS; SEMANTICS; SPECIFICATION LANGUAGES; VERIFICATION;

DESIGN LANGUAGES; DESIGN MODELS; GRAPH TRANSFORMATION;

MATHEMATICAL TRANSFORMATIONS;

EID: 42949148706     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.041     Document Type: Article

References (16)

1. Sztipanovits J., and Karsai G. Model-Integrated Computing. IEEE Computer (April 1997) 110-112
2. Varró D. "A Formal Semantics of UML Statecharts by Model Transition Systems", Proc. ICGT 2002: 1st International Conference on Graph Transformation, LNCS vol. 2505, pp. 378-392
3. Mikk E., Lakhnech Y., and Siegel M. Hierarchical automata as model for statecharts. In: Shyamasundar R., and Euda K. (Eds). Advances in Computer Science. ASIAN97 Third Asian Computing Conference. LNCS volume 1345 (1997), Springer-Verlag 181-196
4. Latella D., Majzik I., and Massink M. Automatic verification of a behavioral subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing 11 6 (1999) 637-664
5. Holzmann G. The model checker SPIN. IEEE Transactions on Software Engineering 23 5 (1997) 279-295
6. Ldeczi A., et al. Composing Domain-Specific Design Environments. IEEE Computer (November 2001) 44-51
7. Agrawal A., Karsai G., Ledeczi A., "An End-to-End Domain-Driven Software Development Framework", 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California, October 26, 2003
8. Gottler H. Attributed graph grammars for graphics. In: Ehrig H., Nagl M., and Rosenberg G. (Eds). Graph Grammars and their Application to Computer Science. LNCS 153 (1982), Springer-Verlag 130-142
9. Schürr A., Winter A.J., and Zündorf A. The PROGRES Approach: Language and Environment. [20], chap. (1999), World Scientific 487-550
10. Nickel U., Niere J., and Zündorf A. Tool demonstration: The FUJABA environment. The 22nd International Conference on Software Engineering. (ICSE) (2000), ACM Press, Limerick, Ireland
11. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 3 (1987) 231-274
12. Corradini A., Heckel R., Montanari U. "Graphical operational semantics", In Proc. ICALP2000
13. Schmidt A., Varró D., "CheckVML: A Tool for Model Checking Visual Modeling Languages", In Proc. UML 2003: 6th International Conference on the Unified Modeling Language, LNCS, vol. 2863, pp. 92-95
14. Varró D., "Automated Formal Verification of Visual Modeling Languages by Model Checking", Journal of Software and Systems Modeling, col. 3(2), pp. 85-113
15. Varró D. and Pataricza A., "Automated Formal Verification of Model Transformations", In Critical Systems Development in UML 2003, pp. 63-78
16. Denney E., Fischer B., "Certifiable Program Generation", GPCE 2005, LNCS, vol. 3676, pp. 17-28