This paper presents FUNGO, an algorithm that, given a complex service definition (as a Web Service choreography model), checks if it can be correctly implemented by the local models of the single services participating in it. When the local models do not fulfil some synchronization constraints defined in the global choreography, the algorithm adjusts them by adding synchronization messages that guarantee that their execution actually implements the interactions required by the choreography definition. The algorithm is part of the PERCHE choreography registry, that extends the idea of UDDI registry to the management of web service choreographies.

FUNGO: an Algorithm to Derive Local Interaction Protocols from WS Choreographies

FURNARI, ROBERTO
2008-01-01

Abstract

This paper presents FUNGO, an algorithm that, given a complex service definition (as a Web Service choreography model), checks if it can be correctly implemented by the local models of the single services participating in it. When the local models do not fulfil some synchronization constraints defined in the global choreography, the algorithm adjusts them by adding synchronization messages that guarantee that their execution actually implements the interactions required by the choreography definition. The algorithm is part of the PERCHE choreography registry, that extends the idea of UDDI registry to the management of web service choreographies.
2008
4
6
10
http://fatech.org.uk/press/siwn/
Choreography; Web Services; SOA; Service Interoperability; Business Process Integration; Synchronization.
R. Furnari
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/73225
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact