Formalizing mobility in service oriented computing

Journal of Software

Volumn 2, Issue 1, 2007, Pages 1-13

  Guidi, Claudio ^a   Lucchi, Roberto ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b JOINT RESEARCH CENTRE   (Italy)

Author keywords

Formal methods; Mobility mechanisms; Service oriented computing; Web services

Indexed keywords

DESIGN APPLICATIONS; INTERNAL STATE; NEW SERVICES; RUNTIMES; SERVICE COMPOSITIONS; SERVICE ORIENTED COMPUTING; SERVICE ORIENTED COMPUTING PARADIGM; SERVICE ORIENTED SYSTEMS; SERVICE-BASED; WEB SERVICES TECHNOLOGIES;

CALCULATIONS; FORMAL METHODS; WEB SERVICES; WEBSITES;

INTERFACE STATES;

EID: 62249182907     PISSN: 1796217X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jsw.2.1.1-13     Document Type: Article

References (21)

1. Web Services Business Process Execution Language Version 2.0, Working Draft, OASIS, [http://www.oasisopen. org/committees/download.php/10347/wsbpelspecification-draft-120204.htm].
2. S. Thatte, "XLANG: Web Services for Business Process Design, "[http://www.gotdotnet.com/team/xml wsspecs/xlangc/ default.htm], Microsoft Corporation, 2001.
3. 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.
4. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, "Choreography and orchestration: A synergic approach for system design. " in ICSOC, ser. LNCS, vol. 3826, 2005, pp. 228-240.
5. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, "Choreography and orchestration conformance for system design, " in Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION' 06), ser. LNCS, vol. 4038, 2006, pp. 63-81.
6. A. Barros, M. Dumas, and A. H. 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.
7. 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), ser. LNCS. Springer Verlag, 2005, pp. 5-35.
8. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, "Formalizing web services choreographies, " in Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004), ser. ENTCS, M. Bravetti and G. Zavattaro, Eds., vol. 105. Elsevier, 2004.
9. Web Services Description Language (WSDL) 1.1, World Wide Web Consortium, [http://www.w3.org/TR/wsdl].
10. SOAP Version 1.2 Part 1: Messaging Framework, World Wide Web Consortium, [http://www.w3.org/TR/soap12-part1/].
11. UDDI-Universal Description, Discovery and Integration of Web Services, Oasis, [http://www.uddi.org/specification.html].
12. Web Services Choreography Description Language Version 1.0. Working draft 17 December 2004, World Wide Web Consortium, [http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/].
13. Web Services Addressing, W3C member submission 10 august, 2004, [http://www.w3.org/submission/wsaddressing/].
14. Axis (WSDL2Java), Apache, [http://ws.apache.org/axis/index.html].
15. Axis (Java2WSDL), Apache, [http://ws.apache.org/axis/index.html].
16. Java Web Services Developer Pack, Sun microsystems, [http://java.sun.com/webservices/ downloads/webservicespack.html].
17. R. Lucchi and M. Mazzara, "A pi-calculus based semantics for WS-BPEL, " Journal of Logic and Algebraic Programming, vol. 70 issue 1 Web services and formal methods, pp. 96-118, January 2007.
18. J. Misra and W. Cook, "Computation orchestration, a basis for wide-area computing, " Journal of Software and Systems modeling, to appear.
19. J. Misra and W. R. Cook, "Computation orchestration: A basis for wide-area computing, " Journal of Software and Systems Modeling, 2006, to appear. A preliminary version of this paper appeared in the Lecture Notes for NATO summer school, held at Marktoberdorf in August 2004.
20. L. Bocchi, C. Laneve, and G. Zavattaro, "A Calculus for Long-Running Transactions, " in FMOODS, ser. LNCS, vol. 2884. Springer Verlag, 2003, pp. 124-138.
21. R. Dijkman and M. Dumas, "Service-oriented Design: a Multi-viewpoint Approach, " Int. J. Cooperative Inf. Syst., vol. 13, no. 4, pp. 337-368, 2004.