Declarative Modelling and Safe Distribution of Healthcare Workflows

  • Thomas Hildebrandt
  • Raghava Rao Mukkamala
  • Tijs Slaats
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7151)


We present a formal technique for safe distribution of workflow processes described declaratively as nested Dynamic Condition Response (DCR) Graphs and apply the technique to a distributed healthcare workflow. Concretely, we provide a method to synthesize from a nested DCR Graph and any distribution of its atomic events a set of local process graphs communicating by shared events, such that the distributed execution of the local processes is equivalent to executing the original process. The technique extends our recent work on safe distribution of non-nested DCR Graphs applied to cross-organizational case management. The main contributions of the present paper is to adapt the technique to allow for nested processes and milestones and to apply it to a healthcare workflow identified in a previous field study at Danish hospitals. We also provide a new formalization of the semantics of DCR Graphs which highlights its declarative nature.


Business Process Atomic Activity Nest Activity Included Event Distribution Technique 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Bardram, J.E., Bunde-Pedersen, J., Doryab, A., Sørensen, S.: CLINICAL SURFACES – Activity-Based Computing for Distributed Multi-Display Environments in Hospitals. In: Gross, T., Gulliksen, J., Kotzé, P., Oestreicher, L., Palanque, P., Prates, R.O., Winckler, M. (eds.) INTERACT 2009. LNCS, vol. 5727, pp. 704–717. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Bardram, J.E., Bunde-Pedersen, J., Soegaard, M.: Support for activity-based computing in a personal computing operating system. In: CHI 2006: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 211–220. ACM Press, New York (2006)CrossRefGoogle Scholar
  4. 4.
    Bravetti, M., Zavattaro, G.: Contract Based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207–222. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Bravetti, M., Zavattaro, G.: A theory of contracts for strong service compliance. Mathematical. Structures in Comp. Sci. 19, 601–638 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Castellani, I., Mukund, M., Thiagarajan, P.: Synthesizing Distributed Transition Systems from Global Specifications. In: Pandu Rangan, C., Raman, V., Sarukkai, S. (eds.) FST TCS 1999. LNCS, vol. 1738, pp. 219–231. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  8. 8.
    Chesani, F., De Matteis, P., Mello, P., Montali, M., Storari, S.: A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. In: Esposito, F., Raś, Z., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 338–343. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Chesani, F., Lamma, E., Mello, P., Montali, M., Storari, S., Baldazzi, P., Manfredi, M.: Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends. In: Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic. IOS Press (2008)Google Scholar
  10. 10.
    Chesani, F., Mello, P., Montali, M., Storari, S.: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol. 4594, pp. 479–488. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Fahland, D.: Towards analyzing declarative workflows. In: Autonomous and Adaptive Web Services (2007)Google Scholar
  12. 12.
    Fdhila, W., Godart, C.: Toward synchronization between decentralized orchestrations of composite web services. In: CollaborateCom 2009, pp. 1–10 (2009)Google Scholar
  13. 13.
    Fdhila, W., Yildiz, U., Godart, C.: A flexible approach for automatic process decentralization using dependency tables. In: International Conference on Web Services (2009)Google Scholar
  14. 14.
    Fu, X., Bultan, T., Su, J.: Realizability of conversation protocols with message contents. In: Proceedings of the IEEE International Conference on Web Services, ICWS 2004, pp. 96–103. IEEE Computer Society, Washington, DC (2004)Google Scholar
  15. 15.
    Heljanko, K., Stefanescu, A.: Complexity results for checking distributed implementability. In: Proceedings of the Fifth International Conference on Application of Concurrency to System Design, pp. 78–87 (2005)Google Scholar
  16. 16.
    Hildebrandt, T.: Trustworthy pervasive healthcare processes (TrustCare) research project (2008),
  17. 17.
    Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Post Proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2010 (2011)Google Scholar
  18. 18.
    Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Declarative modelling and safe distribution of healthcare workflows. In: International Symposium on Foundations of Health Information Engineering and Systems, Johannesburg, South Africa (August 2011)Google Scholar
  19. 19.
    Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Designing a cross-organizational case management system using dynamic condition response graphs. In: Proceedings of IEEE International EDOC Conference (2011) (to appear)Google Scholar
  20. 20.
    Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Proceedings of Fundamentals of Software Engineering (FSEN) (April 2011) (to appear)Google Scholar
  21. 21.
    Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Safe Distribution of Declarative Processes. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 237–252. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  22. 22.
    International symposium on foundations of health information engineering and systems (August 2011)Google Scholar
  23. 23.
    Rahmanzadeh, A., Fox, J., Johns, N.: Disseminating medical knowledge: the proforma approach. Artificial Intelligence in Medicine 14, 157–182 (1998)CrossRefGoogle Scholar
  24. 24.
    Khalaf, R., Leymann, F.: Role-based decomposition of business processes using BPEL. In: International Conference on Web Services, ICWS 2006, pp. 770–780 (September 2006)Google Scholar
  25. 25.
    Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM 2000. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  26. 26.
    Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From paper based clinical practice guidelines to declarative workflow management. In: Proceedings of 2nd International Workshop on Process-oriented Information Systems in Healthcare (ProHealth 2008), pp. 36–43, Milan, Italy (2008); BPM 2008 WorkshopsGoogle Scholar
  27. 27.
    Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  28. 28.
    Milosevic, Z., Sadiq, S., Orlowska, M.: Towards a Methodology for Deriving Contract-Compliant Business Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 395–400. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  29. 29.
    Mitra, S., Kumar, R., Basu, S.: Optimum decentralized choreography for web services composition. In: Proceedings of the IEEE International Conference on Services Computing, vol. 2 (2008)Google Scholar
  30. 30.
    Montali, M.: Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. LNBIP, vol. 56. Springer (2010)Google Scholar
  31. 31.
    Mukkamala, R.R., Hildebrandt, T., Tøth, J.B.: The resultmaker online consultant: From declarative workflow management in practice to LTL. In: Proceeding of DDBP (2008)Google Scholar
  32. 32.
    Mukund, M.: From global specifications to distributed implementations. In: Synthesis and Control of Discrete Event Systems. Springer (2002)Google Scholar
  33. 33.
    Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 335–346. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  34. 34.
    Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite web services. SIGPLAN Not. 39, 170–187 (2004)CrossRefGoogle Scholar
  35. 35.
    Object Management Group BPMN Technical Committee. Business Process Model and Notation, version 2.0 (January 2011),
  36. 36.
    Rinderle, S., Wombacher, A., Reichert, M.: Evolution of Process Choreographies in DYCHOR. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 273–290. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  37. 37.
    Robertson, D.: A Lightweight Coordination Calculus for Agent Systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 183–197. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  38. 38.
    Sadiq, W., Sadiq, S., Schulz, K.: Model driven distribution of collaborative business processes. In: IEEE International Conference on Services Computing, SCC 2006, pp. 281–284 (September 2006)Google Scholar
  39. 39.
    van Glabbeek, R., Stork, D.: Query Nets: Interacting Workflow Modules That Ensure Global Termination. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 184–199. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  40. 40.
    Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Correndo, G.: The glare approach to clinical guideline: Main features. In: Symposium on Computerized Guidelines and Protocols, vol. 101, pp. 62–66 (April 2004)Google Scholar
  41. 41.
    van der Aalst, W.M.P.: Interorganizational workflows: An approach based on message sequence charts and petri nets. Systems Analysis - Modelling - Simulation 34(3), 335–367 (1999)zbMATHGoogle Scholar
  42. 42.
    van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal 53(1), 90–106 (2010)CrossRefGoogle Scholar
  43. 43.
    van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2), 99–113 (2009)CrossRefGoogle Scholar
  44. 44.
    van der Aalst, W.M.P., Pesic, M.: A declarative approach for flexible business processes management. In: Proceedings DPM 2006. LNCS, Springer, Heidelberg (2006)Google Scholar
  45. 45.
    van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  46. 46.
    van der Aalst, W.M.P.: Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management 4, 345–389 (2003)CrossRefGoogle Scholar
  47. 47.
    Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)Google Scholar
  48. 48.
    Wodtke, D., Weikum, G.: A Formal Foundation for Distributed Workflow Execution Based on State Charts. In: Proceedings of the 6th International Conference on Database Theory, pp. 230–246. Springer, London (1997)Google Scholar
  49. 49.
    Yi, X., Kochut, K.J.: Process composition of web services with complex conversation protocols. In: Design, Analysis, and Simulation of Distributed Systems Symposium at Adavanced Simulation Technology (2004)Google Scholar
  50. 50.
    Zielonka, W.: Notes on finite asynchronous automata. Informatique Thorique et Applications 21(2), 99–135 (1987)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Thomas Hildebrandt
    • 1
  • Raghava Rao Mukkamala
    • 1
  • Tijs Slaats
    • 1
    • 2
  1. 1.IT University of CopenhagenCopenhagenDenmark
  2. 2.Exformatics A/SCopenhagenDenmark

Personalised recommendations