Non-desynchronizable service choreographies

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

Volumn 5364 LNCS, Issue , 2008, Pages 331-346

  Decker, Gero ^a   Barros, Alistair ^b   Kraft, Frank Michael ^c   Lohmann, Niels ^d  

^a UNIVERSITY OF POTSDAM   (Germany)

^b CEC Brisbane   (Australia)

^c SAP RESEARCH   (Germany)

^d UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BUSINESS TO BUSINESS INTEGRATION; GLOBAL PERSPECTIVE; INTERACTION BEHAVIOR; MESSAGE EXCHANGE; MESSAGE SENDING; ORDERING CONSTRAINTS; PRECISE DEFINITION; SERVICE CHOREOGRAPHIES;

PETRI NETS;

EID: 58049107320     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89652-4_26     Document Type: Conference Paper

References (21)

1. Curbera, F., Leymann, F., Storey, T., Ferguson. D., Weerawarana, S.: Web Services Platform Architecture: SOAP. WSDL, WS-Policy, WS-Addressing. WS-BPEL, WS-Reliable Messaging and More. Prentice Hall PTR, Englewood Cliffs (2005)
2. Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation. Technical report (2005), http://www.w3.org/TR/ws-cdl-10
3. Decker, G., Barros, A.: Interaction Modeling using BPMN. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 208-219. Springer, Heidelberg (2008)
4. Decker, G., Weske, M.: Local enforceability in Interaction Petri Nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305-319. Springer, Heidelberg (2007)
5. Reisig, W.: Petri Nets. Springer, Heidelberg (1985)
6. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555-000 (1996)
7. Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and analysis of reactive electronic services. Theor. Comput. Sci. 328(1-2). 19-37 (2004)
8. Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen. M., Simpson, D. (eds.) TCATPN 2000. LNCS, vol. 1825, pp. 465-474. Springer, Heidelberg (2000)
9. Dolev, S.: Self-stabilization. MIT Press, Cambridge (2000)
10. Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.H.M.: Let's Dance: A language for service behavior modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS. vol. 4275, pp. 145-162. Springer, Heidelberg (2006)
11. Quartel, D., Dijkman, R., van Sinderen, M.: Methodological support for service-oriented design with ISDL. In: Proc. ICSOC 2004, pp. 1-10. ACM, New York (2004)
12. Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 1-16. Springer, Heidelberg (2008)
13. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228-240. Springer, Heidelberg (2005)
14. Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005)
15. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. WWW 2004, pp. 621-630. ACM, New York (2004)
16. Canal, C., Pimentel, E., Troya, J.M.: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2), 105-138 (2001)
17. Puhlmann, F., Weske, M.: Interaction soundness for service orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 302-313. Springer, Heidelberg (2006)
18. Lohmann, N.: Correcting deadlocking service choreographies using a simulation-based graph edit distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 132-247. Springer, Heidelberg (2008)
19. Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among web services. IEEE Trans. Softw. Eng. 31(12), 1042-1055 (2005)
20. Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)
21. OMG: Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification. Technical report, Object Management Group, OMG (2006)