Safe distribution of declarative processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7041 LNCS, Issue , 2011, Pages 237-252

  Hildebrandt, Thomas ^a   Mukkamala, Raghava Rao ^a   Slaats, Tijs ^a,b  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b Exformatics A S   (Denmark)

Author keywords

cross organizational workflow; declarative processes; distributed synthesis; formal specification; process composition

Indexed keywords

CASE MANAGEMENT; CROSS-ORGANIZATIONAL WORKFLOW; DECLARATIVE PROCESSES; DYNAMIC CONDITION; EVENT STRUCTURES; EXECUTION MODEL; FORMAL SPECIFICATION; OPERATIONAL SEMANTICS; PROCESS GRAPHS; PROCESS MODEL; SYSTEMS MODELS; TRANSITION SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES; GRAPHIC METHODS; MANAGEMENT; SEMANTICS; SPECIFICATIONS;

FORMAL METHODS;

EID: 81055124347     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24690-6_17     Document Type: Conference Paper

References (50)

1. van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140-156. Springer, Heidelberg (2001)
2. Bravetti, M., Tennenholtz,M.: Contract BasedMulti-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207-222. Springer, Heidelberg (2007)
3. Bravetti,M., Zavattaro, G.: A theory of contracts for strong service compliance. Mathematical. Structures in Comp. Sci. 19, 601-638 (2009)
4. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming forWeb Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2-17. Springer, Heidelberg (2007) (Pubitemid 350262657)
5. 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)
6. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32(3), 3-9 (2009)
7. Das, S., Kochut, K.,Miller, J., Sheth, A.,Worah, D.: Orbwork: A reliable distributed corbabased workflow enactment system for meteor2. Technical report, The University of Georgia (1996)
8. Fahland, D.: Towards analyzing declarative workflows. In: Autonomous and Adaptive Web Services (2007)
9. Fdhila, W., Godart, C.: Toward synchronization between decentralized orchestrations of composite web services. In: CollaborateCom 2009, pp. 1-10 (2009)
10. Fdhila, W., Yildiz, U., Godart, C.: A flexible approach for automatic process decentralization using dependency tables. In: International Conference on Web Services (2009)
11. 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, p. 96. IEEE Computer Society, Washington, DC, USA (2004)
12. 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)
13. Hildebrandt, T.: Trustworthy pervasive healthcare processes (TrustCare) research project. Webpage (2008), http://www.trustcare.dk/
14. Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Post-proceedings of PLACES 2010 (2010)
15. Hildebrandt, T., Mukkamala, R.R.: Distributed dynamic condition response structures. In: Pre-proceedings of InternationalWorkshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) (March 2010)
16. 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 (to appear, 2011), http://www.itu.dk/people/rao/pubs accepted/dcrscasestudy-edoc11.pdf
17. Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Proceedings of Fundamentals of Software Engineering (FSEN) (to appear, April 2011)
18. Hildebrandt, T., Sassone, V.: Comparing transition systems with independence and asynchronous transition systems. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 84-97. Springer, Heidelberg (1996) (Pubitemid 126117756)
19. 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)
20. 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. LNCS, vol. 1806, pp. 235-253. Springer, Heidelberg (2000)
21. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005)
22. 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) (Pubitemid 44568342)
23. Mitra, S., Kumar, R., Basu, S.: Optimum decentralized choreography for web services composition. In: Proceedings of the 2008 IEEE International Conference on Services Computing, vol. 2 (2008)
24. Mohan, C., Agrawal, D., Alonso, G., El Abbadi, A., Guenthoer, R., Kamath, M.: Exotica: a project on advanced transaction management and workflow systems. SIGOIS Bull. 16, 45-50 (1995)
25. Montali, M.: Specification and Verification of Declarative Open InteractionModels. LNBIP, vol. 56. Springer, Heidelberg (2010)
26. Mukkamala, R.R., Hildebrandt, T.: From dynamic condition response structures to büchi automata. In: Proceedings of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010) (August 2010)
27. Mukund, M.: From global specifications to distributed implementations. In: Synthesis and Control of Discrete Event Systems. Springer, Heidelberg (2002)
28. Mukund, M., Nielsen,M.: Ccs, locations and asynchronous transition systems. In: Shyamasundar, R. (ed.) FSTTCS 1992. LNCS, vol. 652, pp. 328-341. Springer, Heidelberg (1992)
29. Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite web services. SIGPLAN Not. 39, 170-187 (2004)
30. OASIS WSBPEL Technical Committee. Web Services Business Process Execution Language, version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel- v2.0-OS.pdf
31. Paul, S., Park, E., Chaar, J.: Rainman: a workflow system for the internet. In: Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems (1997)
32. Ranno, F., Shrivastava, S.K.: A review of distributed workflow management systems. In: Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration (1999)
33. Reichert, M.U., Bauer, T., Dadam, P.: Flexibility for distributed workflows. In: Handbook of Research on Complex Dynamic Process Management: Techniques for Adaptability in Turbulent Environments, pp. 137-171. IGI Global, Hershey (2009)
34. Reichert,M., Bauer, T.: Supporting Ad-Hoc Changes in DistributedWorkflowManagement Systems. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 150-168. Springer, Heidelberg (2007)
35. 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)
36. Sadiq, W., Sadiq, S., Schulz, K.: Model driven distribution of collaborative business processes. In: IEEE International Conference on Services Computing, 2006. SCC 2006, pp. 281-284 (September 2006)
37. Sassone, V., Nielsen, M., Winskel, G.: A classification of models for concurrency. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 82-96. Springer, Heidelberg (1993)
38. Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: Towards a classification. Theoretical Computer Science 170, 297-348 (1996)
39. Wheater, S.M., Shrivastava, S.K., Ranno, F.: A corba compliant transactional workflow system for internet applications. In: Proc. of IFIP Intl. Conference on Distributed Systems Platforms and Open Distributed Processing, Middleware 1998, pp. 1-85233. Springer, Heidelberg (1998)
40. ter Hofstede, A., 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) (Pubitemid 36767874)
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)
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)
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)
44. van der Aalst, W.M.P., Pesic, M.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
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-FM2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
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)
47. Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)
48. Wodtke, D.,Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 230-246. Springer, Heidelberg (1996) (Pubitemid 127013756)
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)
50. Zielonka, W.: Notes on finite asynchronous automata. Informatique Théorique et Applications 21(2), 99-135 (1987)