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

  • Wiem KhlifEmail author
  • Hanêne Ben-Abdallah
  • Asma Sellami
  • Mariem Haoues
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 353)


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.


Functional Size Measurement (FSM) COSMIC Component diagram BPMN BPEL model (BPEL) 


  1. 1.
    ISO/IEC 19510, Information technology – Object Management Group Business Process Model and Notation (2013)Google Scholar
  2. 2.
    Jordan, D., Evdemon, J.: Web Services Business Process Execution Language Version 2.0. Committee Specification, January 2007Google Scholar
  3. 3.
    Aversano, L., Grasso., C., Tortorella, M.: Managing the alignment between business processes and software systems. J. Inf. Softw. Technol. 72, 171–188 (2016)CrossRefGoogle Scholar
  4. 4.
    COSMIC, Common Software Measurement International Consortium. COSMIC Functional Size Measurement Method, Version 4.0.2 (2017)Google Scholar
  5. 5.
    Khlif, W., Haoues, M., Sellami, A., Ben-Abdallah, H.: Analyzing functional changes in BPMN models using COSMIC. In: International Conference on Software Engineering and Applications (ICSOFT 2017), pp. 265–274. SciTePress, Portugal, July 2017Google Scholar
  6. 6.
    Kaya, M.: E-cosmic: a business process model based functional size estimation approach. MSc Thesis. Ankara, Middle East Technical University, 15 August 2010Google Scholar
  7. 7.
    Monsalve, C., April, A., Abran, A.: On the expressiveness of business process modeling notations for software requirements elicitation. In: Conference of the IEEE Industrial Electronics Society (IECON 2012), Montreal. IEEE, 25–28 October 2012Google Scholar
  8. 8.
    Sellami, A., Haoues, M., Ben-Abdallah, H.: Analyzing UML activity and component diagrams - an approach based on COSMIC functional size measurement. In: Conference on Evaluation of Novel Approaches to Software Engineering, France, pp. 36–44 (2013)Google Scholar
  9. 9.
    Sellami, A., Haoues, M., Ben-Abdallah,H.: Automated COSMIC-based analysis and consistency verification of UML activity and component diagrams. In: Conference on Evaluation of Novel Approaches to Software Engineering, France, pp. 48–63 (2013)Google Scholar
  10. 10.
    Delgado, A., Ruiz, F., de Guzmán, I.G.D., Piattini, M.: Business process service oriented methodology with service generation in SoaML. In: International Conference on Advanced Information Systems Engineering (CAiSE 2011), London, pp. 672–680, 20–24 June 2011Google Scholar
  11. 11.
    Aysolmaz, B., İren, D., Demirörs, O.: An effort prediction model based on BPM measures for process automation. In: International Workshop on Business Process Modeling, Development and Support (BMMDS/EMMSAD 2013), pp. 154–167 (2013)Google Scholar
  12. 12.
    Lavazza, L., Bianco, V.: A case study in COSMIC functional size measurement: the rice cooker evisited. In: International Workshop on Software Measurement (IWSM 2009), Amsterdam, pp. 101–121 (2009)Google Scholar
  13. 13.
    Lind, K., Heldal, R., Harutyunyan, T., Heimdahl, T.: CompSize: automated size estimation of embedded software components. In: International Workshop on Software Measurement (IWSM 2011), Japan, pp. 2183–2192 (2011)Google Scholar
  14. 14.
    Ouyang, C., Dumas, M., Van der Aalst, W.M.: Pattern-based translation of BPMN process models to BPEL web services. Int. J. Web Serv. Res. 5(1), 42–62 (2009)CrossRefGoogle Scholar
  15. 15.
    Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wesslén, A.: Experimentation in Software Engineering: An Introduction. Academic Publishers (2000)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Wiem Khlif
    • 1
    Email author
  • Hanêne Ben-Abdallah
    • 1
    • 2
  • Asma Sellami
    • 1
  • Mariem Haoues
    • 1
  1. 1.Mir@cl LaboratoryUniversity of SfaxSfaxTunisia
  2. 2.Higher Colleges of TechnologyDubaiUnited Arab Emirates

Personalised recommendations