Skip to main content
SpringerLink
Log in

Inductive UML

  • Conference paper
Model and Data Engineering (MEDI 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7602))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG Unified Modeling LanguageTM, Superstructure, Version 2.3 (May 2010)

    Google Scholar 

  2. Atkinson, C., Kühne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software 20(5), 5–22 (2002)

    Google Scholar 

  3. Kühne, T.: Matters of (Meta-) modeling. Software and Systems Modeling 5(4), 369–385 (2006)

    Article  Google Scholar 

  4. 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)

    Google Scholar 

  5. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF - Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)

    Google Scholar 

  6. OMG Unified Modeling LanguageTM, Infrastructure, Version 2.3 (May 2010)

    Google Scholar 

  7. Meta Object Facility (MOF) Core Specification, Version 2.0 (January 2006)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Article  Google Scholar 

  11. Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and Systems Modeling 8(4), 451–478 (2009)

    Article  Google Scholar 

  12. Paige, R., Brooke, P., Ostroff, J.: Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology 16(3) (2007)

    Google Scholar 

  13. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions. Springer (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Pau, BP 1155, Avenue de l’université, 64013, Pau cedex, France

    Franck Barbier & Eric Cariou

Authors
  1. Franck Barbier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eric Cariou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. Enginyeria de Serveis i Sistemes d’Informació, Universitat Politecnica de Catalunya, C. Jordi Girona, 31, 08034, Barcelona, Spain

    Alberto Abelló

  2. LISI/ENSMA, Futuroscope, Poitiers University, Téléport 2 - 1 avenue, Clément Ader, BP 40109, 86961, Futuroscope Chasseneuil cedex, France

    Ladjel Bellatreche

  3. School of Computer Science and Engineering, University of New South Wales, 2052, Sydney, NSW, Australia

    Boualem Benatallah

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation