SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Negotiation as a metaphor for distributed problem solving
Distributed Artificial Intelligence
The contract net protocol: high-level communication and control in a distributed problem solver
Distributed Artificial Intelligence
Modeling long-running activities as nested sagas
Data Engineering
Multiagent negotiation under time constraints
Artificial Intelligence
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Strategic negotiation in multiagent environments
Strategic negotiation in multiagent environments
Autonomous Agents and Multi-Agent Systems
WS-Negotiation: An Overview of Research Issues
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1
WS-Negotiation: An Overview of Research Issues
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1
An OWL-S based approach to express grid services coordination
Proceedings of the 2005 ACM symposium on Applied computing
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks
Science of Computer Programming
| Hi-index | 0.00 |
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.