claudioguidi's homepage

Jolie

2009-08-28T15:06:00.006+02:00

Jolie is a new programming language for developing distributed applications. It implements a new programming paradigm: the service oriented one. Jolie is based upon the formal framewrok proposed into my PhD thesis which is called SOCK. SOCK is a process calculus structured into three different layers: the behaviour layer, the engine layer and the service layer.

Jolie is an open source project and its intepreter is developed by Fabrizio Montesi. At this site it is possible to find all the information related to Jolie: Jolie site.

My PhD Thesis

2009-08-28T11:54:00.000+02:00

Formalizing Languages for Service Oriented Computing [pdf]
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.

Call for Papers: SOAP @ SAC 2010

2009-08-28T11:35:00.003+02:00

CALL FOR PAPERS

SOAP: Service Oriented Architectures and Programming Track

http://www.cs.unibo.it/projects/acmsac2010

25th Annual ACM Symposium on Applied Computing

Track on Service Oriented Architectures and Programming

Sierre, Switzerland

21- 26 March, 2010

http://www.acm.org/conferences/sac/sac2010

Other activities

2009-08-28T11:01:00.002+02:00

Chair Activity

SOAP track, ACM SAC 2010 [link]
SOAP track, ACM SAC 2009 [link]

Journal Reviews

ACM Transactions on The Web, October 2007

Talks

"JOLIE: a language for Service Oriented Computing. Concepts." , INRIA, Sophia Antipolis, 20 Nov 2009
"SOCK and Jolie: from the formal basis to a service oriented language" joint talk with Ivan Lanese at the workshop on Web Services, business processes and infrastructure, Imperial College, London 7-8 Feb 2008 [link]

Job Experiences

2009-08-28T10:56:00.001+02:00

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]

2008 I found italianaSoftware together with Fabrizio Montesi
2007-2009 I was involved as a consultant in project CYBERSAR at the CRS4 research center in Sardinia. [CRS4] [CYBERSAR]
2005-2008 Tutor in course of "Informatica Teorica", Prof. Gianluigi Zavattaro. University of Bologna.
2005-2006 Tutor in course of "Reti logiche", Prof. Michele Favalli. University of Bologna
2004-2005 Tutor in course of "Informatica teorica", Prof. Roberto Gorrieri. University of Bologna.
2003-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]

Publications

2009-08-28T10:26:00.004+02:00

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
"Dynamic Error Handling in Service Oriented Applications"
Claudio Guidi, Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
Fundamenta Informaticae, 30 pages, IOS Press, To be published, 2009.

Conferences and Workshops:

"Reasoning about Service Oriented Programming paradigm"
Claudio Guidi and Fabrizio Montesi
Electronic Proceedings in Theoretical computer science 2
YR-SOC 09, pages 67-81

"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).
pages 225-234, IEEE Computer Society, 2008.

"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. Pages 323-332, IEEE Computer Society, 2008.

"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.

"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]

"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.
[bibtex]

"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]

"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]

"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]

"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]

"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]

"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]

"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]

"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, 200
[pdf] [bibtex]

"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