Analysis of realizability conditions for Web service choreographies

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

Volumn 4229 LNCS, Issue , 2006, Pages 61-76

  Kazhamiakin, Raman ^a   Pistore, Marco ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SUPPORTED COOPERATIVE WORK; INFORMATION DISSEMINATION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; FORMAL METHODS; INFORMATION THEORY; SOCIAL NETWORKING (ONLINE); SPECIFICATIONS; WEBSITES;

CHOREOGRAPHY MODELLING; COMMUNICATION MODELS; PROTOCOL SPECIFICATION; WEB SERVICE CHOREOGRAPHY; ARBITRARY COMMUNICATION; BUSINESS GOALS; FORMAL FRAMEWORK; PROTOCOL SPECIFICATIONS; REALIZABILITY CONDITIONS; SYNCHRONOUS/ASYNCHRONOUS;

WORLD WIDE WEB; WEB SERVICES;

EID: 33750567497     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_5     Document Type: Conference Paper

References (13)

1. Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services (version 1.1) (2003)
2. OMG: Business Process Modeling Language (BPML). (2005) [http://www.bpmi.org].
3. W3C: Web Services Choreography Description Language Version 1.0. (2005) [http://www.w3.org/TR/ws-cdl-10/].
4. Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of Communication Models in Web Service Compositions. In: Proc. WWW'06. (2006)
5. Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328 (2004) 19-37
6. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Proc. ICSOC'05. (2005)
7. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. WWW'04. (2004)
8. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30 (1983) 323-342
9. Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proc. ICWS '06. (2006)
10. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Services Choreographies. In: Proc. WS-FM'04. (2004)
11. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: Proc. AICT-ICIW'06. (2006)
12. Mendling, J., Hafner, M.: From Inter-Organizational Workflows to Process Execution: Generating BPEL from WS-CDL. In: Proc. OTM'05. (2005)
13. Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e-commerce systems formalization with choreography languages. In: Proc. SAC '05. (2005)