IDEAS home Printed from https://ideas.repec.org/a/spr/grdene/v16y2007i3d10.1007_s10726-006-9064-4.html
   My bibliography  Save this article

Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

Author

Listed:
  • Andrew D. H. Farrell

    (Imperial College)

  • Marek J. Sergot

    (Imperial College)

  • Claudio Bartolini

    (Hewlett-Packard Laboratories)

Abstract

We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing business processes that they lack a robust semantics, and a notable characteristic of most commercial Business Process Management products that they have no support for verification of business process models. We define a high-level meta-model, called Liesbet , for representing business processes. The ontological commitments for Liesbet are sourced from the YAWL workflow patterns, which have been defined from studies into the behavioural nature of business processes. A formal characterisation of Liesbet is provided using Milner’s Calculus of Communicating Systems (CCS). In this article, we omit some of the technical details of this characterisation and instead present the essential features by means of an abstract machine language, called LCCS. We also explain how we have facilitated the verification of certain properties of business processes specified in Liesbet , and discuss how Liesbet supports the YAWL workflow patterns. We include a simple three-part example of using Liesbet .

Suggested Citation

  • Andrew D. H. Farrell & Marek J. Sergot & Claudio Bartolini, 2007. "Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns," Group Decision and Negotiation, Springer, vol. 16(3), pages 213-254, May.
    • Handle: RePEc:spr:grdene:v:16:y:2007:i:3:d:10.1007_s10726-006-9064-4
    DOI: 10.1007/s10726-006-9064-4
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s10726-006-9064-4
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s10726-006-9064-4?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:grdene:v:16:y:2007:i:3:d:10.1007_s10726-006-9064-4. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.