A COSMIC-Based Approach for Verifying the Conformity of BPMN, BPEL and Component Models

Abstract

Besides its application in the software development lifecycle, COSMIC Functional Size Measurement (FSM) is investigated as a means to measure the size of business processes (BP). This paper proposes a comprehensive COSMIC FSM-based framework to verify the conformity of the business process design and run-time models with their aligned information system (IS). It relies on the standard notations BPMN and BPEL to describe the business process and run-time models, respectively, and the component diagram to describe the IS. The paper defines formulas to apply COSMIC on these models and heuristics to verify their conformity. It illustrates the approach through a case study.