Formal MOF Metamodeling and Tool Support

Liliana Favre, Daniel Duarte

Abstract

Model Driven Development (MDD) has emerged as a new road to software development industrialization. The most well-known realization of MDD is the Model Driven Architecture (MDA). The essence of MDA is the metamodel MOF (Meta Object Facility) allowing interoperability of different kind of artifacts from multiple technologies. It is important to formalize and reason about MOF metamodels properly. In this paper, we propose a rigorous framework for reasoning about “correctness” of metamodels. Our main contribution is the integration of MOF metalanguage with formal specification languages based on the algebraic formalism. We define NEREUS, a formal metamodeling language, and processes for reasoning about MOF-like metamodels such as ECORE metamodels. The paper describes a set of tools developed to make formal metamodeling feasible in practice.

References

  1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I., 2007. UML2Alloy: A Challenging Model Transformation, In Proceedings Model Driven Engineering Languages and Systems (Models 2007), Lecture Notes in Computer Science 4735, Heidelberg: Springer-Verlag, pp. 436-450.
  2. Barbier, P., Casteran, E., Cariou, E., le Goaer, O., 2013. Adaptative software based on correct-by construction metamodels, Chapter 13. In Progressions and Innovations in Model Driven Software Engineering, Hershey, PA: IGI Global, pp. 308-325.
  3. Bidoit, M., Mosses, P., 2004. CASL User Manual Introduction to Using the Common Algebraic Specification Language. Lecture Notes in Computer Science 2900, Heidelberg: Springer-Verlag.
  4. Boronat, A., Meseguer, J., 2010. An algebraic semantics for MOF. Formal Aspect of Computing 22, pp. 269-296.
  5. Brambilla, M., Cabot, J., Wimmer, M., 2012. Model-Driven Software Engineering in Practice. USA: Morgan & Claypool.
  6. Cardelli, L., Abadi, M., 1996. A Theory of Objects. Heidelberg: Springer-Verlag.
  7. Clark, T., Evans,A., Kent, S. 2001. The Metamodeling Language Calculus: Foundation Semantic for UML, In Proceedings of FASE 2001, pp.17-31.
  8. Duarte, D., 2015. Development of Formal Metamodeling Tools. System Engineer Thesis (L. Favre Supervisor). Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentina.
  9. EMF, 2015. Eclipse Modeling Framework, www.eclipse.org
  10. Erigh, H., Erigh, K., Prange,U., Taentzer, G., 2006. Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. EATCS Series. Springer-Verlag.
  11. Karsten, E., Jochen, M., Kuster, G., Taentzer, J., 2006. Generating Instance Models from MetaModels. In Winkelmann FMOODS 2006, Lecture Notes in Computer Science 4037, Heidelberg: Springer-Verlag, pp. 156-170.
  12. Favre, L., 2009. A Formal Foundation for Metamodeling, In Ada-Europe 2009: Lecture Notes in Computer Science 5570, Heidelberg: Springer-Verlag, pp. 177-191.
  13. Hets, 2015. Heterogeneous Tool Set. www.informatik.uni bremen.de/agbkb/forschung/formal_methods/CoFI/hets/
  14. Iovino, L., Pieroantonio, A., Malavolta, I., 2012. On the impact significance of metamodel evolution in MDE, Journal of Object Technology 11 (3), pp.1-33.
  15. Jackson,E.K., Levendovszky, T., Balasubramanian, D., 2011. Reasoning about Metamodeling with Formal Specifications and Automatic Proofs, In Proceedings Model Driven Engineering Languages and Systems Models 2011, Lecture Notes in Computer Science 6981, Heidelberg: Springer-Verlag, pp. 653-667.
  16. Jouault, F., Bézivin, J., 2006. KM3: a DSL for Metamodel Specification, Formal Methods for Open Object-Based Distributed Systems, Heidelberg: Springer-Verlag, pp. 171-185.
  17. MDA, 2014. Object Management Group Model Driven Architecture (MDA) MDA Guide rev. 2.0, OMG Document ormsc/2014-06-01
  18. MOF, 2015. OMG Meta Object Facility Core Specification, version 2.5, Document formal/2015-06-05 http://www. omg.org/spec/MOF/2.5
  19. MOF, 2006. OMG Meta Object Facility (MOF) Core Specification, version 1.0.
  20. Mossakowski, T., Maeder, C., Codescu, M., 2014. Hets User Guide, version 0.99, http://www.informatik.unibremen.de/agbkb/forschung/formal_methods/CoFI/hets/
  21. OCL, 2014. Omg Object Constraint Language (OCL), version 2.4,” formal/2014-02-03, www.omg.org/ocl/ 2.4
  22. Parr, T., 2013. The Definitive ANTLR 4 Reference (1st ed.), Pragmatic Bookshelf.
  23. OMG, 2015. Object Mangement Group, www.omg.org
  24. Pérez, B., Porres, I., 2014. An Overall Framework for Reasoning about UML/OCL Models Based on Constraint Logic Programming and MDA. International Journal on Advances in Software, vol 7 no 1 & 2, http://www.iariajournals.org/software/
  25. Steinberg, D., Budinsky, F., Paternostro , M., and Merks, E., 2008. EMF: Eclipse Modeling Framework, 2 ed. Addison-Wesley, Boston, MA
  26. Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G. 2010. Metamodelling: State of the Art and Research Challenges. H. Giese et al. (Eds.), Lecture Notes in Computer Science 6100, Heidelberg, Springer-Verlag, pp. 57-76.
  27. Varro, V., Pataricza, A., 2003. VPM: A visual, precise and multilevelmetamodeling framework for describing mathematical domains and UML. Journal of Software and System Modeling, 2 (3), pp. 187-210.
Download


Paper Citation


in Harvard Style

Favre L. and Duarte D. (2016). Formal MOF Metamodeling and Tool Support . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 99-110. DOI: 10.5220/0005689200990110


in Bibtex Style

@conference{modelsward16,
author={Liliana Favre and Daniel Duarte},
title={Formal MOF Metamodeling and Tool Support},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={99-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005689200990110},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Formal MOF Metamodeling and Tool Support
SN - 978-989-758-168-7
AU - Favre L.
AU - Duarte D.
PY - 2016
SP - 99
EP - 110
DO - 10.5220/0005689200990110