Mobility mechanisms in service oriented computing

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

Volumn 4037 LNCS, Issue , 2006, Pages 233-250

  Guidi, Claudio ^a   Lucchi, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; FORMAL LANGUAGES; INTERFACES (COMPUTER); TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

ORCHESTRATION LANGUAGES; SERVICE ORIENTED COMPUTING; WEB SERVICES;

COMPUTER SCIENCE;

EID: 33746191954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_18     Document Type: Conference Paper

References (18)

1. Apache. Axis (Java2WSDL), [http://ws.apache.org/axis/index.html].
2. Apache, Axis (WSDL2Java). [http://ws.apache.org/axis/index.html].
3. A. Barros and E. Borger. A compositional framework for service interaction patterns and interaction flows. In Proc. of International conference on formal engineering methods (ICFM 2005), LNCS, pages 5-35, Springer Verlag, 2005.
4. A, Barros, M. Dumas, and A. H.M. ter Hofstede. Service interaction patterns: Towards a reference framework for service-based business process interconnection. Tech. Report FIT-TR-2005-02, Faculty of information Technology, Queensland University of technology, Brisbane, Australia, March 2005.
5. L. Bocchi, C. Laneve, and G. Zavattaro. A Calculus for Long-Running Transactions. In FMOODS, volume 2884 of LNCS, pages 124-138. Springer Verlag, 2003.
6. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, and Gianluigi Zavattaro. Choreography and orchestration conformance for system design. In Proc. of 8th International conference on Coordination Models and Languages (Coordination 2006), To appear.
7. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, and Gianluigi Zavattaro. Choreography and orchestration: A synergic approach for system design. In ICSOC, pages 228-240, 2005.
8. Remco Dijkman and Marlon Dumas. Service-oriented Design: a Multi-viewpoint Approach. Int. J. Cooperative Inf. Syst., 13(4):337-368, 2004.
9. F. Leymann. Web Services Flow Language (WSFL 1.0). [http://www-4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf], Member IBM Academy of Technology, IBM Software Group, 2001.
10. R. Lucchi and M. Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming. Elsevier Press. To appear.
11. J. Misra and W. Cook. Computation orchestration. Software and Systems modeling. To appear.
12. OASIS. Web Services Business Process Execution Language Version 2.0, Working Draft. [http://www.oasis-open.org/committees/download.php/10347/wsbpel- specification-draft-120204.htm].
13. Sun microsystems. Java Web Services Developer Pack, [http://java.sun.com/ webservices/downloads/webservicespack.html]
14. S. Thatte. XLANG: Web Services for Business Process Design. [http:// www.gotdotnet.com/team/xml.wsspecs/xlang-c/default.htm], Microsoft Corporation, 2001.
15. W3C member submission 10 august, 2004. Web Services Addressing, [http:// www.w3.org/submission/ws-addressing/].
16. World Wide Web Consortium. SOAP Version 1.2 Part 1: Messaging Framework. [http://www.w3.org/TR/soap12-part1/].
17. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Working draft 17 December 2004. [http://www.w3.org/TR/2004/ WD-ws-cdl-10-20041217/].
18. World Wide Web Consortium. Web Services Description Language (WSDL) 1.1. [http://www.w3.org/TR/wsdl].