Mathematical Description Framework for Architecture Models

Model Mapping Approach Based on Ontology Semantics

“…The distance between them is more significant. The gap between the modeling languages can be narrowed using formalism extensions, but cannot be completely eliminated [4]. The fundamental solution for the problem of the gap seems to be the creation of effective semantic mapping mechanism, so to ensure that the equivalent representations for the system can be obtained [7].…”

“…A model is a representation of the function, structure and behavior of an application or system in a given formalism [4]. Model-driven development is a software engineering approach consisting of the application of models and model technologies to raise the level of abstraction at which developers create and evolve software, with the goal of both simplifying (making easier) and formalizing (standardizing, so that automation is possible) the various activities and tasks that comprise the software life cycle [1].…”

“…On the whole, the existing and proposed approaches for model transformation can be classified into five categories [4]: Template-based approaches, Targetstructure-driven approaches, Graph-transformation-based approaches, Relational approaches and Transformation implemented using XSLT. Most of these approaches focus on providing a concrete solution for the transformation between models at different abstract levels, and there is currently no mature foundation for the definition of mapping rules as well as cardinal principles to validate the mapping relations between such models.…”

Semantic-element-based Defining Approach for Model Transformation Rules

“…From function view, a transformation is a function that maps a tuple of models from one or more domains onto another tuple of models in the same or different domains [4]. Transformations are required not only to maintain semantic properties of the models but also maintain certain syntactical properties of the models.…”

“…On the whole, the provided approaches can be classified into five categories [3][4][5][6]: (1) Template-Based Approaches. In this approach, templates consisting of text in the target language include meta-code tags to access information from the source model.…”