Now showing items 1-10 of 64
Complete Abstract Operational Semantics for the Web Service Business Process Execution Language
In this technical report we present an abstract operational semantics for the Business Process Execution Language for Web Services, or BPEL for short. In effect, the semantics defined herein are a variation and an extension ...
Distributed Abstract State Machines and Their Expressive Power
Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to ...
Conflict Handling Strategies in an Integrated Information System
Integrated information systems provide users and applications with a unified view of heterogeneous data sources. To provide a single consistent result for every object represented in these data sources, data fusion is ...
Matching Nondeterministic Services with Operating Guidelines
Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, ...