Towards a formalization of model conformance in Model Driven Engineering

Thanh-Hà Pham, Mariano Belaunde, Jean Bézivin

2005

Abstract

The principle of “everything is an object” basically supported by two fundamental relationships inheritance and instantiation has helped much in driving the object technology in the direction of simplicity, generality and power of integration. Similarly in the Model Driven Engineering (MDE) today, the basic principle that “everything is a model” has many interesting properties. The two relations representation and conformance are suggested [2] to be the two basic relations in the MDE. This paper tends to support this ideas by investigating some concrete examples of the conformance relation concerning three technological spaces (TS) [10]: Abstract/Concrete Syntax TS, XML TS and Object-Oriented Modeling (OOM) TS. To go further in this direction we try to formalize this relation in the OOM TS by using the category theory – a very young and abstract but powerful branch of mathematics. The OCL language is (partially) reused in this scheme to provide a potentially useful environment supporting MDE in a very general way.

References

  1. Colin Atkinson. Meta-Modeling for Distributed Object Environments. In The First International Enterprise Distributed Object Computing Conference (EDOC 7897) , pages 90- 103, Brisbane, Australia, October 1997. IEEE Computer Society Press.
  2. Jean Bézivin. On the Basic Principles of Model Driven Engineering. In MDE for Embedded System Summer School, Brest, France, September 2004. ENSIETA.
  3. Jean Bézivin. On the unification power of models. SoSym, 2005. [http://www.sciences.univ-nantes.fr/lina/atl /www/papers/OnTheUnificationPowerOfModels.pdf]
  4. Kenneth Baclawski, Mieczyslaw Kokar, and Jeffrey Smith. Metamodeling facilities. [ http://www1.coe.neu.edu/%7Ejsmith/Publications/mof.pdf ]
  5. Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, and Marcelo Arenas. Efficient Incremental Validation of XML Documents. In ICDE, 2004. [ http://www.cs.toronto.edu/marenas/publications/icde04.pdf ]
  6. Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, and François Yergeau. Extensible Markup Language (XML) 1.0 (Third Edition). W3C, February 2004. [ http://www.w3.org/TR/2004/REC-xml-20040204/ ]
  7. Michael Barr and Charles Wells. Category Theory - Lecture Notes for ESSLLI. Lecture Notes, 1999. [ http://www.folli.uva.nl/CD/1999/library/pdf/barrwells.pdf ]
  8. Joseph A. Goguen. A Categorical Manifesto. Mathematical Structures in Computer Science, 1(1):49-67, 1991. [ http://citeseer.ist.psu.edu/goguen91categorical.html ]
  9. Kathleen Jensen and Niklaus Wirth. Pascal User Manual and Report. Springer-Verlag, 1976.
  10. I. Kurtev, J. Bézivin, and M. Aksit. Technical spaces: An initial appraisal. In CoopIS, DOA 2002 Federated Conferences, Irvine, 2002. [http://www.sciences.univ-nantes.fr/lina/atl/www/papers/PositionPaperKurtev.pdf]
  11. A Formal Foundation For Object-Oriented Software Evolution. PhD thesis, Vrije Universiteit Brussel, August 1999.
  12. David E. Rydeheard and Rod M. Burstall. Computational Category Theory. Series in Computer Science. Prentice Hall International, 1988. [ http://www.cs.man.ac.uk/david/categories/book/book.pdf]
  13. Mark Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, 2002. [ http://www.db.informatik.uni-bremen.de/teaching/courses/ss2002_oose/m.pdf]
  14. Jeffrey E. Smith. UML Formalisation and Transformation. PhD thesis, Northeastern University, Boston, Massachusetts, December 1999.
  15. Jaap van Oosten. Basic Category Theory. In Basic Research in Computer Science, BRICS Lecture Series. University of Aarhus, January 1995. [ http://www.brics.dk/LS/95/1/BRICS-LS-95-1/BRICS-LS-95-1.html]
  16. Jos Warmer and Anneke Keleppe. The Object Constraint Language, Precise Modeling With UML. Object Technology Series. Addison-Wesley, 1999.
Download


Paper Citation


in Harvard Style

Pham T., Belaunde M. and Bézivin J. (2005). Towards a formalization of model conformance in Model Driven Engineering . In Proceedings of the Joint Workshop on Web Services and Model-Driven Enterprise Information Systems - Volume 1: WSMDEIS, (ICEIS 2005) ISBN 972-8865-27-9, pages 107-116. DOI: 10.5220/0002570601070116


in Bibtex Style

@conference{wsmdeis05,
author={Thanh-Hà Pham and Mariano Belaunde and Jean Bézivin},
title={Towards a formalization of model conformance in Model Driven Engineering},
booktitle={Proceedings of the Joint Workshop on Web Services and Model-Driven Enterprise Information Systems - Volume 1: WSMDEIS, (ICEIS 2005)},
year={2005},
pages={107-116},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002570601070116},
isbn={972-8865-27-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Joint Workshop on Web Services and Model-Driven Enterprise Information Systems - Volume 1: WSMDEIS, (ICEIS 2005)
TI - Towards a formalization of model conformance in Model Driven Engineering
SN - 972-8865-27-9
AU - Pham T.
AU - Belaunde M.
AU - Bézivin J.
PY - 2005
SP - 107
EP - 116
DO - 10.5220/0002570601070116