Rearchitecting Meta-modeling Foundation: A Formal Approach.
Pooyan Jamshidi, Fereidoon Shams Aliee, Sedigheh Khoshnevis, R. Teimourzadegan, Ali Yadavar Nikravesh · 2009
Model-Driven Development (MDD) is based on the premise of giving software engineers the most suitable infrastructure, based on which they can easily construct and transform their artifacts. Several paradigms like linear four-layer infrastructure have been proposed to facilitate MDD requirements. Although recently proposed paradigms have their own advantages and superiority to the traditional paradigms, there is no formal foundation, by which they could be described. A category can be seen as a structure that formalizes a mathematician's description of a type of structure. Therefore, category theory is convenient for describing paradigm of the infrastructure. In this position paper, we provide a formal framework consisting categories of models to rearchitecting traditional linear meta-modeling paradigm to a category-based one. By adopting the paradigm, the dual classification problem arising from the need to capture both linguistic and ontological classification of model elements, could be formally clarified.