Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
 
Código: DIAB-09-06-2
Fecha Publicación: 22-06-2009
Título: Automatic deriving choreography-conforming systems of services
Detalle:
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 in a choreography.



 
Autores
 
Autor Detalles
DIAZ DESCALZO, GREGORIO Profesor Contratado Doctor
RODRÍGUEZ LAGUNA, ISMAEL



 
Ficheros
 
Fichero Bytes Detalles
FormalWebServices.pdf 188.1K

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal