Workflow Semantics of Peer and Service Behaviour
In this paper we introduce SMoL, a simplified BPEL-like language for specifying peer and service behaviour in P2P systems. We define a transformational semantics of SMoL in terms of 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.
Antonio Brogi Razvan Popescu
Computer Science Department, University of Pisa, Italy
国际会议
南京
英文
143-150
2008-06-17(万方平台首次上网日期,不代表论文的发表时间)