Bocchi, Laura, Ciancarini, Paolo (2006) On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science, 160 . pp. 113-126. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.05.018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59182)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. | |
Official URL: http://doi.org/10.1016/j.entcs.2006.05.018 |
Abstract
We present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. In particular we focus on transactional support in the Web Service Architecture. The classic notion of transaction in database systems evolved into weaker forms, in order to adapt to multi-domain, loosely coupled environments including the execution of long running activities. Despite the shared interest in these weaker transactions, supported by most languages for Web service coordination and composition, in many cases there is not an agreement on their semantics. Transactions are considered under two complementary perspectives. The former is the local perspective of the business process: transactions are a control construct providing a user-defined error handling mechanism. The latter, is the perspective addressing the synchronization among distributed services: distributed transaction protocols. Distributed transaction protocols are evolving according to the requirements of the real e-business scenario over the Web. One particular direction of this evolution, that we discuss, is the negotiation of service capabilities to enable automated selection.
Item Type: | Article |
---|---|
DOI/Identification number: | 10.1016/j.entcs.2006.05.018 |
Uncontrolled keywords: | Service oriented architectures; transactions; formal methods |
Subjects: | Q Science |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Laura Bocchi |
Date Deposited: | 28 Nov 2016 10:25 UTC |
Last Modified: | 16 Nov 2021 10:23 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/59182 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):