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

会议类型: 国际会议

会议名称: 第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

会议地点: 南京

会议语种:英文

页码: 143-150

在线出版日期: 2008-06-17（万方平台首次上网日期，不代表论文的发表时间）