|
Redirecting to the new homepage... |
|
Claudio Guidi's Home Page |
|
(in Italian only)
- Cesena:
- Tutor di Informatica Teorica A.A. 2007/08 Prof. Gianluigi Zavattaro.
Argomento: Scanning and Parsing
Orario di ricevimento martedě 11:00-12:00 studio 16, Cesena.
- Materiale lezione del 19/10/07 a questo link.
- Materiale progetto a questo link.
Data consegna elaborato, terza sessione: 19/10/08
- Tutor di Informatica Teorica A.A. 2006/07 Prof. Gianluigi Zavattaro.
Argomento: Scanning and Parsing
Orario di ricevimento martedě 11:00-12:00 studio 16, Cesena.
- Materiale progetto a questo link.
- Tutor di Informatica Teorica A.A. 2005/06 Prof. Gianluigi Zavattaro.
Argomento: Scanning and Parsing
Orario di ricevimento martedě 11:00-12:00 studio 16, Cesena.
- Materiale progetto a questo link.
- Tutor di Informatica Teorica A.A. 2004/05 Prof. Roberto Gorrieri.
Argomento: Linguaggi Formali
I compiti del 2005 sono ancora disponibili a questo
link.
- Bologna:
- Tutor di Architetture A.A. 2005/06
Prof. Michele Favalli, Prof. Ruben Scardovelli
Argometo: Reti Logiche
Orario di ricevimento Lunedě 15:00-16:00 Laboratorio A.
|
|
| Service Oriented Computing (SOC) is a programming paradigm for distributed systems
and Web Services are the most credited technology which deals with it. There are a lot
of researchers which investigate a lot of different aspects of Service Oriented Computing.
In particular, I am interested in choreography and orchestration conformance to
the end of the system design. In my PhD Thesis I have exploited formal methods for
addressing both choreography and orchestration and I have proposed a design style approach,
called bipolar approach, for dealing with service systems design.
|
What is choreography?
If services can be intended as players of a football team the choreography can be considered
as the game strategies.
|
|
What is orchestration?
An orchestrator is a particular service which interacts with the others
in order to fulfill the activities expressed by the choreography. In the soccer example the coach can be seen
as an orchestrator. In complex systems more than one orchestrators can exist. For instance, it is possible
to consider the goalkeeper as the orchestrator of the defense line.
|
|
|
What is bipolar approach?
Bipolar approach is a new design approach for service oriented system application. It exploits
both the choreography view and the orchestration one in a synergic way for giving a powerful support
to the human designer. In particular, it is based upon a formal framework composed of two calculi,
the choreography and the orchestration one. Both languages are equipped with a formal semantics
which are related by a notion, called conformance, that is a sort of bisimulation between
their labelled transition systems. The idea the bipolar approach is based upon is that
a difficult thing in orchestration is an easy thing in choreography and vice versa.
In order to give the intuition we can trace a comparison with signal analysis.
A signal can be processed in the time domain or in the frequency one and the Fourier transform
allows for the change from one domain to the other one. It is well known that some things are easy in
the frequency domain (e.g. filter design) and other things are easy in the time domain (e.g. signal sampling).
In the same way, orchestration and choreography languages supply different domains
for representing composed systems whereas the conformance relation plays the role of the
Fourier transform. Such a kind of framework could be exploited as it follows: a first coarse
system can be designed as a choreography from which it is possible to extract a conformant
orchestrated system skeleton that, subsequently, can be enhanced by adding other services
or by enriching the behaviour of the existing ones. Afterward, it is possible to rebuild a
conformant choreography from the previous system and then adjust or enhance it for introducing
more details; then, from the new choreography it will be possible to come back to the orchestrated
system and so on.
|
|
At the present, in Cesena, we are developing JOLIE (Java Orchestration Language Interpreter Engine)
which is a Java interpreter for a subpart of our orchestrationb language SOCK.
The JOLIE language resemble the C one and supplies an easy way for designing orchestrators and services.
It is released as an LGPL project. If you want to contribute click on the eyes.
|
|
|
Journals
- "Formalizing Mobility in Service Oriented Computing"
Claudio Guidi and Roberto Lucchi
Journal of Software (JSW), Academy Publisher. Volume 2 Issue 1:1-13, February 2007
[pdf]
[bibtex]
[abstract]
|
Conferences and Workshops
- "Dynamic fault handling mechanisms for service-oriented applications"
Fabrizio Montesi, Claudio Guidi, Ivan Lanese and Gianluigi Zavattaro
In Proc. of 6th IEEE European Conference on Web Services (ECOWS 2008).
To appear.
[pdf]
[bibtex]
[abstract]
|
- "Bridging the gap between Interaction- and Process-Oriented Choreographies"
Ivan Lanese, Claudio Guidi, Fabrizio Montesi and Gianluigi Zavattaro
In Proc. of 6th IEEE International Conferences on Software Engineering and Formal Methods.
To appear.
[pdf]
[bibtex]
[abstract]
|
- "On the Interplay Between Fault Handling and Request-Response"
Claudio Guidi, Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
In Proc. of 8th International Conference on Application of Concurrency to System Design (ACSD 2008).
pages 190-199, IEEE Computer Society, 2008.
[pdf]
[bibtex]
[abstract]
|
- "Replicating Web Services for Scalability"
Mario Bravetti, Stephen Gilmore, Claudio Guidi and Mirco Tribastone
In Proc. of Trustworthy Global Computing (TGC 2007).
Volume 4912 of LNCS, pages 204-221, 2007.
[pdf]
[bibtex]
[abstract]
|
- "Composing services with JOLIE"
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
In Proc. of 5th IEEE European Conference on Web Services (ECOWS 2007).
pages 13-22.
[pdf]
[bibtex]
[abstract]
|
- "SOCK: a calculus for service oriented computing"
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
In Proc. of 4th International Conference on Service Oriented Computing (ICSOC 2006).
Volume 4294 of LNCS, pages 327-338, 2006.
[pdf]
[bibtex]
[abstract]
|
- "JOLIE: a Java Orchestration Language Intepreter Engine"
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro
Electronic Notes in Theoretical Computer Science, Volume 181, 27 June 2007, Pages 19-33
[pdf]
[bibtex]
[abstract]
|
- "Choreography and Orchestration conformance for system design"
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
and Gianluigi Zavattaro
In Proc. of 8th International Conference on Coordination Models and Languages
(COORDINATION'06).
Volume 4038 of LNCS, pages 63-81, 2006.
[pdf]
[bibtex]
[abstract]
|
- "Mobility mechanisms in Service Oriented Computing"
Claudio Guidi and Roberto Lucchi
In Proc. of 8th International Conference on on
Formal Methods for Open Object-Based Distributed Systems
(FMOODS06). Volume 4037 of LNCS pages 233-250, 2006.
[pdf]
[bibtex]
[abstract]
|
- "Choreography and Orchestration: a synergic approach for system design"
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
In Proc. of 3rd International Conference on Service Oriented Computing (ICSOC 2005).
Volume 3826 of LNCS, pages 228-240, 2005.
[pdf}
[bibtex]
[abstract]
|
- "Reasoning about interaction patterns in Choreography"
R. Gorrieri, C. Guidi and R. Lucchi
In Proc. of 2nd International Workshop on Web Services and Formal Methods (WS-FM '05).
Volume 3070 of LNCS, pages 333-348. 2005
[pdf}
[bibtex]
[abstract]
|
- "Towards a formal framework for Choreography"
N. Busi, R. Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro
In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2005),
IEEE Computer Society Press. WETICE 2005, pages 107-112.
[pdf]
[bibtex]
[abstract]
|
- "Supporting e-commerce systems formalization with choreography languages"
M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro.
In Proc. of ACM Symposium on Applied Computing (SAC'05), ACM Press, 2005.
[pdf]
[bibtex]
[abstract]
|
- "A Formal Framework for Web Services Coordination"
Claudio Guidi, Roberto Lucchi and Manuel Mazzara
In Proc. of 3rd International Workshop on
Foundations of Coordination Languages and Software Architectures (FOCLASA'04)
Electronic Notes in Theoretical Computer Science, Volume 180, Issue 2, 26 June 2007, Pages 55-70
[pdf][bibtex]
[abstract]
|
|
|
- "Formalizing Languages for Service Oriented Computing"
Claudio Guidi
PhD Thesis, Department of computer Science, University of Bologna, 2007
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.
[pdf]
|
|
|
- At the present
- I am involved in UE project SENSORIA at the University of Bologna, where I'm working on the formalization of Service
oriented paradigm [Dep. of Computer Science in Bologna][SENSORIA]
- I am involved in project CYBERSAR at the CRS4 research center in Sardinia.
[CRS4]
[CYBERSAR]
- 2003-3/2007 PhD studies.
- 2002-2003 I worked at CISA s.p.a. as electronic engineer in Research and Development area
, smart card lock products.
- In 2001 I worked at the Radioastronomy Institute of the CNR of Bologna (Medicina Radiotelescope labs) where
I was involved within the SRT (Sardinia Radio Telescope) project.
[Radioastronomy Institute of Bologna]
[Medicina Radiotelescope]
[SRT]
|
|
|
PC Memberships
- IADIS International Conference e-Commerce 9-11 December, Barcelona, Spain, 2006 [link]
|
Journal Reviews
- ACM Transactions on The Web, October 2007
|
Talks
- "SOCK and Jolie: from the formal basis to a service oriented language" joined talk with Ivan Lanese
at the workshop on Web Services, business processes and infrastructure, Imperial College, London 7-8 Feb 2008
[link]
|
|