An official website of the European Union How do you know?      
European Commission logo
JRC Publications Repository Menu

Formalizing Mobility in Service Oriented Computing

cover
The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by other ones that are removed. In this context it can be useful to dynamically discover and compose services at runtime. Orchestration languages provide a mean to deal with service composition, while the problem of fulfilling at runtime 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 that acquire, during the execution, the information which are necessary to invoke services. In this paper we discuss the forms of mobility for the service oriented computing paradigm. To this end we model a service by means of the notions of interface, location, internal process and internal state, then we formalize a calculus supporting the mobility of each element listed above. We conclude by tracing a comparison between the proposed calculus and the mobility mechanisms supported by the Web Services technology.
2007-06-28
Academy Publisher
JRC36606
Language Citation
NameCountryCityType
Datasets
IDTitlePublic URL
Dataset collections
IDAcronymTitlePublic URL
Scripts / source codes
DescriptionPublic URL
Additional supporting files
File nameDescriptionFile type 
Show metadata record  Copy citation url to clipboard  Download BibTeX
Items published in the JRC Publications Repository are protected by copyright, with all rights reserved, unless otherwise indicated. Additional information: https://ec.europa.eu/info/legal-notice_en#copyright-notice