| Formalizing Languages for Service
Oriented Computing (Ph.D. Thesis) |
| Guidi, C. |
| March 2007 |
|
ncstrl.cabernet//BOLOGNA#UBLCS-2007-07 |
 346 pages |
|
| 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. |
|
| Copyright: Department of Computer
Science, University of Bologna, Italy. All rights reserved. |
|
|
|
