The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is broad, ranging from fat-client applications and web applications to enterprise application integration solutions. Unlike other approaches, Windows Workflow supports two distinct approaches to workflow specification sequ...

In this paper, we present the results of a case study conducted together with a small company that develops a workflow modeling tool. During the case study, we created a pattern collection for the domain of workflow modeling tools and evaluated a subset of these patterns. Beside the pattern description itself, the contribution of our work is a systematic process for identifying patterns. The re...

In this article, we propose a new model based on mixed linear programming to determine a composite web service (structured by a workflow) minimizing a QoS measure while satisfying some QoS constraints. The proposed mixed linear program is solved using a standard solver (CPLEX). Our experiments show that big-size instances can be exactly solved. To the best of our knowledge, it is the first time...

Based on a rigorous analysis of existing workflow management systems and workflow languages, a new workflow language is proposed: YAWL (Yet Another Workflow Language). To identify the differences between the various languages, we have collected a fairly complete set of workflow patterns. Based on these patterns we have evaluated several workflow products and detected considerable differences in...

This paper proposes the use of model-checking software technology for the verification of workflows and business processes behaviour based on web services, namely the use of the SPIN model checker. Since the specification of a business process behaviour based on web services can be decomposed into patterns, it is proposed a translation of a well known collection of workflow patterns into PROMEL...

If UML activity diagrams are to succeed as a standard in the area of organisational process modeling, they need to compare well to alternative languages such as those provided by commercial Workflow Management Systems. This paper examines the expressiveness and the adequacy of activity diagrams for workflow specification, by systematically evaluating their ability to capture a collection of wor...

The Grid-Enabled Computational Electromagnetics project (GECEM) has developed a portal for performing electromagnetics simulations. The portal is based on the GridSphere portal framework and uses JSR168compliant portlets to access remote web services. The GECEM portal supports an execution pipeline that starts with an input geometry which is processed to generate surface and volume computationa...

We discuss the reuse of process knowledge through conceptualized workflow patterns. Knowledge reuse in the life-cycle of projects has been widely studied, but most known solutions focus on communication issues, isolated from the processes themselves. Due to the huge potential benefits from the immediate reuse of communicated information (e.g. architectural, structural solutions, details, techni...

In recent years, office workers spend much time and effort searching for the documents required for their jobs. To reduce these costs, we propose a new method for recommending files and operations on them. Existing technologies for recommendation, such as collaborative filtering, suffer from two problems. First, they can only work with documents that have been accessed in the past, so that they...

Nowadays, business process management plays an important role in the management of organizations. More and more organizations describe their operations as business processes It is common for organizations to have collections of thousands of business process models. The same process is usually modeled differently due to the different rules or habits of different organizations and departments. Ev...