Modern enterprises increasingly use the workflow paradigm to prescribe how business
processes should be performed. Processes are typically modeled as annotated activity …

Today's process-aware information systems tend to either support business processes or
provide flexibility. Classical workflow management systems offer good process support as …

An organization produces value for its customers by executing various business processes.
Due to complexity and variety of business processes, contemporary organizations use …

Research on specification and scheduling of workflows has concentrated on temporal and
causality constraints, which specify existence and order dependencies among tasks …

Methods for synthesizing concurrent programs from temporal logic specifications based on
the use of a decision procedure for testing temporal satisfiability have been proposed by …

Process discovery has emerged as a powerful approach to support the analysis and the
design of complex processes. It consists of analyzing a set of traces registering the …

The coordination of interdependencies between tasks in collaborative environments is a
very important and difficult endeavour. The separation between tasks and …

This paper addresses the issue of coordination, which is an essential matter to the
specification of activities in collaborative systems. An activity can be described as a set of …

Workflows are ubiquitous in business computing. They arise not only within an enterprise
but increasingly across enterprises as well—in situations such as virtual enterprises and …

A requirements analysis in the emerging field of Semantic Web Services (SWS)(see
http://daml. org/services/swsl/requirements/) has identified four major areas of research …