Obtaining behavioral model of PIM from the CIM

MDA is an Object Management Group (OMG) Standard that provides a baseline for model-driven development. Different model transformation approaches have been proposed in the context of MDA. Yet, little researches have covered the construction of his high level of abstraction the Computation Independent Model (CIM) and its transformation to the Platform Independent Model (PIM). Besides, the transformation from CIM to PIM is not mentioned enough by the OMG. Taking into account the importance of this stage of the MDA, the main aim of this research is to provide a method of CIM construction and their transformation to obtain the PIM behavioral model. Firstly, we build the different CIM artifacts, of which it´s composed. Secondly, transformations between models are clearly and formally established by using the transformations rules. Finally, an example is provided to better display how to apply this approach.