A complete approach for CIM modelling and model formalising |
| |
| Affiliation: | 1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China;2. Faculty of Information and Communication Technologies, Swinburne University of Technology, VIC, Australia;1. Universidade Federal do Rio de Janeiro - GTA/COPPE/UFRJ, Brazil;2. University of Waterloo, Canada;1. Human Molecular Genetics Laboratory, Faculty of Medicine of Sfax, University of Sfax, Tunisia;2. Laboratory of Biopesticides, Centre of Biotechnology of Sfax, University of Sfax, Tunisia;3. Department of Endocrinology, University Hospital Hedi Chaker, Sfax, Tunisia;4. Department of Life Sciences, Faculty of Science of Sfax, University of Sfax, Tunisia |
| |
| Abstract: | ContextComputation Independent Model (CIM) as a business model describes the requirements and environment of a business system and instructs the designing and development; it is a key to influencing software success. Although many studies currently focus on model driven development (MDD); those researches, to a large extent, study the PIM-level and PSM-level model, and few have dealt with CIM-level modelling for case in which the requirements are unclear or incomplete.ObjectiveThis paper proposes a CIM-level modelling approach, which applies a stepwise refinement approach to modelling the CIM-level model starting from a high-level goal model to a lower-level business process model. A key advantage of our approach is the combination of the requirement model with the business model, which helps software engineers to define business models exactly for cases in which the requirements are unclear or incomplete.MethodThis paper, based on the model driven approach, proposes a set of models at the CIM-level and model transformations to connect these models. Accordingly, the formalisation approach of this paper involves formalising the goal model using the category theory and the scenario model and business process model using Petri nets.ResultsWe have defined a set of metamodels and transformation rules making it possible to obtain automatically a scenario model from the goal model and a business process model from the scenario model. At the same time, we have defined a mapping rule to formalise these models. Our proposed CIM modelling approach and formalisation approach are implemented with an MDA tool, and it has been empirically validated by a travel agency case study.ConclusionThis study shows how a CIM modelling approach helps to build a complete and consistent model at the CIM level for cases in which the requirements are unclear or incomplete in advance. |
| |
| Keywords: | CIM Model formalisation Petri nets Model transformations Model consistency verification |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
