Multiparty contracts: Agreeing and implementing interorganizational processes

Computer Journal

Volumn 53, Issue 1, 2010, Pages 90-106

  Van Der Aalst, Wil M P ^a   Lohmann, Niels ^b   Massuthe, Peter ^a,c   Stahl, Christian ^a,c   Wolf, Karsten ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Operating guidelines; Petri nets; Service contracts

Indexed keywords

INTERORGANIZATIONAL PROCESS; OPERATING GUIDELINES; PROCESS-ORIENTED; RULES OF ENGAGEMENTS; SERVICE CONTRACT;

GRAPH THEORY; MAINTENANCE; PETRI NETS;

CONTRACTS;

EID: 77649289639     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxn064     Document Type: Article

References (54)

1. Papazoglou, M.P. (2001) Agent-oriented technology in support of e-business. Commun. ACM, 44, 71-77.
2. Papazoglou, M.P. (2007) Web Services: Principles and Technology. Prentice Hall, Essex.
3. Aalst, W.M.P.v.d. (2003) Inheritance of interorganizational workows: how to agree to disagree without loosing control? Inf. Technol. Manage. J., 4, 345-389.
4. Aalst, W.M.P.v.d. and Weske, M. (2001) The P2P Approach to Interorganizational Workflows. Proc. CAiSE'01, Interlaken, Switzerland, August 12-14, Lecture Notes in Computer Science, Vol.2068, pp. 140-156. Springer, Heidelberg.
5. Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y. and Barreto, C. (2005) Web Services Choreography Description Language Version 1.0. W3C Candidate Recommendation, 9 November. W3C, Cambridge, MA, USA.
6. Zaha, J.M., Barros, A.P., Dumas, M. and ter Hofstede, A.H.M. (2006) Let's Dance: A Language for Service Behavior Modeling. Proc. OTM Confederated Int. Conf., Part I, Montpellier, France, October 29 -November 3, Lecture Notes in Computer Science, Vol.4275, pp. 145-162. Springer, Heidelberg.
7. Decker, G., Kopp, O., Leymann, F. and Weske, M. (2007) BPEL4Chor: Extending BPEL for Modeling Choreographies. Proc. ICWS 2007, Salt Lake City, UT, USA, July 9-13, pp. 296-303. IEEE Computer Society Press.
8. Massuthe, P., Reisig, W. and Schmidt, K. (2005) An operating guideline approach to the SOA. Ann. Math. Comput. Teleinf., 1, 35-43.
9. Reisig, W. (1985) Petri Nets, In EATCS Monographs on Theoretical Computer Science. Springer, Berlin, Heidelberg, New York.
10. Lohmann, N., Massuthe, P. and Wolf, K. (2007) Operating Guidelines for Finite-state Services. Proc. of ICATPN 2007, Siedlce, Poland, June 25-29, Lecture Notes in Computer Science, Vol.4546, pp. 321-341. Springer, Heidelberg.
11. Alves, A. et al. (2007) Web Services Business Process Execution Language Version 2.0. OASIS Standard, 11 April. OASIS, Billerica, MA, USA.
12. Aalst, W.M.P.v.d. (1998) The application of Petri nets to workflow management. J. Circuits Syst. Comput., 8, 21-66.
13. Kindler, E. (1997) A Compositional Partial Order Semantics for Petri Net Components. Proc. ICATPN 1997, Toulouse, France, June 23-27, Lecture Notes in Computer Science, Vol.1248, pp. 235-252. Springer, Heidelberg.
14. Aalst, W.M.P.v.d. and Basten, T. (2002) Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci., 270, 125-203.
15. Basten, T. and Aalst, W.M.P.v.d. (2001) Inheritance of behavior. J. Log. Algebr. Program., 47, 47-145.
16. Massuthe, P. and Schmidt, K. (2005) Operating Guidelines- An Automata-theoretic Foundation for the Service-oriented Architecture. Proc. QSIC 2005, Melbourne, Australia, September 19-20, pp. 452-457. IEEE Computer Society Press.
17. Wombacher, A., Fankhauser, P., Mahleko, B. and Neuhold, E.J. (2004) Matchmaking for business processes based on choreographies. Int. J. Web Serv. Res., 1, 14-32.
18. Glabbeek, R.J.v. (2001) The Linear Time-Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes. In Bergstra, J., Ponse, A. and Smolka, S. (eds), Handbook of Process Algebra, Chapter 1, pp. 3-99. Elsevier, Amsterdam, The Netherlands.
19. Massuthe, P. and Wolf, K. (2007) An algorithm for matching non-deterministic services with operating guidelines. Int. J. Bus. Process Integr. Manage., 2, 81-90.
20. Lohmann, N., Massuthe, P., Stahl, C. and Weinberg, D. (2006) Analyzing Interacting BPEL Processes. Proc. BPM 2006, Vienna, Austria, September 5-7, Lecture Notes in Computer Science, Vol.4102, pp. 17-32. Springer, Heidelberg.
21. Lohmann, N. (2008) A Feature-complete Petri Net Semantics for WS-BPEL 2.0. Proc. WS-FM 2007, Brisbane, Australia, September 28-29, Lecture Notes in Computer Science, Vol.4937, pp. 77-91. Springer, Heidelberg.
22. Lohmann, N., Massuthe, P., Stahl, C. and Weinberg, D. (2008) Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng., 64, 38-54.
23. Aalst, W.M.P.v.d., Lohmann, N., Massuthe, P., Stahl, C. and Wolf, K. (2007) From Public Views to Private Views- Correctness-by-design for Services. Proc. WS-FM 2007, Brisbane, Australia, September 28-29, Lecture Notes in Computer Science, Vol.4937, pp. 139-153. Springer, Heidelberg.
24. Martens, A. (2005) Analyzing Web Service based Business Processes. In Cerioli, M. (ed.), Proc. FASE 2005, Edinburgh, UK, April 4-8, Lecture Notes in Computer Science, Vol.3442, pp. 19-33. Springer, Heidelberg.
25. Vogler, W. (1992) Modular Construction and Partial Order Semantics of Petri Nets, Lecture Notes in Computer Science, Vol.625. Springer, Berlin.
26. Bonchi, F., Brogi, A., Corfini, S. and Gadducci, F. (2007) A Behavioural Congruence for Web Services. Proc. FSEN 2007, Tehran, Iran, April 17-19, Lecture Notes in Computer Science, Vol.4767, pp. 240-256. Springer, Heidelberg.
27. Bravetti, M. and Zavattaro, G. (2007) Contract based Multi-party Service Composition. Proc. FSEN 2007, Tehran, Iran, April 17-19, Lecture Notes in Computer Science, Vol.4767, pp. 207-222. Springer, Heidelberg.
28. Rensink, A. and Vogler, W. (2007) Fair testing. Inf. Comput., 205, 125-198.
29. Bravetti, M. and Zavattaro, G. (2007) A Theory for Strong Service Compliance. Proc. COORDINATION 2007, Paphos, Cyprus, June 6-8, Lecture Notes in Computer Science, Vol.4467, pp. 96-112. Springer, Heidelberg.
30. Castagna, G., Gesbert, N. and Padovani, L. (2008) A Theory of Contracts for Web Services. Proc POPL 2008, San Francisco, CA, USA, January 7-12, pp. 261-272. ACM Press.
31. Laneve, C. and Padovani, L. (2007) The must Preorder Revisited. In Caires, L. and Vasconcelos, V.T. (eds), Proc. CONCUR 2007, Lisbon, Portugal, September 3-8, Lecture Notes in Computer Science, Vol.4703, pp. 212-225. Springer, Heidelberg.
32. Nicola, R.D. and Hennessy, M. (1984) Testing equivalences for processes. Theor. Comput. Sci., 34, 83-133.
33. Bruda, S.D. (2004) Preorder Relations. In Broy, M., Jonsson, B., Katoen, J.P., Leucker, M. and Pretschner, A. (eds), Model-based Testing of Reactive Systems, Dagstuhl, Germany, January, Lecture Notes in Computer Science, Vol.3472, pp. 117-149. Springer, Heidelberg.
34. Fournet, C., Hoare, C.A.R., Rajamani, S.K. and Rehof, J. (2004) Stuck-free Conformance. Proc. CAV 2004, Boston, MA, USA, July 13-17, Lecture Notes in Computer Science, Vol.3114, pp. 242-254. Springer, Heidelberg.
35. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J. and Xie, Y. (2004) Zing: A Model Checker for Concurrent Software. Proc. CAV 2004, Boston, MA, USA, July 137-17, Lecture Notes in Computer Science, Vol.3114, pp. 484-487. Springer, Heidelberg.
36. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2005) Choreography and Orchestration: A Synergic Approach for System Design. Proc. ICSOC 2005, Amsterdam, The Netherlands, December 12-15, Lecture Notes in Computer Science, Vol.3826, pp. 228-240. Springer, Heidelberg.
37. Bordeaux, L., Salaüun, G., Berardi, D. and Mecella, M. (2004) When are Two Web Services Compatible? Proc. TES 2004, Toronto, Canada, August 29-30, Lecture Notes in Computer Science, Vol.3324, pp. 15-28. Springer, Heidelberg.
38. Beyer, D., Chakrabarti, A. and Henzinger, T. (2005) Web Service Interfaces. Proc. WWW 2005, Chiba, Japan, May 10-14, pp. 148-159. ACM Press.
39. Benatallah, B., Casati, F. and Toumani, F. (2006) Representing, analysing and managing Web service protocols. Data Knowl. Eng., 58, 327-357.
40. Kang, M., Froscher, J., Sheth, A., Kochut, K. and Miller, J. (1999) A Multilevel Secure Workflow Management System. Proc. CAiSE 1999, Heidelberg, Germany, June 14-18, Lecture Notes in Computer Science, Vol.1626, pp. 271-285. Springer, Heidelberg.
41. Sharygina, N., Chaki, S., Clarke, E. and Sinha, N. (2005) Dynamic Component Substitutability Analysis. Proc. FM 2005, Newcastle, UK, July 18-22, Lecture Notes in Computer Science, Vol.3582, pp. 512-528. Springer, Heidelberg.
42. Lohmann, N., Kopp, O., Leymann, F. and Reisig, W. (2007) Analyzing BPEL4Chor: Verification and Participant Synthesis. Proc. WS-FM 2007, Brisbane, Australia, September 28-29 Lecture Notes in Computer Science, pp. 46-60. Springer, Heidelberg.
43. Schmidt, K. (2000) LoLA: A Low Level Analyser. Proc. ICATPN 2000, Aarhus, Denmark, June 26-30, Lecture Notes in Computer Science, Vol.1825, pp. 465-474. Springer, Heidelberg.
44. Lohmann, N. (2008) Why does my Service have no Partners? Proc. WS-FM 2008, Milan, Italy, September 4-5 Lecture Notes in Computer Science. Springer, Heidelberg. To appear.
45. Lohmann, N. (2008) Correcting Deadlocking Service Choreographies using a Simulation-based Graph Edit Distance. Proc. BPM 2008, Milan, Italy, September 1-4, Lecture Notes in Computer Science, Vol.5240, pp. 132-147. Springer, Heidelberg.
46. König, D., Lohmann, N., Moser, S., Stahl, C. and Wolf, K. (2008) Extending the Compatibility Notion for Abstract WS-BPEL Processes. Proc. WWW 2008, Beijing, China, April 21-25, pp. 785-794. ACM Press.
47. Jensen, K. (1997) Coloured Petri Nets (2nd edn). In EATCS Monographs on Theoretical Computer Science. Vol.1-3. Springer, Berlin, Heidelberg, New York.
48. Cousot, P. and Cousot, R. (1977) Abstract Interpretation: A unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Proc. POPL 1977, Los Angeles, CA, USA, January, pp. 238-252. ACM Press, New York, NY.
49. Andonoff, E., Bouzguenda, L. and Hanachi, C. (2005) Specifying Web Workflow Services for finding Partners in the Context of Loose Inter-organizational workflow. In van der Aalst, W.M.P., Benatallah, B., Casati, F. and Curbera, F. (eds), Proc. BPM 2005, Nancy, France, September 5-8, Lecture Notes in Computer Science, Vol.3649, pp. 120-136. Springer, Heidelberg.
50. Sibertin-Blanc, C. (2001) CoOperative Objects: Principles, Use and Implementation. Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science, Vol.2001, pp. 216-246. Springer, Heidelberg, Germany.
51. The OWL Services Coalition (2003). OWL-S: semantic markup for web services. http://www.daml.org/ services.
52. Desai, N., Chopra, A.K. and Singh, M.P. (2007) Representing and Reasoning about Commitments in Business Processes. Proc. AAAI 2007, Vancouver, British Columbia, Canada, July 22-26, pp. 1328-1333. AAAI Press.
53. Clarke, E.M., Grumberg, O. and Peled, D.A. (2000) Model Checking. MIT Press, Cambridge, MA.
54. Nielson, F., Nielson, H.R. and Hankin, C. (2005) Principles of Program Analysis (2nd edn). Springer, Berlin.