Model typing for improving reuse in model-driven engineering

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

Volumn 3713 LNCS, Issue , 2005, Pages 84-96

  Steel, Jim ^a   Jézéquel, Jean Marc ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; REUSABILITY; SECURITY OF DATA;

INTERCONNECTED OBJECTS; MODEL TRANSFORMATION; OBJECT-ORIENTED TYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 33646203142     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_7     Document Type: Conference Paper

References (17)

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer, 1996.
2. Mariano Belaunde and Mikael Peltier. From edoc components to ccm components: A precise mapping specification. In FASE, pages 143-158, 2002.
3. Jean Bézivin, Frédéric Jouault, and Patrick Valduriez. On the need for megamodels. In OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development.
4. Gavin Bierman and Alisdair Wren. First-class relationships in an object-oriented language. In Foundations of Object-Oriented Languages (FOOL 2005).
5. Xavier Blanc, Marie-Pierre Gervais, and Prawee Sriplakich. Model bus: Towards the interoperability of modelling tools. In Model Driven Architecture: Foundations and Applications (MDAFA 2004).
6. Kim B. Bruce. Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci., 82(7), 2003.
7. Keith Buddy, Anna Gerber, Michael J. Lawley, Kerry Raymond, and Jim Steel. Declarative transformation for object-oriented models. In P. van Bommel, editor, Transformation of Knowledge, Information, and Data: Theory and Applications. Idea Group Publishing, 2004.
8. Jonathan Edwards, Daniel Jackson, and Emina Torlak. A type system for object models. In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pages 189-199. ACM Press, 2004.
9. Erik Ernst. Family polymorphism. In ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, pages 303-326. Springer-Verlag, 2001.
10. Anna Gerber, Michael J. Lawley, Kerry Raymond, Jim Steel, and Andrew Wood. Transformation: The missing link of MDA. In Proc. 1st International Conference on Graph Transformation, ICGT'02, volume 2505 of Lecture Notes in Computer Science, pages 90-105. Springer Verlag, 2002.
11. W. LaLonde and John Pugh. Subclassing ≠ subtyping ≠ is-a. Journal of Object-Oriented Programming, 3(5):57-62, January 1991.
12. Object Management Group. Enterprise collaboration architecture (EGA). OMG Document no. formal/2004-02-01, 2004.
13. QVT-Merge Group. Revised submission for MOF 2.0 Query/Views/ Transformations RFP. OMG document number ad/2005-03-02, March 2005.
14. Shane Sendall. Combining generative and graph transformation techniques for model transformation: An effective alliance? In Proceedings of 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, 2003.
15. Jim Steel and Jean-Marc Jézéquel. Typing relationships in MDA. In D.H. Akehurst, editor, Second European Workshop on Model-Driven Architecture (EWMDA-2), 2004.
16. Jim Steel and Michael Lawley. Model-based test driven development of the tefkat model-transformation engine. In 15th International Symposium on Software Reliability Engineering (ISSRE 2004), pages 151-160, 2004.
17. Didier Vojtisek and Jean-Marc Jézéquel. MTL and umlaut NG - engine and framework for model transformation. ERCIM news, 2004.