|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools Forum |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
| Organisation: |
University of Málaga (Spain)
|
|---|---|
| Functionality: |
Generating service wrapper protocols
|
| Tools used: |
CADP (Construction and Analysis of Distributed Processes)
Compositor Scrutator |
| Period: |
2008
|
| Description: |
Service-oriented computing is an approach to designing and implementing
software applications that interact by exchanging messages. A global
definition of the service is given in a choreography, from which an
orchestrator and a set of wrappers can be generated. Wrappers are then
distributed to the various machines that provide the services used in
the system. The challenge is to generate wrappers automatically, so that
a service-oriented application can be deployed and maintained in a
distributed system.
The choreography and service interface specifications, written in XML, are converted by the DCompositor tool to a LOTOS specification and a set of SVL scripts. The LOTOS specification and SVL scripts are then converted by Scrutator into BCG (or AUT) definitions for the orchestrator and service wrappers. This approach was validated on many examples. Correctness was demonstrating using the equivalence checking tools provided in CADP. |
| Conclusions: |
DCompositor, in conjunction with tools from CADP, can be used to
automatically generate wrapper protocols from a behavioural description
of a service and an abstract specification of the choreography. Future
work is likely to extend the tool to support other choreography
languages.
|
| Publications: |
[Salaun-08]
Gwen Salaün.
"Generation of Service Wrapper Protocols from Choreography Specifications". In
Antonio Cerone and Stefan Gruner editors, Proceedings of the 6th IEEE
International Conference on Software Engineering and Formal Methods SEFM'2008
(Cape Town, South Africa), IEEE Computer Society Press, pp. 313-322,
November 2008.
Full version available from the CADP Web site in PDF 
or
PostScript 
|
| Contact: | Gwen Salaün Dpto. Lenguajes y Ciencias de la Computación ETSI Informática, Campus de Teatinos Universidad de Málaga 29071 Málaga España Email: salaun ´at´ lcc.uma.es |
| Further remarks: | This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software |
Back to the CADP research tools page