A FORMAL LANGUAGE FOR MODEL TRANSFORMATION SPECIFICATION

Dan Song, Keqing He, Peng Liang, Wudong Liu

Abstract

Model transformation and its automation have been the core and major challenge of MDA; consequently OMG issued a QVT RFP to standardize its process. Though many approaches have been proposed, their efficiency cannot be validated and their application scope is still limited. The task of providing a reliable solution to model transformation is critical. This paper proposes a formal language for model transformation specification to achieve automatic implementation. The foundation of our work is explained and some basic elements of the language are defined. A concrete transformation example from UML 1.4 models to UML 2.0 models is presented using the formalism.

References

  1. Joaquin Miller, Jishnu Mukerji, 2003. MDA Guide, OMG. U.S.A., Version 1.0.1.
  2. Shane Sendall, Wojtek Kozaczynski, 2003. Model Transformation - the heart and soul of model-driven software development. IEEE Software, Special Issue on Model Driven Software Development, Vol.20, No. 5
  3. Tata Consultancy Services, 2003. Revised submission for MOF 2.0 Query / Views / Transformations RFP, QVT-Partners. Version 1.1.
  4. Krzysztof Czarnecki, Simon Helsen, 2003. Classification of Model Transformation Approaches. In OOPSLA'03, Workshop on Generative Techniques in the Context of Model-Driven Architecture.
  5. DSTC, IBM, CBOP, 2003. MOF Query / Views / Transformations, QVT-Partners. 1st Revised Submission.
  6. Keith Daddy, Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, 2003. Model Transformation: A declarative, reusable patterns approach. In EDOC'03, Seventh International Enterprise Distributed Object Computing Conference.
  7. OMG, 2001. Unified Modelling Language Specification, Version 1.4.
  8. OMG, 2003. UML 2.0 Superstructure Specification, Version 2.0.
Download


Paper Citation


in Harvard Style

Song D., He K., Liang P. and Liu W. (2005). A FORMAL LANGUAGE FOR MODEL TRANSFORMATION SPECIFICATION . In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-19-8, pages 429-433. DOI: 10.5220/0002546104290433


in Bibtex Style

@conference{iceis05,
author={Dan Song and Keqing He and Peng Liang and Wudong Liu},
title={A FORMAL LANGUAGE FOR MODEL TRANSFORMATION SPECIFICATION},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2005},
pages={429-433},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002546104290433},
isbn={972-8865-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A FORMAL LANGUAGE FOR MODEL TRANSFORMATION SPECIFICATION
SN - 972-8865-19-8
AU - Song D.
AU - He K.
AU - Liang P.
AU - Liu W.
PY - 2005
SP - 429
EP - 433
DO - 10.5220/0002546104290433