CheckVML: A tool for model checking visual modeling languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2863, Issue , 2003, Pages 92-95

  Schmidt, Ákos ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Formal verification; Graph transformation; Metamodeling; Model checking; Visual modeling languages

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL VERIFICATION; GRAPH THEORY; MODELING LANGUAGES; UNIFIED MODELING LANGUAGE; VISUAL LANGUAGES;

ABSTRACT REPRESENTATION; DYNAMIC CONSISTENCIES; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION TECHNIQUES; HIGH LEVEL SPECIFICATION; INTERMEDIATE REPRESENTATIONS; METAMODELING; VISUAL MODELING LANGUAGES;

MODEL CHECKING;

EID: 0242276159     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_8     Document Type: Article

References (5)

1. L. Baresi, R. Heckel, S. Thöne, and D. Varró. Modeling and analysis of architectural styles. In Proc ESEC 2003: European Software Engineering Conference. Helsinki, Finland. Accepted paper.
2. G. Engels, R. Heckel, and J. M. Küster. Rule-based specification of behavioral consistency based on the UML meta-model. In M. Gogolla and C. Kobryn (eds.), UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, vol. 2185 of LNCS, pp. 272-286. Springer, 2001.
3. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, vol. 23(5): pp. 279-295, 1997.
4. D. Latella, I. Majzik, and M. Massink. Automatic verification of UML statcchart diagrams using the SPIN model-checker. Formal Aspects of Computing, vol. 11(6): pp. 637-664, 1999.
5. D. Varró. Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling, 2003. Accepted to the Special Issue on Graph Transformation and Visual Modelling Techniques.