Skip to main content
SpringerLink
Log in
Book cover

International Conference on Business Information Systems

BIS 2019: Business Information Systems pp 381–396Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 353))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. ISO/IEC 19510, Information technology – Object Management Group Business Process Model and Notation (2013)

    Google Scholar 

  2. Jordan, D., Evdemon, J.: Web Services Business Process Execution Language Version 2.0. Committee Specification, January 2007

    Google Scholar 

  3. Aversano, L., Grasso., C., Tortorella, M.: Managing the alignment between business processes and software systems. J. Inf. Softw. Technol. 72, 171–188 (2016)

    Article  Google Scholar 

  4. COSMIC, Common Software Measurement International Consortium. COSMIC Functional Size Measurement Method, Version 4.0.2 (2017)

    Google Scholar 

  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 2017

    Google Scholar 

  6. Kaya, M.: E-cosmic: a business process model based functional size estimation approach. MSc Thesis. Ankara, Middle East Technical University, 15 August 2010

    Google Scholar 

  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 2012

    Google Scholar 

  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. 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. 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 2011

    Google Scholar 

  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. 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. 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. 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)

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Mir@cl Laboratory, University of Sfax, Sfax, Tunisia

    Wiem Khlif, Hanêne Ben-Abdallah, Asma Sellami & Mariem Haoues

  2. Higher Colleges of Technology, Dubai, United Arab Emirates

    Hanêne Ben-Abdallah

Authors
  1. Wiem Khlif
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hanêne Ben-Abdallah
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Asma Sellami
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mariem Haoues
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wiem Khlif .

Editor information

Editors and Affiliations

  1. Poznań University of Economics and Business, Poznań, Poland

    Witold Abramowicz

  2. ETSI Informática, University of Seville, Seville, Spain

    Rafael Corchuelo

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Khlif, W., Ben-Abdallah, H., Sellami, A., Haoues, M. (2019). A COSMIC-Based Approach for Verifying the Conformity of BPMN, BPEL and Component Models. In: Abramowicz, W., Corchuelo, R. (eds) Business Information Systems. BIS 2019. Lecture Notes in Business Information Processing, vol 353. Springer, Cham. https://doi.org/10.1007/978-3-030-20485-3_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-20485-3_30

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-20484-6

  • Online ISBN: 978-3-030-20485-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation