Skip to main content
SpringerLink
Log in

Towards Executable Specifications for Case Management Processes

  • Chapter
  • First Online:
Advances in Intelligent Process-Aware Information Systems

Part of the book series: Intelligent Systems Reference Library ((ISRL,volume 123))

Abstract

Explicit process specifications play an important role in process-aware information systems (PAIS). Whereas methodologies for modeling structured, activity-oriented processes are well established, modeling formalisms for unstructured processes such as case management processes (CMP) are lagging. In this chapter, we define a state-oriented formalism that allows for executable specifications of CMP and paves the road for predictive analysis and recommendations support intended to case managers. This formalism is grounded on statecharts developed by D. Harel in 1987. We adopt the main concepts defined by statecharts and demonstrate how they can be used to specify a case management process. We also propose adaptations and potential extensions of the statecharts formalism that could address CMP specifics and complexity.

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 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    http://www-03.ibm.com/software/products/en/category/advanced-case-management.

  2. 2.

    http://www.isis-papyrus.com/.

  3. 3.

    http://www.computas.com/.

  4. 4.

    http://www-03.ibm.com/software/products/en/intelligent-operations-center.

  5. 5.

    http://www-03.ibm.com/software/products/en/ratirhapfami.

  6. 6.

    http://statecharts.org/index.html.

  7. 7.

    See http://cartorisque.prim.net/dpt/75/75_ip.html.

  8. 8.

    Source: Préfecture des Hauts-de-Seine: Plan de secours spécialisé sur les inondations Hauts-de-Seine, SIDPC 21/11/2005, (2005), Available at: http://www.ville-neuillysurseine.fr/files/neuilly/mairie/services_techniques/plan-secours-inondation.pdf.

  9. 9.

    http://www.xpdl.org/nugen/p/adaptive-case-management/public.htm.

  10. 10.

    http://www-03.ibm.com/software/products/en/ratirhapfami.

  11. 11.

    http://statecharts.org/index.html.

  12. 12.

    Development of modeling and simulation environment for CMP will be addressed in our future work.

  13. 13.

    Gartner, http://www.gartner.com/newsroom/id/2575515, http://www.gartner.com/newsroom/id/2819918.

References

  1. van der Aalst, W.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21–66 (1998)

    Article  Google Scholar 

  2. van der Aalst, W.: Process-aware information systems: lessons to be learned from process mining. In: Jensen, K., van der Aalst, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 1–26. Springer (2009)

    Google Scholar 

  3. van der Aalst, W., Ter Hofstede, A.H.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)

    Article  Google Scholar 

  4. van der Aalst, W., Weijters, A.: Process mining: a research agenda. Comput. Ind. 53(3), 231–244 (2004)

    Article  Google Scholar 

  5. van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99–113 (2009)

    Article  Google Scholar 

  6. van der Aalst, W., 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 

  7. Bajec, M., Krisper, M.: A methodology and tool support for managing business rules in organisations. Inf. Syst. 30(6), 423–443 (2005)

    Article  Google Scholar 

  8. Barba, I., Weber, B., Del Valle, C.: Supporting the optimized execution of business processes through recommendations. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) Business Process Management Workshops. LNBIP, vol. 99, pp. 135–140. Springer, Berlin (2012)

    Chapter  Google Scholar 

  9. Bider, I.: Towards a non-workflow theory of business processes. In: La Rosa, M., Soffer, P. (eds.) Business Process Management Workshops. LNBIP, vol. 132, pp. 1–2. Springer, Berlin (2013)

    Chapter  Google Scholar 

  10. Bubenko, J., Rolland, C., Loucopoulos, P., DeAntonellis, V.: Facilitating fuzzy to formal requirements modelling. In: Proceedings of the First International Conference on Requirements Engineering, 1994, pp. 154–157. IEEE (1994)

    Google Scholar 

  11. Cauvet, C.: Modélisation des processus d’ingénierie des systèmes d’information. Encyclopédie de l’Informatique et des Systèmes d’Information, pp. 1412–1425 (2006)

    Google Scholar 

  12. Davenport, T.: Thinking for a Living: How to Get Better Performances and Results from Knowledge Workers. Harvard Business Press (2005)

    Google Scholar 

  13. Dijkman, R., Dumas, M., Garca-Bauelos, L.: Graph matching algorithms for business process model similarity search. In: Dayal, U., Eder, J., Koehler, J., Reijers, H. (eds.) Business Process Management. LNCS, vol. 5701, pp. 48–63. Springer, Berlin (2009)

    Google Scholar 

  14. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)

    Article  Google Scholar 

  15. Dowson, M.: Iteration in the software process; review of the 3rd international software process workshop. In: Proceedings of the 9th International Conference on Software Engineering, ICSE ’87, pp. 36–41. IEEE Computer Society Press, Los Alamitos, CA, USA (1987)

    Google Scholar 

  16. Dumas, M., van der Aalst, W.M., Ter Hofstede, A.H.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)

    Google Scholar 

  17. Ganter, B., Wille, R., Wille, R.: Formal Concept Analysis, vol. 284. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  18. Groefsema, H., Bucur, D.: A survey of formal business process verification: from soundness to variability. In: Proceedings of International Symposium on Business Modeling and Software Design (BMSD) (2013)

    Google Scholar 

  19. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  20. Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proceedings of the 18th International Conference on Software Engineering, ICSE ’96, pp. 246–257. IEEE Computer Society, Washington, DC, USA (1996)

    Google Scholar 

  21. Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293–333 (1996)

    Article  Google Scholar 

  22. Harel, D., Pnueli, A.: On the development of reactive systems. Springer (1985)

    Google Scholar 

  23. Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, Inc. (1998)

    Google Scholar 

  24. Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath, III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P.N., Vaculin, R.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: Proceedings of the 5th ACM International Conference on Distributed Event-Based System, DEBS ’11, pp. 51–62. ACM, New York, NY, USA (2011)

    Google Scholar 

  25. Kemsley, S.: The changing nature of work: from structured to unstructured, from controlled to social. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) Business Process Management. LNCS, vol. 6896, pp. 2–2. Springer, Berlin (2011)

    Chapter  Google Scholar 

  26. Kim, T.T.T., Ruhsam, C., Pucher, M.J., Kobler, M., Mendling, J.: Towards a pattern recognition approach for transferring knowledge in ACM. In: Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), pp. 134–138 (2014)

    Google Scholar 

  27. Kirsch-Pinheiro, M., Rychkova, I.: Dynamic context modeling for agile case management. In: Demey, Y., Panetto, H. (eds.) On the Move to Meaningful Internet Systems: OTM 2013 Workshops. LNCS, vol. 8186, pp. 144–154. Springer, Berlin (2013)

    Chapter  Google Scholar 

  28. Koehler, J., Tirenni, G., Kumaran, S.: From business process model to consistent implementation: a case for formal verification methods. In: Enterprise Distributed Object Computing Conference, 2002, EDOC ’02. Proceedings, pp. 96–106 (2002)

    Google Scholar 

  29. Koschmider, A., Oberweis, A.: Designing business processes with a recommendation-based editor. In: Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1. International Handbooks on Information Systems, pp. 299–312. Springer, Berlin (2010)

    Chapter  Google Scholar 

  30. van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: 2001. Proceedings. Fifth IEEE International Symposium on Requirements Engineering, pp. 249–262 (2001)

    Google Scholar 

  31. Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On formal semantics of statecharts as supported by statemate. In: Workshop, Ilkleym, vol. 14, p. 15 (1997)

    Google Scholar 

  32. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  33. Nurcan, S., Edme, M.H.: Intention-driven modeling for flexible workflow applications. Softw. Process: Improv. Pract. 10(4), 363–377 (2005)

    Article  Google Scholar 

  34. OMG: Case management process modeling (CMPM) request for proposal. http://www.omg.org/cgi-bin/doc?bmi/09-09-23 (2009)

  35. OMG: Business process model and notation (BPMN). http://www.omg.org/spec (2011)

  36. OMG: Case management model and notation. http://www.omg.org/spec/CMMN/1.0/PDF/ (2014). document number formal/2014-05-05

  37. Pesic, M., Schonenberg, H., van der Aalst, W.: Declare: full support for loosely-structured processes. In: Enterprise Distributed Object Computing Conference, 2007, EDOC 2007. 11th IEEE International, pp. 287–287. IEEE (2007)

    Google Scholar 

  38. Plotkin, G.: A structural approach to operational semantics (1981)

    Google Scholar 

  39. Poelmans, J., Elzinga, P., Viaene, S., Dedene, G.: Formal concept analysis in knowledge discovery: a survey. In: Conceptual Structures: From Information to Intelligence, pp. 139–153. Springer (2010)

    Google Scholar 

  40. Pohl, K., Weidenhaupt, K.: A contextual approach for process-integrated tools. In: Jazayeri, M., Schauer, H. (eds.) Software Engineering ESEC/FSE’97. LNCS, vol. 1301, pp. 176–192. Springer, Berlin (1997)

    Google Scholar 

  41. Pucher, M.: The elements of adaptive case management. In: Mastering the Unpredictable, pp. 89–134 (2010)

    Google Scholar 

  42. Reijers, H.A., Limam, S., Van Der Aalst, W.: Product-based workflow design. J. Manag. Inf. Syst. 20(1), 229–262 (2003)

    Article  Google Scholar 

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

    Article  Google Scholar 

  44. Rolland, C., Souveyet, C., Moreno, M.: An approach for defining ways-of-working. Information Systems 20(4), 337–359 (1995)

    Article  Google Scholar 

  45. Rosemann, M., van der Aalst, W.: A configurable reference modelling language. Inf. Syst. 32(1), 1–23 (2007)

    Article  Google Scholar 

  46. Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education (2004)

    Google Scholar 

  47. Rychkova, I.: Exploring the alloy operational semantics for case management process modeling. In: 2013 IEEE Seventh International Conference on Research Challenges in Information Science (RCIS), pp. 1–12 (2013)

    Google Scholar 

  48. Rychkova, I., Kirsch-Pinheiro, M., Le Grand, B.: Context-aware agile business process engine: foundations and architecture. In: Nurcan, S., Proper, H., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) Enterprise, Business-Process and Information Systems Modeling. Lecture Notes in Business Information Processing, vol. 147, pp. 32–47. Springer, Berlin Heidelberg (2013)

    Chapter  Google Scholar 

  49. Rychkova, I., Le Grand, B., Kirsch-Pinheiro, M.: Adaptive case management: supporting knowledge intensive processes with it systems. In: Fischer, L. (ed.) Empowering Knowledge Workers. BPM and Workflow Handbook Series. Future Strategies Inc. (2013)

    Google Scholar 

  50. Schonenberg, H., Weber, B., van Dongen, B., van der Aalst, W.: Supporting flexible processes through recommendations based on history. In: Dumas, M., Reichert, M., Shan, M.C. (eds.) Business Process Management. LNCS, vol. 5240, pp. 51–66. Springer, Berlin (2008)

    Chapter  Google Scholar 

  51. Soffer, P., Yehezkel, T.: A state-based context-aware declarative process model. In: Enterprise, Business-Process and Information Systems Modeling, pp. 148–162. Springer (2011)

    Google Scholar 

  52. Swenson, K.: Mastering The Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Do. Meghan-Kiffer Press (2010)

    Google Scholar 

  53. Swenson, K., Palmer, N., Manuel, A., Carlsen, S.: Empowering Knowledge Workers. BPM and Workflow Handbook Series. Future Strategies Inc. (2013)

    Google Scholar 

  54. Swenson, K., Palmer, N., Pucher, M., Manuel, A., Webster, C.: How Knowledge Workers Get Things Done. Future Strategies Inc. (2012)

    Google Scholar 

  55. Taylor, F.W.: The principles of scientific management. Harper (1914)

    Google Scholar 

  56. Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling software with finite state machines: a practical approach. CRC Press (2006)

    Google Scholar 

  57. Weske, M.: Business Process Management: Concepts, Languages, 2nd edn. Architectures. Springer, Berlin (2012)

    Book  Google Scholar 

  58. Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on. pp. 226–235. IEEE (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université Paris 1 Panthéon-Sorbonne, 12, Place du Panthéon, 75005, Paris, France

    Irina Rychkova, Bénédicte Le Grand & Carine Souveyet

Authors
  1. Irina Rychkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bénédicte Le Grand
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carine Souveyet
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Irina Rychkova .

Editor information

Editors and Affiliations

  1. Institute of Databases and Information Systems, University of Ulm, Ulm, Germany

    Gregor Grambow

  2. Faculty of Electronics and Computer Science, Aalen University, Aalen, Germany

    Roy Oberhauser

  3. Institute of Databases and Information Systems, University of Ulm, Ulm, Germany

    Manfred Reichert

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Rychkova, I., Le Grand, B., Souveyet, C. (2017). Towards Executable Specifications for Case Management Processes. In: Grambow, G., Oberhauser, R., Reichert, M. (eds) Advances in Intelligent Process-Aware Information Systems. Intelligent Systems Reference Library, vol 123. Springer, Cham. https://doi.org/10.1007/978-3-319-52181-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-52181-7_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-52179-4

  • Online ISBN: 978-3-319-52181-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation