Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Birbeck, M., Ozu, N., et al.: Professional XML, 2nd edn., Wrox (2001)
Bonner, A., Kifer, M.: Transaction Logic Programming. Technical Report CSRI-323. Computer Systems Research Institute, University of Toronto (1995)
Bonner, A., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming, Bonn, MIT Press, Cambridge (1996)
Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for High-Order Logic Programming. Journal of Logic Programming 15(3), 187–230 (1993)
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)
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)
Frühwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Cognitive Technologies. Springer, Heidelberg (2003)
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame- Based Languages. Journal of the ACM 42(4), 741–843 (1995)
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)
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)
OMG.: The MOF 2.0 specification, http://www.omg.org/mof (2003)
OMG.: The UML 2.0 Infrastructure specification, http://www.omg.org/uml (2003)
OMG.: The UML 2.0 Superstructure specification, http://www.omg.org/uml (2003)
The QVT-Merge Group. QVT 1.8.: Revised submission for OMG MOF 2.0 Query/Views/Transformations Request For Proposal (2004)
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)
The World-Wide Web Consortium. Web Ontology Language, http://www.w3.org/2004/OWL (2004)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blanc, X., Ramalho, F., Robin, J. (2005). Metamodel Reuse with MOF. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_49
Download citation
DOI: https://doi.org/10.1007/11557432_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)