Abstract
The increasing importance of metamodeling calls for metamodels that are free of ambiguities, contradictions and redundancies. This is specifically the case for the core of UML (Infrastructure). This paper proposes to rewrite a part of this core, the Class and Property metaclasses especially. To avoid infinite regression, the notion of meta-circularity is used. This rewriting is done by means of inductive types in constructive logic. The proposed specification is proven correct using the Coq automated prover. Proven lemmas and theorems about a “metaness” relationship are proposed.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
OMG Unified Modeling LanguageTM, Superstructure, Version 2.3 (May 2010)
Atkinson, C., Kühne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software 20(5), 5–22 (2002)
Kühne, T.: Matters of (Meta-) modeling. Software and Systems Modeling 5(4), 369–385 (2006)
France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: The ICSE 2007 Future of Software Engineering Workshop, Minneapolis, USA (2007)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF - Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)
OMG Unified Modeling LanguageTM, Infrastructure, Version 2.3 (May 2010)
Meta Object Facility (MOF) Core Specification, Version 2.0 (January 2006)
Clark, T., Evans, A., Kent, S.: The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: The 4th International Conference on Fundamental Approaches to Software Engineering, Genova, Italy, pp. 17–31 (2001)
Bézivin, J., Gerbé, O.: Towards a Precise Definition of the OMG/MDA Framework. In: Automated Software Engineering, San Diego, USA, pp. 273–280 (2001)
Kuske, S., Gogolla, M., Kreowski, H.-J., Ziemann, P.: Towards an integrated graph-based semantics for UML. Software and Systems Modeling 8(3), 403–422 (2009)
Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and Systems Modeling 8(4), 451–478 (2009)
Paige, R., Brooke, P., Ostroff, J.: Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology 16(3) (2007)
Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions. Springer (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barbier, F., Cariou, E. (2012). Inductive UML. In: Abelló, A., Bellatreche, L., Benatallah, B. (eds) Model and Data Engineering. MEDI 2012. Lecture Notes in Computer Science, vol 7602. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33609-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-33609-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33608-9
Online ISBN: 978-3-642-33609-6
eBook Packages: Computer ScienceComputer Science (R0)