Workflow-based semantics for peer-to-peer specifications

摘要

In this paper we introduce SMoL, a simplified BPEL-like language for specifying peer and service behaviour in P2P systems. We then define a transformational semantics of SMoL in terms of Yet Another Workflow Language (YAWL) workflows, which enables the simulation (e.g., testing possible execution scenarios) and analysis (e.g., verifying reachability or lock freedom) of the behaviour of P2P peers and services.