• Workflow semantics of peer and service behaviour

    Thumbnail Image

    Files

    Workflow Semantics.pdf (2.81 MB)

    Date

    2008

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    IEEE

    Access

    Embargo end date

    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

    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.

    Description

    PUBLISHED

    URI

    http://hdl.handle.net/2262/39199

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Computer Science
    Author's Homepage: http://people.tcd.ie/rpopescu

    Author: POPESCU, RAZVAN

    Publisher: IEEE
    Type of material: Conference Paper