A FORMAL LANGUAGE FOR MODEL TRANSFORMATION SPECIFICATION

Dan Song, Keqing He, Peng Liang, Wudong Liu

2005

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.

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