Supporting model transformation using mathematical transformation engine

الملخص EN

In general, most methods used in model transformation depend on informal to semi-formal techniques such as metamodel, graphical concepts, and XSLT.

All these methods suffer from the absence of formality and customizability.

In this work, we propose a new method of model transformation, that is formal and customizable.

This method is based on Model Driven Architecture (MDA) concepts, it depends on representing the two languages used in the Platform Independent Model (PIM) and the Platform Specific Model (PSM) mathematically.

So the transformation will be from one mathematical form to another, reducing the transformation to transformation among finite sets.

In this paper we elaborate on the mathematical representation for PSM.