dc.contributor.author | POPESCU, RAZVAN | |
dc.date.accessioned | 2010-04-27T12:07:20Z | |
dc.date.available | 2010-04-27T12:07:20Z | |
dc.date.issued | 2008 | |
dc.date.submitted | 2008 | en |
dc.identifier.citation | Brogi, A., Popescu, R., Workflow semantics of peer and service behaviour , Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE, 2008, 143-150 | en |
dc.identifier.other | Y | |
dc.description | PUBLISHED | en |
dc.description.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. | en |
dc.format.extent | 143-150 | en |
dc.language.iso | en | en |
dc.publisher | IEEE | en |
dc.rights | Y | en |
dc.subject | Computer Science | |
dc.title | Workflow semantics of peer and service behaviour | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/rpopescu | |
dc.identifier.rssinternalid | 65673 | |
dc.identifier.uri | http://hdl.handle.net/2262/39199 | |