The increasing ability for the sciences to sense the world around us is resulting in a growing need for data driven applications that are under the control of workflows composed of services on the Grid. The focus of our work is on provenance collection for these workflows, necessary to validate the workflow and to determine quality of generated data products. The challenge we address is to reco...

The Workflow Patterns provide a conceptual foundation for the control-flow, data and resource perspectives of process-aware information systems (PAIS). In this paper we present newYAWL, a reference language for PAIS based on the workflow patterns. newYAWL radically extends previous work undertaken on the YAWL language and provides a comprehensive formal description of how the complete set of wo...

This paper presents a direct workflow simulation method with which the future enactment service processes of a BPM system can be simulated directly (i.e., without a model conversion). The proposed method may easily be implemented on a commercial BPM system by plugging in a couple of software modules (no internal modification of the BPM system is required). Previous researches on workflow simula...

Yes Vote Message: a cohort receives a VOTE REQ, and it responds by sending a yes or no vote message (Yes or NO VOTE, Yes Vote also known as PREPARED message) to the coordinator (Shanker, Misra, & Sarje, 2009a) Yet Another Workflow Language (YAWL): a process modelling and execution language based on the workflow patterns and Petri nets. YAWL is also the name of the corresponding workflow system ...

Background and Objectives: Patient discharge process starts from the point of the initial order of the physician order and continues to the discharge time of a patient and the release of the bed that was allocated to him/her. Lengthening the patient discharge process is regarded as a negative factor in the management of beds; this lengthy process leads to delay...

This paper provides an ontology-based set of Petri-nets for simulating the effect of business process changes on an organisation’s liquidity, and demonstrates that certain types of business process redesign can increase or reduce the amount of external funding that is required to prevent an organisation from defaulting on its debt. This debt defaulting may lead to proliferating liquidity constr...

Workflow languages offer constructs for coordinating tasks. Among these constructs are various types of splits and joins. One type of join, which shows up in various incarnations, is the OR-join. Different approaches assign a different (often only intuitive) semantics to this type of join, though they do share the common theme that branches that cannot complete will not be waited for. Many syst...

Existing process mining techniques are able to discover process models from event logs where each event is known to have been produced by a given process instance. In this paper we remove this restriction and address the problem of discovering the process model when the event log is provided as an unlabelled stream of events. Using a probabilistic approach, it is possible to estimate the model ...

Workflow management is a core component of modern enterprise information technology infrastructure that automates the execution of critical business processes. Since enterprise transformation typically introduces changes to the corresponding business processes, it is important for modern workflow management systems to provide effective support for seamless incorporation of these changes. In thi...

Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for evaluating the capabilities of workflow systems and models. In this paper we provide implementations of the workflow patterns in Orc, a new process calculus for orchestrating wide-area computations. A key feature of the ...