J. Abd-Ali and K. El Guemhioui (Canada)
Model comparison, metamodel, model semantics, MDA, PIM, PSM
In a model driven approach to software development, whenever a model is transformed, we are faced with the problem of validating the compliance of the resulting model with the original one. We propose a model comparison approach based on the semantics of the metamodel elements used to express the input and output models. To enable the comparison, these semantics must be completely and exclusively expressed in single elements. If it is not the case, elements are rewritten so as to extract specific semantics that are embedded within larger ones, or to consolidate particular semantics that are spread in more than one element.
Important Links:
Go Back
