Mobility Mechanisms in Service Oriented Computing Export

@incollection{citeulike:2278788, 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.}, author = {Guidi, Claudio and Lucchi, Roberto}, citeulike-article-id = {2278788}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11768869_18}, comment = {Three categories of mobility, .., location mobility, interface mobility.}, doi = {10.1007/11768869_18}, journal = {Formal Methods for Open Object-Based Distributed Systems}, keywords = {bpel, channel-passing, mobile-process, mobility, webservice}, pages = {233--250}, posted-at = {2008-01-23 03:54:15}, priority = {0}, title = {Mobility Mechanisms in Service Oriented Computing}, url = {http://dx.doi.org/10.1007/11768869_18}, year = {2006} }

TY - CHAP ID - citeulike:2278788 L3 - citeulike-article-id:2278788 N2 - 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. JF - Formal Methods for Open Object-Based Distributed Systems EP - 250 TI - Mobility Mechanisms in Service Oriented Computing SP - 233 KW - bpel KW - channel-passing KW - mobile-process KW - mobility KW - webservice N1 - Three categories of mobility, .., location mobility, interface mobility. AU - Guidi, Claudio AU - Lucchi, Roberto PY - 2006/// UR - http://dx.doi.org/10.1007/11768869_18 ER -