Skip to main content
SpringerLink
Log in

Consistency Checking of Goal Models and Case Management Schemas

  • Conference paper
  • First Online:
Business Process Management Forum (BPM 2021)

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

Included in the following conference series:

Abstract

Case management is an approach for handling business processes that are knowledge-intensive. The knowledge work performed on case management schemas is driven by operational goals. Typically, organizational goals and their interdependencies are specified in goal models. A goal model defines how higher-level goals are achieved by lower-level goals. While goals have been related to classical activity-centric process models, the relation between declarative data-centric case management schemas and goal models has not yet been explored. This paper presents a structural approach to check consistency of a goal model and a declarative case management schema. The approach is supported by a tool and evaluated in a case study.

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

Access this chapter

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.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

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    See https://github.com/heshuis/CMMNgoalanalyzer.

References

  1. van der Aalst, W.M.P., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129–162 (2005)

    Article  Google Scholar 

  2. Akhigbe, O., Amyot, D., Anda, A.A., Lessard, L., Xiao, D.: Consistency analysis for user requirements notation models. In: Proceedings of the iStar 2016, pp. 43–48. CEUR-WS.org (2016)

    Google Scholar 

  3. BizAgi and others: Case Management Model and Notation (CMMN), v1.1 (December 2016). OMG Document Number formal/16-12-01, Object Management Group

    Google Scholar 

  4. Chao, T., et al.: Artifact-based transformation of IBM global financing. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 261–277. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03848-8_18

    Chapter  Google Scholar 

  5. Cortes-Cornax, M., Matei, A., Dupuy-Chessa, S., Rieu, D., Mandran, N., Letier, E.: Using intentional fragments to bridge the gap between organizational and intentional levels. Inf. Softw. Technol. 58, 1–19 (2015)

    Article  Google Scholar 

  6. Czepa, C., et al.: Supporting structural consistency checking in adaptive case management. In: Debruyne, C., et al. (eds.) OTM 2015. LNCS, vol. 9415, pp. 311–319. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-26148-5_19

    Chapter  Google Scholar 

  7. Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J. Data Seman. 4(1), 29–57 (2015)

    Article  Google Scholar 

  8. Eshuis, R., Debois, S., Slaats, T., Hildebrandt, T.: Deriving consistent GSM schemas from DCR graphs. In: Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (eds.) ICSOC 2016. LNCS, vol. 9936, pp. 467–482. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46295-0_29

    Chapter  Google Scholar 

  9. Eshuis, R., Hull, R., Sun, Y., Vaculín, R.: Splitting GSM schemas: a framework for outsourcing of declarative artifact systems. Inf. Syst. 46, 157–187 (2014)

    Article  Google Scholar 

  10. Gröner, G., Asadi, M., Mohabbati, B., Gašević, D., Silva Parreiras, F., Bošković, M.: Validation of user intentions in process models. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 366–381. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31095-9_24

    Chapter  Google Scholar 

  11. Guizzardi, R., Reis, A.N.: A method to align goals and business processes. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 79–93. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25264-3_6

    Chapter  Google Scholar 

  12. Haisjackl, C., et al.: Making sense of declarative process models: common strategies and typical pitfalls. In: Nurcan, S., et al. (eds.) BPMDS/EMMSAD -2013. LNBIP, vol. 147, pp. 2–17. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38484-4_2

    Chapter  Google Scholar 

  13. Hewelt, M., Pufahl, L., Mandal, S., Wolff, F., Weske, M.: Toward a methodology for case modeling. Softw. Syst. Model. 19(6), 1367–1393 (2020)

    Article  Google Scholar 

  14. Horita, H., Honda, K., Sei, Y., Nakagawa, H., Tahara, Y., Ohsuga, A.: Transformation approach from KAOS goal models to BPMN models using refinement patterns. In: Proceedings of the SAC 2014, pp. 1023–1024 (2014)

    Google Scholar 

  15. Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Proceedings of the WS-FM, pp. 1–24 (2010)

    Google Scholar 

  16. Jiang, J., Huisman, B., Dignum, V.: Agent-based multi-organizational interaction design: a case study of the Dutch railway system. In: Proceedings of the IAT 2012, pp. 196–203. IEEE Computer Society (2012)

    Google Scholar 

  17. Koliadis, G., Ghose, A.: Relating business process models to goal-oriented requirements models in KAOS. In: Proceedings of the PKAW 2006, pp. 25–39 (2006)

    Google Scholar 

  18. van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)

    Google Scholar 

  19. Lohrmann, M., Reichert, M.: Effective application of process improvement patterns to business processes. Softw. Syst. Model. 15(2), 353–375 (2016)

    Article  Google Scholar 

  20. Nagel, B., Gerth, C., Engels, G., Post, J.: Ensuring consistency among business goals and business process models. In: Proceedings of the EDOC 2013, pp. 17–26. IEEE Computer Society (2013)

    Google Scholar 

  21. Nurcan, S., Etien, A., Kaabi, R.S., Zoukar, I., Rolland, C.: A strategy driven business process modelling approach. Bus. Process. Manag. J. 11(6), 628–649 (2005)

    Article  Google Scholar 

  22. Pillaerds, J., Eshuis, R.: Assessing suitability of adaptive case management. In: Proceedings of the ECIS 2017, p. 37 (2017)

    Google Scholar 

  23. Poels, G., Decreus, K., Roelens, B., Snoeck, M.: Investigating goal-oriented requirements engineering for business processes. J. Database Manag. 24(2), 35–71 (2013)

    Article  Google Scholar 

  24. Ponnalagu, K., Ghose, A., Narendra, N.C., Dam, H.K.: Goal-aligned categorization of instance variants in knowledge-intensive processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 350–364. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23063-4_24

    Chapter  Google Scholar 

  25. Ponsard, C., Darimont, R.: Towards goal-oriented analysis and redesign of BPMN models. In: Proceedings of the MODELSWARD 2019, pp. 527–533 (2019)

    Google Scholar 

  26. Rolland, C., Prakash, N., Benjamen, A.: A multi-model view of process modelling. Requir. Eng. 4(4), 169–187 (1999)

    Article  Google Scholar 

  27. Smit, E., Eshuis, R.: Modeling rolling stock maintenance logistics at Dutch railways with declarative business artifacts. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362, pp. 375–387. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-37453-2_31

    Chapter  Google Scholar 

  28. Soffer, P., Wand, Y.: Goal-driven multi-process analysis. J. Assoc. Inf. Syst. 8(3), 9 (2007)

    Google Scholar 

  29. Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management will Revolutionize the Way that Knowledge Workers Get Things Done. Meghan-Kiffer, FL (2010)

    Google Scholar 

  30. Vaculín, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukaviriya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: Proceedings of the EDOC 2011, pp. 151–160 (2011)

    Google Scholar 

  31. de la Vara, J.L., Sánchez, J., Pastor, O.: On the use of goal models and business process models for elicitation of system requirements. In: Nurcan, S., et al. (eds.) BPMDS/EMMSAD -2013. LNBIP, vol. 147, pp. 168–183. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38484-4_13

    Chapter  Google Scholar 

  32. Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.): Social Modeling for Requirements Engineering. MIT Press (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Rik Eshuis

  2. University of Wollongong, Wollongong, Australia

    Aditya Ghose

Authors
  1. Rik Eshuis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aditya Ghose
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rik Eshuis .

Editor information

Editors and Affiliations

  1. The University of Melbourne, Carlton, VIC, Australia

    Artem Polyvyanyy

  2. NICTA Queensland Res Lab, Queensland University of Technology, Brisbane, QLD, Australia

    Moe Thandar Wynn

  3. EB24, Ghent University, Ghent, Belgium

    Amy Van Looy

  4. University of Ulm, Ulm, Germany

    Manfred Reichert

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Eshuis, R., Ghose, A. (2021). Consistency Checking of Goal Models and Case Management Schemas. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds) Business Process Management Forum. BPM 2021. Lecture Notes in Business Information Processing, vol 427. Springer, Cham. https://doi.org/10.1007/978-3-030-85440-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-85440-9_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-85439-3

  • Online ISBN: 978-3-030-85440-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation