Bridging the gap between interaction-and process-oriented choreographies

Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008

Volumn , Issue , 2008, Pages 323-332

  Lanese, Ivan ^a   Guidi, Claudio ^a   Montesi, Fabrizio ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; FLOW INTERACTIONS; SEMANTIC WEB; SOFTWARE ENGINEERING;

ASYNCHRONOUS COMMUNICATIONS; MULTI-PARTY SERVICES; PROCESS-ORIENTED; SERVICE-ORIENTED COMPUTING;

FORMAL METHODS;

EID: 58049133540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2008.11     Document Type: Conference Paper

References (10)

1. [BGG+05] N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration: A synergic approach for system design. In Proc. of ICSOC'05, volume 3826 of LNCS, pages 228-240. Springer, 2005.
2. [BGG+06] N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration conformance for system design. In Proc. of Coordination'06, volume 4038 of LNCS, pages 63-81. Springer, 2006.
3. [BZ07] M, Bravetti and G. Zavattaro, Towards a unifying theory for choreography conformance and contract compliance. In Proc. of SC'07, volume 4829 of LNCS, pages 34-50. Springer, 2007.
4. [CHY07] M. Carbone, K. Honda, and N. Yoshida. Structured communication-centred programming for web services. In Proc. of ESOP'07, volume 4421 of LNCS, pages 2-17. Springer, 2007.
5. [DKLW07] C. Decker, O. Kopp, F. Leymann, and M. Weske, Bpel4chor: Extending bpel for modeling choreograplues. In Proc. of ICWS'07, pages 296-303. IEEE Computer Society Press, 2007.
6. [Hoa85] C.A.R. Hoare, Communicating Sequential Processes. Prentice-Hall, 1985.
7. [HYC08] K. Honda, N. Yoshida, and M. Carbone. Multiparty asynchronous session types. In Proc. of POPL'08, pages 273-284. ACM Press, 2008.
8. [Mil89] R. Milner. Communication and Concurrency. Prentice Hall, 1989.
9. [OAS] OASIS. Web Services Business Process Execution Language Version 2.0 OASIS Standard. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS .pdf.
10. [Wor] World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. http://www.w3.org/TR/ws-cdl-10/.