doi: 10.4304/jsw.2.1.1-13
Formalizing mobility in Service Oriented Computing
- 1 Department of Computer Science, Universit`a degli Studi di Bologna, Mura Anteo Zamboni 7, I-40127 Bologna, Italy
- 2 European Commission, DG Joint Research Centre, Institute for Environment and Sustainability, Spatial Data Infrastructures Unit, T.P. 262, I-21020 Ispra (VA), Italy
Abstract
The usual scenario of service oriented systems ischaracterized by several services offering the same functionalities,by new services that are continuosly deployed andby other ones that are removed. In this context it can beuseful to dynamically discover and compose services at runtime.Orchestration languages provide a mean to deal withservice composition, while the problem of fulfilling at runtimethe information about the involved services is usuallyreferred to as open-endedness. When designing service-basedapplications both composition and open endedness play acentral role. Such issues are strongly related to mobilitymechanisms which make it possible to design applicationsthat acquire, during the execution, the information whichare necessary to invoke services. In this paper we discussthe forms of mobility for the service oriented computingparadigm. To this end we model a service by means of thenotions of interface, location, internal process and internalstate, then we formalize a calculus supporting the mobilityof each element listed above. We conclude by tracing acomparison between the proposed calculus and the mobilitymechanisms supported by the Web Services technology.
Keywords
- Service oriented computing
- mobility mec
How to Cite
Claudio Guidi and Roberto Lucchi, "Formalizing mobility in Service Oriented Computing," Journal of Software, vol. 2, no. 1, pp. 1-13, 2007. https://doi.org/ 10.4304/jsw.2.1.1-13
Copyright & License
Copyright © 2007 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).