Metamodel Reuse with MOF

  • Xavier Blanc
  • Franklin Ramalho
  • Jacques Robin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3713)


As model-driven development promotes metamodels as key assets it raises the issue of their reuse throughout a model-driven product line life cycle. One recurrent reuse need occurs when metamodeling integrated multi-language platforms: one construct from one language is integrated to constructs from other languages by generalizing it, making it more expressive. None of the metamodel assembly facilities provided by MOF and UML (import, merge and combine) or others proposed in previous work adequately addresses this need. We thus propose a new reuse and generalize facility for such purpose.


Logic Program Logic Programming Model Drive Development Prolog Program Logical Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Birbeck, M., Ozu, N., et al.: Professional XML, 2nd edn., Wrox (2001)Google Scholar
  2. 2.
    Bonner, A., Kifer, M.: Transaction Logic Programming. Technical Report CSRI-323. Computer Systems Research Institute, University of Toronto (1995) Google Scholar
  3. 3.
    Bonner, A., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming, Bonn, MIT Press, Cambridge (1996)Google Scholar
  4. 4.
    Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for High-Order Logic Programming. Journal of Logic Programming 15(3), 187–230 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Clark, T., Evans, A., Kent, S.: A Metamodel for Package Extension with Renaming. In: International Conference on the Unified Modeling Language, pp. 305–320 (2002)Google Scholar
  6. 6.
    Clark, T., Evans, A., Kent, S.: Engineering Modelling Languages: A Precise Metamodeling Approach. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 159–173. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Frühwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Cognitive Technologies. Springer, Heidelberg (2003)Google Scholar
  8. 8.
    Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame- Based Languages. Journal of the ACM 42(4), 741–843 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Ledeczi, A., Nordstrom, G., Karsai, G., Volgyesi, P., Maroti, M.: On Metamodel Composition. In: Conference Control Applications, pp. 84–90. IEEE Press, Mexico City (2001)Google Scholar
  10. 10.
    Mens, T., Lucas, C., Steyart, P.: Supporting Disciplined Reuse and Evolution of UML Models. In: PSMT – Workshop on Precise Semantics for Software Modeling Techniques in UML Conference, pp. 378–392 (1998)Google Scholar
  11. 11.
    OMG.: The MOF 2.0 specification, (2003)
  12. 12.
    OMG.: The UML 2.0 Infrastructure specification, (2003)
  13. 13.
    OMG.: The UML 2.0 Superstructure specification, (2003)
  14. 14.
    The QVT-Merge Group. QVT 1.8.: Revised submission for OMG MOF 2.0 Query/Views/Transformations Request For Proposal (2004) Google Scholar
  15. 15.
    Ramalho, F., Robin, J., Schiel, U.: Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. Electronic Notes in Theoretical Computer Science, vol. 95(17) (2004)Google Scholar
  16. 16.
    The World-Wide Web Consortium. Web Ontology Language, (2004)
  17. 17.
    Yang, G.: A Model Theory for Nonmonotonic Multiple Value and Code Inheritance in Object-Oriented Knowledge Bases. PhD. Thesis, Computer Science Department, Stony Brook University of New York (2002)Google Scholar
  18. 18.
    Yang, G., Kifer, M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: 2nd International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Italy, pp. 671–688 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Xavier Blanc
    • 1
  • Franklin Ramalho
    • 1
  • Jacques Robin
    • 1
  1. 1.Laboratoire d’Informatique de Paris 6Université Pierre et Marie Curie (LIP6-UMPC)ParisFrance

Personalised recommendations