Formalization of Two-Hemisphere Model Driven Approach in the Framework of MDA

9th International Conference on Information Systems Implementation and Modelling

Natalya Pavlova ; Oksana Nikiforova

PID  :  1715

来源: CEUR

【 摘 要 】

THe Model Driven Architecture (MDA) is a framework built under supervision of the Object Modeling Group (OMG). The MDA separates certain key models of systems and brings a consistent structure to these models, which are structured explicitly into Computation Independent Model (CIM), Platform Indepent Model (PIM), Platform Specific Model (PSM), which then is used for code generating. The problem is that there are tools to generate a code from PSM, but there are no tools to generate PSM from PIM, and formal PIM construction. Decision of the problem is in the construction of complete and consistent PIM to transform it to PSM automatically. The paper provides an effort to make an existing approach for construction of CIM, which is Two Hemisphere Model Driven, usable for further transition from CIM to PIM in more formal way, let formal transformations to PSM and code would be possible.