Design and Implementation of the YAWL System

Aalst, Wil M. P. van der; Aldred, Lachlan; Dumas, Marlon; Hofstede, Arthur H. M. ter

doi:10.1007/978-3-540-25975-6_12

Cited by 152 publications

(126 citation statements)

References 7 publications

Supporting

Mentioning

126

Contrasting

Order By: Relevance

“…We consider workflows defined using a variant of extended workflow nets, as are UML2 activity diagrams [2] or the YAWL language [3]. The underlying model is that of colored Petri nets, where messages (tokens) have types.…”

Section: Context For Workflow Compositionmentioning

confidence: 99%

“…Note that the shipper needs input data from the producer to build its offer, -both the producer and the shipper are specified using partial workflows, and do not simply amount to simple isolated activities, -the two partial workflows cannot be executed one after the other, but they must be interleaved, as each one must wait for the other offer to obtain an OfferAcceptance and therefore complete the transaction, 3 …”

Section: Context For Workflow Compositionmentioning

confidence: 99%

“…most if not all the workflow patterns referenced in [27]. The simplest such language is the extended workflow net YAWL language [3], now a subset of UML2 [2] activity diagrams. We present our constrained object model according to the standard model driven architecture recommendations, except for the use of the Z language as a formal specification language.…”

Section: A Metamodel For Workflow Compositionmentioning

confidence: 99%

“…The original contribution of this work is to propose a formal specification of the same constrained object model using the Z specification language. Z was shown suitable for such a usage in [4], via a framework for the Z specification of constrained object models 3 . This research heads towards the complete formal specification of a constrained object model for workflow composition.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Constrained Object Model for Configuration Based Workflow Composition

Albert¹,

Henocque²,

Kleiner³

2006

Business Process Management Workshops

View full text Add to dashboard Cite

Abstract. Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research [1] observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels [2,3]. This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language, and more precisely using some of the definitions in [4].

show abstract

Section: Context For Workflow Compositionmentioning

confidence: 99%

Section: Context For Workflow Compositionmentioning

confidence: 99%

Section: A Metamodel For Workflow Compositionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Constrained Object Model for Configuration Based Workflow Composition

Albert¹,

Henocque²,

Kleiner³

2006

Business Process Management Workshops

View full text Add to dashboard Cite

show abstract

“…This approach directly provides for dynamic change and process evolution without having to resort to off-system intervention and/or system downtime. It has been implemented as a discrete service for the well-known, open-source workflow environment YAWL [15,16] using a Service Oriented Architecture (SOA), and as such its applicability is not limited to that environment. Also, being open-source, it is freely available for use and extension.…”

Section: Introductionmentioning

confidence: 99%

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows

Adams

Hofstede

Edmond

et al. 2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

Self Cite

195

159

View full text Add to dashboard Cite

Abstract. This paper presents the realisation, using a Service Oriented Architecture, of an approach for dynamic flexibility and evolution in workflows through the support of flexible work practices, based not on proprietary frameworks, but on accepted ideas of how people actually work. A set of principles have been derived from a sound theoretical base and applied to the development of worklets, an extensible repertoire of self-contained sub-processes aligned to each task, from which a dynamic runtime selection is made depending on the context of the particular work instance.

show abstract