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

Andrew D. H. Farrell (), Marek J. Sergot () and Claudio Bartolini ()
Additional contact information
Andrew D. H. Farrell: Imperial College
Marek J. Sergot: Imperial College
Claudio Bartolini: Hewlett-Packard Laboratories

Group Decision and Negotiation, 2007, vol. 16, issue 3, No 2, 213-254

Abstract: 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 .

Keywords: business process; workflow; meta-model; formal semantics; CCS; verification (search for similar items in EconPapers)
Date: 2007
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s10726-006-9064-4 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:grdene:v:16:y:2007:i:3:d:10.1007_s10726-006-9064-4

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10726/PS2

DOI: 10.1007/s10726-006-9064-4

Access Statistics for this article

Group Decision and Negotiation is currently edited by Gregory E. Kersten

More articles in Group Decision and Negotiation from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().