In a Service Oriented Architecture (SOA), services may need to dynamically discover non-functional properties of possible other services to cooperate with. Among these non-functional properties, transactional support is particularly relevant to enable coordination. In this paper we model the transactional support of Web services in a machine readable format (using OWL-S); in our model transactional support can be defined as negotiable thus requiring a run time multi step interaction among services to agree on the supported transaction type. We use the Business Transaction Protocol (BTP), a distributed transaction protocol, to carry out this negotiation. Specifically, we use an implementation of the bidding negotiation in BTP with the asynchronous pi calculus in order to provide a formal framework for these coordination issues.
Titolo: | Transactional Aspects in Semantic Based Discovery of Services |
Autore/i: | BOCCHI, LAURA; CIANCARINI, PAOLO; ROSSI, DAVIDE |
Autore/i Unibo: | |
Anno: | 2005 |
Titolo del libro: | Lecture Notes in Computer Science |
Pagina iniziale: | 283 |
Pagina finale: | 297 |
Abstract: | In a Service Oriented Architecture (SOA), services may need to dynamically discover non-functional properties of possible other services to cooperate with. Among these non-functional properties, transactional support is particularly relevant to enable coordination. In this paper we model the transactional support of Web services in a machine readable format (using OWL-S); in our model transactional support can be defined as negotiable thus requiring a run time multi step interaction among services to agree on the supported transaction type. We use the Business Transaction Protocol (BTP), a distributed transaction protocol, to carry out this negotiation. Specifically, we use an implementation of the bidding negotiation in BTP with the asynchronous pi calculus in order to provide a formal framework for these coordination issues. |
Data prodotto definitivo in UGOV: | 17-ott-2005 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |