In the last few years, Model Driven Architecture (MDA), introduced by the Object Management Group (OMG), has become an important approach that uses models throughout the life cycle of software design and development. It distinguishes four levels: Computation Independent Model (CIM), Platform Independent Model (PIM), Platform Specific Model (PSM) and the code level. Transformations between PIMs and PSMs and code generation from the PIMs are well studied by various researchers.This research focuses on an important part of the transformation from the high level CIM to a PIM level. In this paper we derive the PIM Static Model, which is represented by the Domain Class Model, from a BPMN which is a key artifact of the CIM, using a set of transformation rules. Finally, we will apply our proposal to a case study, to further illustrate how to use these rules.

The software process based on the Model Driven Architecture (MDA) is constructed from a set of transformation sequences. In the context of MDA, we have defined an approach based on two kinds of transformation: The first one is the horizontal transformations in the Computation Independent Model (CIM) level between the Business Process Model and Notation and the Use Case Diagram (UC-UML) with her textual description (TD). These transformations provide two entry points into MDA and ensure the refinement of the CIM high level. The Second type is the vertical transformation from CIM to behavioral model of Platform Specific Model (PIM) level represented by the System Sequence Diagram (UML-SSD). We have developed a set of rules using Query/View/Transformation language, and we have automated these steps to automatically generate the UML-SSD diagram from the UC-UML and its textual description structured with Semantics of Business Vocabulary and Business Rules standard which are in turn obtained automatically from the BPMN. Our approach was applied in an e-library books system. The application of our proposal shows that our automatic process can be used to obtain a set of useful artifacts for software development processes. The applicability of the approach is exhibited via one case study.

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.

No abstract

In order to facilitate communication between business experts and analysts, we adopt the pre-CIM as the most abstract level in the MDA process, integrating the SBVR (Semantics of Business Vocabulary and Rules) to express the rules in this level. Incomplete communication among these stakeholders will produce anomalies in the BRs (redundancy, conflict, circularity). This will lead to serious errors in the system and will heavily increase the final cost. We propose to incorporate a crucial step to filter and correct these BRs. Going through this step will verify their consistency and coherence before turning them into BPMN located in the CIM level. This is a great advantage in terms of saving time and reducing maintenance costs.