Formalizing languages for Service Oriented Computing release_qogqqa6ua5fd5b2qbfirupjcne

by Claudio Guidi, Ozalp Babao, Roberto Gorrieri

Released as a article-journal .

2007  

Abstract

Campioni del mondo! Campioni del mondo! Campioni del mondo! (Nando Martellini, 1982) "L'ultima volta che raccolsi una sfida mi ripromisi di non farlo mai pí u. Non sono ancora riuscito a mantenere quella promessa." (Anonimo) iii Abstract Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-business and e-science are some examples of the IT areas where Service Oriented Computing will be exploited in the next years. At present, the most credited Service Oriented Computing technology is that of Web Services, whose specifications are enriched day by day by industrial consortia without following a precise and rigorous approach. This PhD thesis aims, on the one hand, at modelling Service Oriented Computing in a formal way in order to precisely define the main concepts it is based upon and, on the other hand, at defining a new approach, called bipolar approach, for addressing system design issues by synergically exploiting choreography and orchestration languages related by means of a mathematical relation called conformance. Choreography allows us to describe systems of services from a global view point whereas orchestration supplies a means for addressing such an issue from a local perspective. In this work we present SOCK, a process algebra based language inspired by the Web Service orchestration language WS-BPEL which catches the essentials of Service Oriented Computing. From the definition of SOCK we will able to define a general model for dealing with Service Oriented Computing where services and systems of services are related to the design of finite state automata and process algebra concurrent systems, respectively. Furthermore, we introduce a formal language for dealing with choreography. Such a language is equipped with a formal semantics and it forms, together with a subset of the SOCK calculus, the bipolar framework. Finally, we present JOLIE which is a Java implentation of a subset of the SOCK calculus and it is part of the bipolar framework we intend to promote. iv Acknowledgements This Ph.D. thesis is the final result of three years of graduate studies which represent for me a beautiful life experience and a very interesting professional growing. During this period there was the difficult moments and the beautiful ones and it will take a lot of time to me for appreciating and understanding all the things I lived. First of all, I would like to thank my friend and colleague Roberto Lucchi who shared with me difficult moments and enthusiastic scientific discussions. This work would not have been possible without him. A special thanks goes to my supervisor Prof. Roberto Gorrieri who gave me very valuable comments and suggestions with his experience in coordination models. I also thank him for the travel opportunities and the possibility he gave me to participate within the EU integrated Project SENSORIA (contract n. 016004) which partially funded this work of thesis.
In text/plain format

Archived Files and Locations

application/pdf  2.3 MB
file_qhin7l2gizeydgvcq4k334smoi
web.archive.org (webarchive)
amsdottorato.unibo.it (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   unknown
Year   2007
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 690ba014-98af-4acf-94c8-9406d29fcd37
API URL: JSON