DocumentCode
1819883
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
fYear
2009
fDate
21-25 Sept. 2009
Firstpage
9
Lastpage
16
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SCC.2009.52
Filename
5284025
Link To Document