Choreography conformance analysis: Asynchronous communications and information alignment

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

Volumn 4184 LNCS, Issue , 2006, Pages 227-241

  Kazhamiakin, Raman ^a   Pistore, Marco ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; TELECOMMUNICATION SERVICES;

ASYNCHRONOUS COMMUNICATIONS; CHOREOGRAPHY CONFORMANCE; CHOREOGRAPHY LANGUAGES; WEB SERVICE;

WORLD WIDE WEB;

EID: 33845220517     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_15     Document Type: Conference Paper

References (18)

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. W3C Candidate Recommendation 9 November 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. Dijkman, R.M., Dumas, M.: Service-Oriented Design: A Multi-Viewpoint Approach. Int. J. Cooperative Inf. Syst. 13(4) (2004) 337-368
6. Guerin, F., Pitt, J.: Verification and compliance testing. In: Communication in Multiagent Systems. (2003) 98-112
7. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Proc. ICSOC'05. (2005)
8. Graf, S., Saidi, H.: Construction of abstract state graph with PVS. In: Proc. CAV'97. (1997)
9. Chaki, S., Clarke, E., Groce, A., Ouaknine, J., Strichman, O., Yorav, K.: Efficient verification of sequential and concurrent C programs. In: Proc. FMSD'04. (2004)
10. 20 States and Beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press (1990)
11. Clarke, E., Emerson, E., Sistla, A.: Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2) (1986)
12. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the Conformance of Web Services to Global Interaction Protocols: a First Step. In: Proc. EPEW/WS-FM. (2005)
13. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: Proc. AICT-ICIW'06. (2006)
14. van der Aalst, W.M., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. Technical report, BPM Center Report BPM-05-25 (2005)
15. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Services Choreographies. In: Proc. WS-FM'04. (2004) ENTCS.
16. Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e-commerce systems formalization with choreography languages. In: Proc. SAC '05. (2005)
17. Carbone, M., Honda, K., Yoshida, N.: A theoretical basis of communication-centred concurrent programming (2005) [http://lists.w3.org/ Archives/Public/public-ws-chor/2005Nov/att-0015/part1_Nov25.pdf].
18. Fu, X., Bultan, T., Su, J.: Synchronizability of Conversations among Web Services. IEEE Transactions on Software Engineering 31(12) (2005) 1042-1055