Sahar Hajjarzadeh

Thesis Title: A By-Example Method for CIM-to-PIM Transformation in Model-Driven Development                  


In Model Driven Development (MDD), models are the main resources and products of analysis, design, implementation, documentation, and maintenance of software systems. MDD approaches intend to increase productivity and reduce time-to-market by enabling development at a higher level of abstraction, using concepts which are closer to the problem domain rather than the ones offered by programming languages. Model-driven Architecture (MDA) is a MDD framework defined by OMG. MDA defines three levels of models for a software system: Computation-Independent Model (CIM), Platform-Independent Model (PIM), and Platform-Specific Model (PSM).
Model transformation is the pivotal concept of MDA, and mainly concerns transformation from CIM to PIM, from PIM to PSM, and finally from PSM to code. Current studies mostly focus on PIM-to-PSM and PSM-to-Code transformations, paying little attention to transformation from CIM to PIM; whereas realizing user requirements is greatly enhanced if a solid CIM is first produced, and then transformed into the PIM. Since there are many approaches and tools for PIM-to-PSM and PSM-to-Code transformations, the target system can be produced more accurately if efficient approaches are provided for transformation from CIM to PIM.
Model Transformation By Example (MTBE) is widely used for transforming PIM to PSM. In MTBE approaches, users can define an initial set of related mappings between source and target templates instead of writing the transformation rules manually. Although mainly used for PIM-to-PSM transformation, the MTBE approach seems to be a promising approach for CIM-to-PIM transformation as well.
The current project aims to offer an MTBE approach for transformation from CIM to PIM in a software development context. To this aim, a comprehensive study will first be conducted on the different approaches currently used for CIM-to-PIM transformation; these approaches will be evaluated to determine their strengths and weaknesses. Existing MTBE approaches will then be studied in detail, and an MTBE approach for CIM-to-PIM transformation will be proposed. The validity of the proposed approach will be assessed based on special evaluation criteria, and also through a case study.

(Progress Chart)

Contact Information

   Email: hajjarzadeh [at] ce [dot] sharif [dot] edu