Abstract The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is for instance absolutely necessary if the workflows have to be performed fully automatically. However, this rigidity is not always appropriate for people-oriented workflows. Especially in scenarios where real world processes are only semi-structured humans should have more freedom to decide in which order they want to perform the activities. In this paper, we suggest an approach to design peopleoriented workflows via constraints to make them more flexible. 1

Summary. The growing complexity of processes in many organizations stimulates the adoption of business process management (BPM) techniques. Process models typically lie at the basis of these techniques and generally, the assumption is made that the operational business processes as they are taking place in practice conform to these models. However, recent experience has shown that this often isn’t the case. Therefore, the problem of checking to what extent the operational process conforms to the process model is increasingly important. In this paper, we present a robust approach to get insights into the conformance of an operational process to a given process model. We use logs that carry information about which activities have being performed, in which order and we compare these logs to an abstract model. We do not only provide several different conformance metrics, but we show an efficient implementation for the calculation of these metrics. Our approach has been implemented in the ProM framework 1, evaluated using simulated event logs and compared against an existing conformance technique based on Petri nets. Key words: Process mining, conformance, process analysis 1

Service oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, i.e., representing service choreographies, is still an open challenge. The main problem is that, although declarativeness has been identified as a key feature, several proposed approaches specify choreographies by focusing on procedural aspects, leading to over-constrained and over-specified models. To overcome these limits, we propose to adopt DecSerFlow, a truly declarative language, to model choreographies. Thanks to its declarative nature, DecSerFlow semantics can be given in terms of logic-based languages. In particular, we present how DecSerFlow can be mapped onto Linear Temporal Logic and onto Abductive Logic Programming. We show how the mappings onto both formalisms can be concretely exploited to address the enactment of DecSerFlow models, to enrich its expressiveness and to perform a variety of different verification tasks. We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying

Abstract Research in the domain of Workflow Management focuses increasingly on service orchestrations. Often the fact is neglected that a huge part of the activities of business processes are performed by people. Especially, in the domain of pervasive computing processes are describing sequences of real world activities which are invariably performed by people. Therefore we consider the role of people participating in workflows from a new perspective. The basic idea of this work is to transfer the workflow metaphor to people processing their tasks. Therefore, we introduce the concept of a person-centric flow, which denotes such an implicit flow scheduled and executed by a single person. Secondly, we provide a list on research challenges on person-centric flows. 1

Abstract. The rise of interest in declarative languages for process modeling both justifies and demands empirical investigations into their presumed advantages over more traditional, imperative alternatives. Our concern in this paper is with the ease of maintaining business process models, for example due to changing performance or conformance demands. We aim to contribute to a rigorous, theoretical discussion of this topic by drawing a link to well-established research on maintainability of information artifacts.

Abstract. Today, larger systems are composed of smaller interconnected systems and need to evolve over time. The dynamic nature and the complexity of such systems trigger the need for runtime verification and monitoring facilities. These are needed to check whether the actual behavior complies with expected business constraints. In this work, we present a novel monitoring framework that tracks streams of events and continuously determines the state of business constraints. The framework exploits the Event Calculus as a logic-based, expressive language for the formal specification of constraints. Moreover, our framework uses a light-weight, logic programming-based Event Calculus axiomatization for dynamically reasoning on partial, evolving execution traces. We demonstrate that the approach can be exploited to formalize ConDec, a declarative process modeling language, and to extend it with quantitative time constraints. We then sketch how it has been implemented by exploiting the operational decision support architecture of ProM. To demonstrate the applicability of our proposal, we provide a concrete case study dealing with maritime

Abstract. Declarative approaches to process modeling promise a high degree of flexibility. However, current declarative state-of-the-art modeling notations are, while sound on a technical level, hard to understand. To cater for this problem, in particular to improve the understandability of declarative process models as well as the communication between domain experts and model builders, Test Driven Modeling (TDM) has been proposed. In this tool paper we introduce Test Driven Modeling Suite (TDMS) which provides operational support for TDM. We show how TDMS realizes the concepts of TDM and how Cheetah Experimental Platform is used to make TDMS amenable for effective empirical research. Finally, we provide a brief example to illustrate how the adoption of TDMS brings out the intended positive effects of TDM for the creation of declarative process models.