JSW 2007 Vol.2(1): 1-13 ISSN: 1796-217X
doi: 10.4304/jsw.2.1.1-13
doi: 10.4304/jsw.2.1.1-13
Formalizing mobility in Service Oriented Computing
Claudio Guidi1, Roberto Lucchi2
1Department of Computer Science, Universit`a degli Studi di Bologna,
Mura Anteo Zamboni 7, I-40127 Bologna, Italy
2European 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 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.
Index Terms—Service oriented computing, mobility mechanisms, formal methods, Web services
2European 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 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.
Index Terms—Service oriented computing, mobility mechanisms, formal methods, Web services
Cite: Claudio Guidi, Roberto Lucchi, " Formalizing mobility in Service Oriented Computing," Journal of Software vol. 2, no. 1, pp. 1-13, 2007.
PREVIOUS PAPER
First page
NEXT PAPER
Building Dependable and Secure Web Services
General Information
ISSN: 1796-217X (Online)
Frequency: Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKI, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
-
Apr 26, 2021 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Nov 18, 2021 News!
Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP [Click]
-
Dec 24, 2021 News!
Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec) [Click]
-
Nov 02, 2023 News!
Vol 18, No 4 has been published with online version [Click]
-
Dec 06, 2019 News!
Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec) [Click]