Integrating prerequisite relationships, partially defined as graph components, produces a directed graph that corresponds to a well-defined and well-behaved workflow consisting only of and-splits and and-joins. Such a workflow often cannot be transformed to a structured workflow. This paper presents an approach to producing a corresponding structured workflow that will, with some adjustments in...

In paper-based workflow systems, signatures by individual or groups of people have been used extensively for various purposes. Currently there are many studies on computerizing workflow systems. Also there are studies on implementing signatures in electronic media. But the diversified purposes of a signature in workflow makes a straightforward implementation of digital signature schemes inadequ...

The worker on the move has an ever-increasing need to access information, such as instructions on how to process with a task. The use of audio to convey that information and for interaction has many advantages over traditional hands&eyes devices, especially if the user needs his hands to perform a task. In this paper, we focus on a task model stored in a workflow engine. The execution of a task...

This paper proposes two kinds of control-path oriented workflow knowledge analysis approaches which will be applied to a workflow intelligence and quality improvement framework aiming at the high degree of the workflow traceability and rediscoverability. The framework needs two kinds of algorithms ⎯ One is for generating the total sequences of the control-paths from a workflow model, and the ot...

This paper presents a communication architecture to provide an optimized support for communication within a logistic company. Truckage companies need continuous and up-to-date information about their business processes in order to respond quickly to customers’ needs and problems emerging during transport processes. A reliable and user-friendly communication system is required, which improves th...

† Part of this work was done at AIFB (University of Karlsruhe, Germany) and LSDIS (Univeristy of Georgia, USA) during a sabbatical leave. Abstract Traditionally, workflow management systems are used to support static processes, i.e., processes which do not change frequently. This has limited the scope of workflow management. Moreover, the networked economy of the new millennium requires workflo...

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

A workflow specification is a formal description of business processes in the real world. Its correctness is critical to the workflow execution and hence the realisation of business objectives. In addition to structural and temporal constraints, resource constraints are also implied in workflow specifications. Therefore, they should be analysed to ensure that the workflow specification is resou...

In the scientific field, workflow technology is often employed to conduct computer simulations or computer supported experiments. The underlying IT infrastructure typically comprises resources distributed among different institutes and organisations all over the world. Traditionally, workflows are executed on a single machine while the invoked software is accessed remotely. This approach impose...

An automatic translation from Workflow nets (WFNs) to Modeling, Simulation and Verification Language (MSVL) is presented in this paper. As a result, WFNs can be simulated and verified through the well developed supporting tool named MSV for MSVL programs. To do so, annotations are added to WFNs first. Further, translating rules are presented w.r.t regular structures for the translation from Ann...