{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:25Z","timestamp":1774915525048,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642323546","type":"print"},{"value":"9783642323553","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32355-3_3","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T10:36:41Z","timestamp":1342003001000},"page":"39-56","source":"Crossref","is-referenced-by-count":15,"title":["Declarative Modelling and Safe Distribution of Healthcare Workflows"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Hildebrandt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raghava Rao","family":"Mukkamala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45341-5_10","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2001","unstructured":"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.\u00a02068, pp. 140\u2013156. Springer, Heidelberg (2001)"},{"key":"3_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1007\/978-3-642-03658-3_76","volume-title":"Human-Computer Interaction \u2013 INTERACT 2009","author":"J.E. Bardram","year":"2009","unstructured":"Bardram, J.E., Bunde-Pedersen, J., Doryab, A., S\u00f8rensen, S.: CLINICAL SURFACES \u2013 Activity-Based Computing for Distributed Multi-Display Environments in Hospitals. In: Gross, T., Gulliksen, J., Kotz\u00e9, P., Oestreicher, L., Palanque, P., Prates, R.O., Winckler, M. (eds.) INTERACT 2009. LNCS, vol.\u00a05727, pp. 704\u2013717. Springer, Heidelberg (2009)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1124772.1124805","volume-title":"CHI 2006: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems","author":"J.E. Bardram","year":"2006","unstructured":"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\u2013220. ACM Press, New York (2006)"},{"key":"3_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-75698-9_14","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Contract Based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 207\u2013222. Springer, Heidelberg (2007)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1017\/S0960129509007658","volume":"19","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: A theory of contracts for strong service compliance. Mathematical. Structures in Comp. Sci.\u00a019, 601\u2013638 (2009)","journal-title":"Mathematical. Structures in Comp. Sci."},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"3_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-46691-6_17","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"I. Castellani","year":"1999","unstructured":"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.\u00a01738, pp. 219\u2013231. Springer, Heidelberg (1999)"},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/11875604_39","volume-title":"Foundations of Intelligent Systems","author":"F. Chesani","year":"2006","unstructured":"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\u015b, Z., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol.\u00a04203, pp. 338\u2013343. Springer, Heidelberg (2006)"},{"key":"3_CR9","unstructured":"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)"},{"key":"3_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-73599-1_64","volume-title":"Artificial Intelligence in Medicine","author":"F. Chesani","year":"2007","unstructured":"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.\u00a04594, pp. 479\u2013488. Springer, Heidelberg (2007)"},{"key":"3_CR11","unstructured":"Fahland, D.: Towards analyzing declarative workflows. In: Autonomous and Adaptive Web Services (2007)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Fdhila, W., Godart, C.: Toward synchronization between decentralized orchestrations of composite web services. In: CollaborateCom 2009, pp. 1\u201310 (2009)","DOI":"10.4108\/ICST.COLLABORATECOM2009.8275"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Fdhila, W., Yildiz, U., Godart, C.: A flexible approach for automatic process decentralization using dependency tables. In: International Conference on Web Services (2009)","DOI":"10.1109\/ICWS.2009.41"},{"key":"3_CR14","first-page":"96","volume-title":"Proceedings of the IEEE International Conference on Web Services, ICWS 2004","author":"X. Fu","year":"2004","unstructured":"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\u2013103. IEEE Computer Society, Washington, DC (2004)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"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\u201387 (2005)","DOI":"10.1109\/ACSD.2005.7"},{"key":"3_CR16","unstructured":"Hildebrandt, T.: Trustworthy pervasive healthcare processes (TrustCare) research project (2008), http:\/\/www.trustcare.dk\/"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.4204\/EPTCS.69.5"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-32355-3_3"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/EDOC.2011.35"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Proceedings of Fundamentals of Software Engineering (FSEN) (April 2011) (to appear)","DOI":"10.1007\/978-3-642-29320-7_23"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-24690-6_17","volume-title":"Software Engineering and Formal Methods","author":"T. Hildebrandt","year":"2011","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Safe Distribution of Declarative Processes. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 237\u2013252. Springer, Heidelberg (2011)"},{"key":"3_CR22","unstructured":"International symposium on foundations of health information engineering and systems (August 2011)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0933-3657(98)00021-9","volume":"14","author":"A. Rahmanzadeh","year":"1998","unstructured":"Rahmanzadeh, A., Fox, J., Johns, N.: Disseminating medical knowledge: the proforma approach. Artificial Intelligence in Medicine\u00a014, 157\u2013182 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Khalaf, R., Leymann, F.: Role-based decomposition of business processes using BPEL. In: International Conference on Web Services, ICWS 2006, pp. 770\u2013780 (September 2006)","DOI":"10.1109\/ICWS.2006.56"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45594-9_15","volume-title":"Business Process Management","author":"E. Kindler","year":"2000","unstructured":"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.\u00a01806, pp. 235\u2013253. Springer, Heidelberg (2000)"},{"key":"3_CR26","unstructured":"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\u201343, Milan, Italy (2008); BPM 2008 Workshops"},{"key":"3_CR27","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"3_CR28","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/11841760_29","volume-title":"Business Process Management","author":"Z. Milosevic","year":"2006","unstructured":"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.\u00a04102, pp. 395\u2013400. Springer, Heidelberg (2006)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Mitra, S., Kumar, R., Basu, S.: Optimum decentralized choreography for web services composition. In: Proceedings of the IEEE International Conference on Services Computing, vol.\u00a02 (2008)","DOI":"10.1109\/SCC.2008.82"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. LNBIP, vol.\u00a056. Springer (2010)","DOI":"10.1007\/978-3-642-14538-4"},{"key":"3_CR31","unstructured":"Mukkamala, R.R., Hildebrandt, T., T\u00f8th, J.B.: The resultmaker online consultant: From declarative workflow management in practice to LTL. In: Proceeding of DDBP (2008)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Mukund, M.: From global specifications to distributed implementations. In: Synthesis and Control of Discrete Event Systems. Springer (2002)","DOI":"10.1007\/978-1-4757-6656-1_2"},{"key":"3_CR33","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-78238-4_35","volume-title":"Business Process Management Workshops","author":"N. Mulyar","year":"2008","unstructured":"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.\u00a04928, pp. 335\u2013346. Springer, Heidelberg (2008)"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/1035292.1028991","volume":"39","author":"M.G. Nanda","year":"2004","unstructured":"Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite web services. SIGPLAN Not.\u00a039, 170\u2013187 (2004)","journal-title":"SIGPLAN Not."},{"key":"3_CR35","unstructured":"Object Management Group BPMN Technical Committee. Business Process Model and Notation, version 2.0 (January 2011), http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"3_CR36","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11914853_17","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"S. Rinderle","year":"2006","unstructured":"Rinderle, S., Wombacher, A., Reichert, M.: Evolution of Process Choreographies in DYCHOR. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 273\u2013290. Springer, Heidelberg (2006)"},{"key":"3_CR37","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11493402_11","volume-title":"Declarative Agent Languages and Technologies II","author":"D. Robertson","year":"2005","unstructured":"Robertson, D.: A Lightweight Coordination Calculus for Agent Systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 183\u2013197. Springer, Heidelberg (2005)"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Sadiq, W., Sadiq, S., Schulz, K.: Model driven distribution of collaborative business processes. In: IEEE International Conference on Services Computing, SCC 2006, pp. 281\u2013284 (September 2006)","DOI":"10.1109\/SCC.2006.71"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-44895-0_13","volume-title":"Business Process Management","author":"R. Glabbeek van","year":"2003","unstructured":"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.\u00a02678, pp. 184\u2013199. Springer, Heidelberg (2003)"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"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.\u00a0101, pp. 62\u201366 (April 2004)","DOI":"10.3233\/978-1-60750-944-8-162"},{"issue":"3","key":"3_CR41","first-page":"335","volume":"34","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Interorganizational workflows: An approach based on message sequence charts and petri nets. Systems Analysis - Modelling - Simulation\u00a034(3), 335\u2013367 (1999)","journal-title":"Systems Analysis - Modelling - Simulation"},{"issue":"1","key":"3_CR42","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P. Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal\u00a053(1), 90\u2013106 (2010)","journal-title":"The Computer Journal"},{"issue":"2","key":"3_CR43","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D\u00a023(2), 99\u2013113 (2009)","journal-title":"Computer Science - R&D"},{"key":"3_CR44","series-title":"LNCS","volume-title":"Proceedings DPM 2006","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: A declarative approach for flexible business processes management. In: Proceedings DPM 2006. LNCS, Springer, Heidelberg (2006)"},{"key":"3_CR45","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"3_CR46","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1025182201690","volume":"4","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P.: Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management\u00a04, 345\u2013389 (2003)","journal-title":"Information Technology and Management"},{"key":"3_CR47","series-title":"LNCS","first-page":"325","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"},{"key":"3_CR48","first-page":"230","volume-title":"Proceedings of the 6th International Conference on Database Theory","author":"D. Wodtke","year":"1997","unstructured":"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\u2013246. Springer, London (1997)"},{"key":"3_CR49","unstructured":"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)"},{"issue":"2","key":"3_CR50","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on finite asynchronous automata. Informatique Thorique et Applications\u00a021(2), 99\u2013135 (1987)","journal-title":"Informatique Thorique et Applications"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Informatics Engineering and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32355-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T21:21:17Z","timestamp":1743715277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32355-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642323546","9783642323553"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32355-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}