Model comparison: A foundation for model composition and model transformation testing

Proceedings of the 2006 International Workshop on Global Integrated Model Management, GaMMa 2006, co-located with the 28th International Conference on Software Engineering, ICSE 2006

Volumn , Issue , 2006, Pages 13-19

  Kolovos, Dimitrios S ^a   Paige, Richard F ^a   Polack, Fiona A C ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Model comparison; Model composition; Model driven development; Model transformation testing

Indexed keywords

ENGINEERING; INDUSTRIAL ENGINEERING;

GENERIC MODELING; MODEL COMPARISON; MODEL COMPOSITION; MODEL DRIVEN DEVELOPMENT; MODEL MANAGEMENT; MODEL TRANSFORMATION; RULE-BASED MODELS;

SOFTWARE ENGINEERING;

EID: 84958186025     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138304.1138308     Document Type: Conference Paper

References (30)

1. Dimitrios S. Kolovos. Extensible Platform for Specification of Integrated Languages for model management (Epsilon), Official Web-Site. http://www.cs.york.ac.uk/~dkolovos/epsilon/.
2. Modelware IST Project. http:///www.modelware-ist.org.
3. Eugene W. Myers. An O(ND) Difference Algorithm and Its Variations. Algorithmica, 1(2):251-266, 1986.
4. Paul Heckel. A technique for isolating differences between files. Commun. ACM, 21(4):264-268, 1978.
5. Amélie Marian and Serge Abiteboul and Grégory Cobéna and Laurent Mignet. Change-Centric Management of Versions in an XML Warehouse. In The VLDB Journal, pages 581-590, 2001.
6. Amelie Marian. Detecting Changes in XML Documents. In ICDE '02: Proceedings of the 18th International Conference on Data Engineering (ICDE'02), Washington, DC, USA, 2002.
7. Dirk Ohst, Michael Welle and Udo Kelter. Differences between Versions of UML Diagrams. In 9th European Software Engineering Conference, pages 227-236. ACM Press, 2003.
8. Microsoft Domain Specific Languages Framework, Official Web-Site. http://msdn.microsoft.com/vstudio/teamsystem/workshop/DSLTools/default.aspx.
9. MetaCase. Meta-Edit+. http://www.metacase.com.
10. Marcus Alanen and Ivan Porres. Difference and Union of Models. Technical Report 527, TUCS, April 2003.
11. Christian Nentwich, Licia Capra, Wolfgang Emmerich and Anthony Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, May 2002.
12. Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein and Erns Ellmer. Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology, 12(1):28-63, 2003.
13. Eclipse.org. Eclipse Modelling Framework. http://www.eclipse.org/emf/.
14. Siobhan Clarke. Extending UML Metamodel for Design Composition. In Workshop on Multi-Dimensional Separation of Concerns in Software Engineering (ICSE 2000), 2000.
15. Harald Kuhn, Franz Bayer, Stefan Junginger and Dimitris Karagiannis. Enterprise Model Integration. In Bauknecht, K.; Tjoa, A M.; Quirchmayr, G., editor, Proceedings of the 4th International Conference EC-Web 2003, pages 379-392. Springer Verlag, September 2003.
16. C. Batini, M. Lenzerini, S.B. Navathe. A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys, 18(4):323-364, December 1986.
17. P. Buneman, S. Davidson and A. Kosky. Theoretical Aspects of Schema Merging, 1994.
18. S.B. Yao, V. Waddle, and B. Housel. View modeling and integration using the functional data model. IEEE Transactions in Software Engineering, 8(6):544-553, 1982.
19. Ralf Behrens. A Grammar Based Model for XML Schema Integration. In BNCOD 17: Proceedings of the 17th British National Conference on Databases, pages 172-190, 2000.
20. Shane Sendall and Wojtek Kozaczynski. Model Transformation the Heart and Soul of Model-Driven Software Development. IEEE Software, 20(5):42-45, September/October 2003.
21. QVT Partners Official Web-Site. http://qvtp.org/.
22. Atlas Transformation Language, official web-site. http://www.sciences.univ-nantes.fr/lina/atl/.
23. Yuehua Lin, Jing Zhang, and Jeff Gray. Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. In Object Oriented Programing, Systems, Languages and Applications, 2004.
24. Yuehua Lin, Jing Zhang, and Jeff Gray. A Testing Framework for Model Transformations. http://www.gray-area.org/Pubs/transformation-testing.pdf.
25. Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification. http://www.omg.org/cgi-bin/doc?ptc/03-10-04.
26. Generic Modeling Environment. http://www.isis.vanderbilt.edu/Projects/gme/.
27. Jean Bezivin. On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171-188, 2005.
28. Dimitrios S. Kolovos, Richard F.Paige and Fiona A.C. Polack. The Epsilon Object Language. Under review, 2006. http://www-users.cs.york.ac.uk/~dkolovos/publications/eol.pdf.
29. Object Management Group. UML 2.0 OCL Specification. http://www.omg.org/docs/ptc/03-10-14.pdf.
30. Marcos Didonet Del Fabro, Jean Bezivin, Frederic Jouault, Erwan Breton, Guillaume Gueltas. AMW: A Generic Model Weaver. Premieres Journees sur I'Intgenierie Dirigee par les Modeles, 2005.