Database of Research Tools Developed Using CADP

DCOMPOSITOR Tool for Generating Service Wrapper Protocols

Organisation: University of Málaga (Spain)

Functionality: Generating service wrapper protocols

Tools used: CADP (Construction and Analysis of Distributed Processes)

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
Gwen Salaün
Dpto. Lenguajes y Ciencias de la Computación
ETSI Informática, Campus de Teatinos
Universidad de Málaga
29071 Málaga
Email: salaun ´at´

Further remarks: This tool, amongst others, is described on the CADP Web site:

Last modified: Thu Feb 11 12:23:11 2021.

Back to the CADP research tools page