Abstract
The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and other ones that are removed. In this case it can be useful to discover and compose services dynamically at run-time. Orchestration languages provide a mean to deal with service composition, while the problem of fulfilling at run-time the information about the involved services is usually referred to as open-endedness. When designing service-based applications both composition and open endedness play a central role. Such issues are strongly related to mobility mechanisms which make it possible to design applications where services acquire during the execution the necessary information to invoke services. In this paper we discuss the mobility mechanisms for the service oriented computing paradigm. To this end we model a service by means of the notions of interface, location, process and internal state, then we formalize a calculus supporting a specific form of mobility for each of them. We conclude by comparing mobility mechanisms of our calculus with the ones supported by the Web Services technology.
Research partially funded by EU Integrated Project Sensoria, contract n. 016004.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-34895-5_20
Chapter PDF
References
Apache. Axis (Java2WSDL), http://ws.apache.org/axis/index.html
Apache. Axis (WSDL2Java), http://ws.apache.org/axis/index.html
Barros, A., Borger, E.: A compositional framework for service interaction patterns and interaction flows. In: Proc. of International conference on formal engineering methods (ICFM 2005). LNCS, pp. 5–35. Springer, Heidelberg (2005)
Barros, A., Dumas, M., ter Hofstede, A.H.M.: 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)
Bocchi, L., Laneve, C., Zavattaro, G.: A Calculus for Long-Running Transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Proc. of 8th International conference on Coordination Models and Languages (Coordination 2006) (To appear, 2006)
Zavattaro, G., Gorrieri, R., Busi, N., Guidi, C., Lucchi, R.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)
Dijkman, R., Dumas, M.: Service-oriented Design: a Multi-viewpoint Approach. Int. J. Cooperative Inf. Syst. 13(4), 337–368 (2004)
Leymann. F.: Web Services Flow Language (WSFL 1.0). Member IBM Academy of Technology, IBM Software Group (2001), http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, Elsevier Press, Amsterdam (to appear)
Misra, J., Cook, W.: Computation orchestration. Software and Systems modeling (to appear)
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
Sun microsystems. Java Web Services Developer Pack, http://java.sun.com/webservices/downloads/webservicespack.html
Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft Corporation (2001), http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm
W3C member submission 10 (August 2004), Web Services Addressing, http://www.w3.org/submission/ws-addressing/
World Wide Web Consortium. SOAP Version 1.2 Part 1: Messaging Framework, http://www.w3.org/TR/soap12-part1/
World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Working draft (December 17, 2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/
World Wide Web Consortium. Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/wsdl
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Guidi, C., Lucchi, R. (2006). Mobility Mechanisms in Service Oriented Computing. In: Gorrieri, R., Wehrheim, H. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2006. Lecture Notes in Computer Science, vol 4037. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11768869_18
Download citation
DOI: https://doi.org/10.1007/11768869_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34893-1
Online ISBN: 978-3-540-34895-5
eBook Packages: Computer ScienceComputer Science (R0)