Model transformations? Transformation models!

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

Volumn 4199 LNCS, Issue , 2006, Pages 440-453

  Bézivin, Jean ^a   Büttner, Fabian ^b   Gogolla, Martin ^b   Jouault, Frederic ^a   Kurtev, Ivan ^a   Lindow, Arne ^b  

^a UNIVERSITÉ DE NANTES   (France)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; DATA STRUCTURES; GRAPHIC METHODS; MATHEMATICAL MODELS; SEMANTICS;

MODEL TRANSFORMATIONS; SYNTAX; TRANSFORMATION MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750370954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_31     Document Type: Conference Paper

References (19)

1. [ABB+00] W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I.P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Proc. 8th European Workshop Logics in AI (JELIA '2000), LNCS 1919, pages 21-36. Springer, 2000.
2. [Bez05] J. Bezivin. On the Unification Power of Models. Software and System Modeling, 4(2):171-188, 2005.
3. [BSF02] Marko Boger, Thorsten Sturm, and Per Fragemann. Refactoring browser for uml. In Mehmet Aksit, Mira Mezini, and Rainer Unland, editors, NetObjectDays, volume 2591 of Lecture Notes in Computer Science, pages 366-377. Springer, 2002.
4. [CESW04] T. Clark, A. Evans, P. Sammut, and J.S. Willans. Transformation language design: A metamodelling foundation. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, ICGT, volume 3256 of LNCS, pages 13-21. Springer, 2004.
5. [Chi01] D. Chiorean. Using OCL Beyond Specifications. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Proc. UML'2001 Workshop Rigorous Development, pages 57-68. LNI, GI, Bonn, 2001.
6. [CW04] Alexandre L. Correa and Claudia Maria Lima Werner. Applying refactoring techniques to uml/ocl models. In Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, and Stephen J. Mellor, editors, UML, volume 3273 of Lecture Notes in Computer Science, pages 173-187. Springer, 2004.
7. [GBR05] Martin Gogolla, Jörn Bohling, and Mark Richters. Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling, 4(4):386-398, 2005.
8. [Gog06] M. Gogolla. Tales of ER and RE Syntax and Semantics. In J.R. Cordy, R. Lämmel, and A. Winter, editors, Transformation Techniques in Software Engineering, number 05161 in Dagstuhl Seminar Proceedings. IBFI, Schloss Dagstuhl, 2006.
9. [GSMD03] Pieter Van Gorp, Hans Stenten, Tom Mens, and Serge Demeyer. Towards automating source-consistent uml refactorings. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, UML, volume 2863 of Lecture Notes in Computer Science, pages 144-158. Springer, 2003.
10. [JSS00] Daniel Jackson, Ian Schechter, and Ilya Shlyakhter. Alcoa: The Alloy constraint analyzer. In Proc. Int. Conf. Software Engineering (ICSE'2000), pages 730-733. ACM, New York, 2000.
11. [KFdB+05] M. Kyas, H. Fecher, F. S. de Boer, J. Jacob, J. Hooman, M. van der Zwaag, T. Arons, and H. Kugler. Formalizing UML models and OCL constraints in PVS. Electr. Notes Theor. Comput. Sci., 115:39-47, 2005.
12. [KS06] A. Königs and A. Schürr. Tool Integration with Triple Graph Grammars - A Survey. In R. Heckel, editor, Proc. SegraVis School Foundations of Visual Modelling Techniques, volume 148 of ENTCS, pages 113-150. Elsevier, 2006.
13. [OMG05] OMG, editor. MOF QVT Final Adopted Specification. OMG, 2005.
14. [RBJ05] J. Rumbaugh, G. Booch, and I. Jacobson. The Unified Modeling Language Reference Manual, Second Edition. Addison-Wesley, Reading, 2005.
15. [RG01] Mark Richters and Martin Gogolla. OCL - Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43-69. Springer, Berlin, LNCS 2263, 2001.
16. [SGJ04] Hans Schippers, Pieter Van Gorp, and Dirk Janssens. Leveraging UML Profiles to generate Plugins from Visual Model Transformations. In Proc. ICGT Workshop Software Evolution through Transformations, 2004.
17. [SPTJ01] Gerson Sunyé, Damien Pollet, Yves Le Traon, and Jean-Marc Jézéquel. Refactoring uml models. In Martin Gogolla and Cris Kobryn, editors, UML, volume 2185 of Lecture Notes in Computer Science, pages 134-148. Springer, 2001.
18. [Wan05] W. Wang. Evaluation of UML Model Transformation Tools. Technical University of Vienna, Business Informatics Group, Master Thesis, 2005.
19. [ZLG05] Jing Zhang, Yuehua Lin, and Jeff Gray. Generic and Domain-Specific Model Refactoring using a Model Transformation Engine. In Sami Beydeda, Matthias Book, and Volker Gruhn, editors, Model-Driven Software Development, pages 199-218. Springer, 2005.