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 ...