History-aware, real-time risk detection in business processes (Extended Version)

This paper proposes a novel approach for identifying risks in executable business processes and detecting them at run time. The approach considers risks in all phases of the business process management lifecycle, and is realized via a distributed, sensor-based architecture. At design-time, sensors are defined to specify risk conditions which when fulfilled, are a likely indicator of faults to occur. Both historical and current execution data can be used to compose such conditions. At run-time, each sensor independently notifies a sensor manager when a risk is detected. In turn, the sensor manager interacts with the monitoring component of a process automation suite to prompt the results to the user who may take remedial actions. The proposed architecture has been implemented in the YAWL system and its performance has been evaluated in practice.

Reduction rules for YAWL workflows with cancellation regions and OR-joins

As the need for concepts such as cancellation and OR-joins occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. However, there is a clear trade-off between the expressive power of a language (i.e., introducing complex constructs such as cancellation and OR-joins) and ease of verification. When a workflow contains a large number of tasks and involves complex control flow dependencies, verification can take too much time or it may even be impossible. There are a number of different approaches to deal with this complexity. Reducing the size of the workflow, while preserving its essential properties with respect to a particular analysis problem, is one such approach. In this paper, we present a set of reduction rules for workflows with cancellation regions and OR-joins and demonstrate how they can be used to improve the efficiency of verification. Our results are presented in the context of the YAWL workflow language.

Soundness of workflow nets: classification, decidability, and analysis

Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets.We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

A comparative analysis of facework strategies of Australians and Sri Lankans working in Australia

This study investigates facework (communicative) strategies of Sri Lankans working in Australia and compares them with strategies used by Australians of European origin working in Australia. The study also explores the values of those Sri Lankans as a reflection of their facework, and how Sri Lankans have adjusted their facework to the Australian culture. The study used a survey questionnaire and interviewed Sri Lankans working in Australia for this investigation. The survey questionnaire was used to understand the facework similarities and difference between the Sri Lankans and Australians as explained in Oetzel and Ting-Toomey’s Face Negotiation Model. The survey revealed that Sri Lankans are higher in interdependent self construal, self face concern and other face concern than the Australians. Nonetheless, Sri Lankans are similar to the Australians in other facework strategies. The interviews clarified that Sri Lankans do not change their values by living in Australia, yet they make some changes to how they do things.

The importance of organisational culture to improve a project selection process : case of public infrastructure project in Indonesia

Project selection is a decision-making process that is not merely influenced by technical aspects but also by the people who involved in the process. Organisational culture is described as a set of values and norms that are shared by people within the organisation that affects the way they interact with each other and with stakeholders from outside the organisation. The aim of this paper is to emphasize the importance of organisational culture on improving the quality of decisions in the project selection process, in addition to the influence of technical aspects of a project. The discussion is based on an extensive literature review and, as such, represents the first part of a research agenda investigating the impact of organisational culture on the project selection process applicable specifically to road infrastructure contracts. Four existing models of organisational culture (Denison 1990; Cameron and Quinn 2006; Hofstede 2001; Glaser et al 1987) are discussed and reviewed in view of their use in the larger research project to investigate the impact of culture on identified critical elements of decision-making. An understating of the way organisational culture impacts on project selection will increase the likelihood in future of relevant government departments selecting projects that achieve their stated organisational goals.

The impact of organisational culture on the project selection process : The case of public infrastructure project in Indonesia

Project selection is a complex decision-making process as it involves multiple objectives, constraints and stakeholders. Understanding the organisation, in particular organisational culture, is an essential stage in improving decision-making process. The influences of organisational culture on decision-making can be seen in the way people work as a team, act and cooperate in their teamwork to achieve the set goals, and also in how people think, prioritize and decide. This paper aims to give evidence of the impact of organisational culture on the decision-making process in project selection, in the Indonesian context. Data was collected from a questionnaire survey developed based on the existing models of organisational culture (Denison 1990, Hofstede 2001, and Glaser et al 1987). Four main cultural traits (involvement, consistency, mission and power-distance) were selected and employed to examine the influence of organisational culture on the effectiveness of decision-making in the current Indonesian project selection processes. The results reveal that there are differences in organisational cultures for two organisations in three provinces. It also suggests that organisational culture (particularly the traits of ‘involvement’, ‘consistency’ and ‘mission’) contribute to the effectiveness of decision-making in the selected cases.

Process mining manifesto

Process mining techniques are able to extract knowledge from event logs commonly available in today’s information systems. These techniques provide new means to discover, monitor, and improve processes in a variety of application domains. There are two main drivers for the growing interest in process mining. On the one hand, more and more events are being recorded, thus, providing detailed information about the history of processes. On the other hand, there is a need to improve and support business processes in competitive and rapidly changing environments. This manifesto is created by the IEEE Task Force on Process Mining and aims to promote the topic of process mining. Moreover, by defining a set of guiding principles and listing important challenges, this manifesto hopes to serve as a guide for software developers, scientists, consultants, business managers, and end-users. The goal is to increase the maturity of process mining as a new tool to improve the (re)design, control, and support of operational business processes.

A semantics-based approach to querying process model repositories

As business process management technology matures, organisations acquire more and more business process models. The resulting collections can consist of hundreds, even thousands of models and their management poses real challenges. One of these challenges concerns model retrieval where support should be provided for the formulation and efficient execution of business process model queries. As queries based on only structural information cannot deal with all querying requirements in practice, there should be support for queries that require knowledge of process model semantics. In this paper we formally define a process model query language that is based on semantic relationships between tasks. This query language is independent of the particular process modelling notation used, but we will demonstrate how it can be used in the context of Petri nets by showing how the semantic relationships can be determined for these nets in such a way that state space explosion is avoided as much as possible. An experiment with three large process model repositories shows that queries expressed in our language can be evaluated efficiently.