DocumentCode
1943185
Title
Workflow Semantics of Peer and Service Behaviour
Author
Brogi, Antonio ; Popescu, Razvan
Author_Institution
Comput. Sci. Dept., Univ. of Pisa, Pisa
fYear
2008
fDate
17-19 June 2008
Firstpage
143
Lastpage
150
Abstract
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.
Keywords
peer-to-peer computing; specification languages; BPEL-like language; P2P system; SMoL; YAWL; peer-to-peer system; workflow semantics; Analytical models; Computational modeling; Computer science; Contracts; Middleware; Personal digital assistants; Project management; Smart phones; Software engineering; System testing; BPEL; Peer-to-peer systems; YAWL workflows; service-oriented modelling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on
Conference_Location
Nanjing
Print_ISBN
978-0-7695-3249-3
Type
conf
DOI
10.1109/TASE.2008.28
Filename
4549899
Link To Document