Title :
Automatically Deriving Choreography-Conforming Systems of Services
Author :
Díaz, Gregorio ; Rodríguez, Ismael
Author_Institution :
Dept. de Sist. Informaticos, Univ. de Castilla-La Mancha, Albacete, Spain
Abstract :
We present a formal method to derive a set of web services from a given choreography, in such a way that the system consisting of these services necessarily conforms to the choreography. A formal model to represent orchestrations and choreographies is given, and we define several conformance semantic relations allowing to detect whether a set of orchestration models, representing some web services, leads to the overall communications described by a choreography.
Keywords :
Web services; Web services; choreography-conforming systems of services; conformance semantic relation; orchestration model; Asynchronous communication; Collaboration; Context; Context-aware services; Contracts; Control systems; Formal languages; Information analysis; Prototypes; Web services; Conformance; Formal Methods; Formal Testing; Web Services;
Conference_Titel :
Services Computing, 2009. SCC '09. IEEE International Conference on
Conference_Location :
Bangalore
Print_ISBN :
978-1-4244-5183-8
Electronic_ISBN :
978-0-7695-3811-2
DOI :
10.1109/SCC.2009.52
