loading...
Workflow Semantics of Peer and Service Behaviour
June 17-June 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2008.282008 2nd IFIP/IEEE International Symp ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Antonio Brogi, Razvan Popescu, "Workflow Semantics of Peer and Service Behaviour," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 143-150, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2008.28,
author = {Antonio Brogi and Razvan Popescu},
title = {Workflow Semantics of Peer and Service Behaviour},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3249-3},
pages = {143-150},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - Workflow Semantics of Peer and Service Behaviour
SN - 978-0-7695-3249-3
SP143
EP150
A1 - Antonio Brogi,
A1 - Razvan Popescu,
PY - 2008
KW - Peer-to-peer systems
KW - service-oriented modelling language
KW - BPEL
KW - YAWL workflows
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
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.
Index Terms:
Peer-to-peer systems, service-oriented modelling language, BPEL, YAWL workflows
Citation:
Antonio Brogi, Razvan Popescu, "Workflow Semantics of Peer and Service Behaviour," tase, pp.143-150, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008
Usage of this product signifies your acceptance of the Terms of Use.