Generating instance models from meta models

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

Volumn 4037 LNCS, Issue , 2006, Pages 156-170

  Ehrig, Karsten ^a   Küster, Jochen M ^b   Taentzer, Gabriele ^c   Winkelmann, Jessica ^c  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b IBM RESEARCH ZURICH   (Switzerland)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC LANGUAGES; DATA STRUCTURES; FORMAL LANGUAGES; GRAPH THEORY; LARGE SCALE SYSTEMS; PROGRAM COMPILERS;

GRAPH GRAMMARS; META MODELS; MODEL TRANSFORMATIONS; STRING GRAMMARS;

METADATA;

EID: 33746300024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_13     Document Type: Conference Paper

References (16)

1. The Alloy Analyzer - 3.0 Beta http://alloy.mit.edu/, 2000.
2. M. Alanen and I. Porres. A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical Report TUCS No 606, TUCS Turku Center for Computer Science, March 2003.
3. R. Bardohl, H. Ehrig, J. de Lara, and G. Taentzer, Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In M. Wermelinger and T. Margaria-Steffens, editors, Proc. Fundamental Aspects of Software Engineering 2004, volume 2984. Springer LNCS, 2004.
4. A. S. Boujarwah and K. Saleh. Compiler test case generation methods: a survey and assessment. Information and Software Technology, 39(9):617-625, 1997.
5. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations, pages 163-246. World Scientific, 1997.
6. H. Ehrig, K. Ehrig, J. de Lara, G. Taentzer, D. Varró, and S. Varró-Gyapay. Termination Criteria for Model Transformation. In M. Wermelinger and T. Margaria-Steffen, editors, Proc. Fundamental Approaches to Software Engineering (FASE), volume 2984 of Lecture Notes in Computer Science, pages 214-228. Springer Verlag, 2005.
7. K. Ehrig, J. Küster, G. Taentzer, and J. Winkelmann. Automatically Generating Instances of Meta Models. Technical Report 2005-09, Technical University of Berlin, Dept. of Computer Science, November 2005.
8. K. Ehrig, J. Küster, G. Taentzer, and J. Winkelmann. Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars. In Proc. (GT-VMT), 2006. To appear. A preliminary version of the proceedings is available at http://hobbit.inf.mit.bme.hu/GT- VMT2006/ProceedingsGTVMT2006.pdf.
9. K. S. Fu and T. L. Booth. Grammatical Inference: Introduction and Survey. IEEE Transcations on Systems, Man, and Cybernetics, SMC-5:95-111, 409-423, 1975.
10. M. Gogolla, J. Bohling, and M. Richters. Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling, 2005. To appear.
11. A. Hartman and K. Nagin. Model Driven Testing - AGEDIS Architecture, Interfaces, and Tools. In Proceedings 1st European Conference on Model-Driven Software Engineering, 2003.
12. E. Jeltsch and H.-J. Kreowski. Grammatical Inference Based on Hyperedge Replacement. In Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proc. 4th. Int. Workshop on Graph Grammars and their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 461-474. Springer-Verlag, 1991.
13. Object Management Group. MDA Guide Version 1.0.1, June 2003.
14. Object Management Group (OMG). UML 2.0 Superstructure Final Adopted Specification. OMG document pts/03-08-02, August 2003.
15. Object Management Group (OMG). OCL 2.0 Specification. OMG document ptc/2005-06-06, June 2005.
16. A. Rensink and G. Taentzer. Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In Proc. Fundamental Approaches to Software Engineering (FASE), pages 64-79. LNCS 3442, Springer, 2005.