Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Workflow-based semantics for peer-to-peer specifications
| |
|
Research Article
Workflow-based semantics for peer-to-peer specifications
Antonio Brogi1 and Razvan Popescu1 
| (1) |
Computer Science Department, University of Pisa, Pisa, 556127, Italy |
Received: 19 July 2008 Accepted: 19 September 2008 Published online: 5 December 2008
Abstract 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.
Keywords P2P systems - BPEL processes - YAWL workflows
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|