This paper describes a process-algebraic approach to specification and refinement of workflow processes. In particular, we model both specification and implementation of workflows as CSP processes. CSP’s behavioural models and their respective refinement relations not only enable us to prove correctness properties of an individual workflow process against its behavioural specification but also ...

Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent services are often heterogeneous which makes the aggregation of multiple single-service QoS difficult. In this paper, we address the heterogeneity problem from the perspective of knowledge engineering. We propose a QoS...

For its reuse advantages, workflow patterns (e.g., control flow patterns, data patterns, resource patterns) are increasingly attracting the interest of both researchers and vendors. Frequently, business process or workflow models can be assembeled out of a set of recurrent process fragments (or recurrent business functions), each of them having generic semantics that can be described as a patte...

The growing availability of Web services provides a new opportunity for enabling new ways of system integration and interoperability, which are needed to meet the needs of global e-business. In this study, we propose an extensible workflow architecture based on Web services and object-oriented techniques. The proposed architecture contains three components, the Open Kernel Framework, the Univer...

Although many of workflow languages use workflow patterns in various aspects such as control or data, the implementation of these patterns are quite different, which makes the workflow language interoperability really difficult. This paper introduces compositions of specific data and control patterns and then proves their equivalence, which benefits that control structures can be replaced by da...

Workflow analysis is indispensable to capture modeling errors in workflow designs. While in the past several analysis approaches for workflows have been defined, these approaches do not give precise feedback, making it hard for a designer to pinpoint the exact cause of modeling errors. In this paper we introduce a novel approach for analyzing and diagnosing workflows based on integer programmin...

Over about the last decade, people involved in game development have noted the need for more formal models and tools to support the design phase of games. It is argued that the present lack of such formal tools is currently hindering knowledge transfer among designers. Formal visual languages, on the other hand, can help to more effectively express, abstract and communicate game design concepts...

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 synchronisation is only to be performed for active threads. Dep...

We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Service Abstraction Process, Service Composition Process, and Translation Process. These processes share the concept of integrated component composed of two key aspects: a specific set of the Aalst’s workflow patterns together with a component-style co...

A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approach is based on embedding all workflow elements into the source (C++) code of the application as external library (GridMD) function calls. Thus the compiled executable is used both to generate the scenario and to perfo...