Investigating Inconsistency Understanding to Support Interactive Inconsistency Resolution in Declarative Process Models

Handling inconsistencies in business rules is an important part of corporate compliance management. This includes the resolution of inconsistencies, which currently is a fully automated process that might not always be plausible in a real-world scenario. To include human experts and develop interactive resolution approaches, an understanding of inconsistencies is crucial. Thus, we focus on investigating inconsistency understanding in declarative process models by testing the applicability of insights from declarative process model understanding to different inconsistency characteristics. In the future, this will provide the basis for a series of cognitive experiments evaluating the effects of inconsistency characteristics and representation on inconsistency understanding in declarative process models

The Use of Eye-tracking in Information Systems Research: A Literature Review of the Last Decade

Eye-trackers provide continuous information on individuals’ gaze behavior. Due to the increasing popularity of eye- tracking in the information systems (IS) field, we reviewed how past research has used eye-tracking to inform future research. Accordingly, we conducted a literature review to describe the use of eye-tracking in IS research based on a sample of 113 empirical papers published since 2008 in IS journals and conference proceedings. Specifically, we examined the methodologies and experimental settings used in eye-tracking IS research and how eye-tracking can be used to inform the IS field. We found that IS research that used eye-tracking varies in its methodological and theoretical complexity. Research on pattern analysis shows promise since such research develops a broader range of analysis methodologies. The potential of eye-tracking remains unfulfilled in the IS field since past research has mostly focused on attention-related constructs and used fixation count metrics on desktop computers. We call for researchers to utilize eye-tracking more broadly in IS research by extending the type of metrics they use, the analyses they perform, and the constructs they investigate

Language-independent look-ahead for checking multi-perspective declarative process models

Declarative process modelling languages focus on describing a process by restrictions over the behaviour, which must be satisfied throughout the whole process execution. Hence, they are well suited for modelling knowledge-intensive processes with many decision points. However, such models can be hard to read and understand, which affect the modelling and maintenance of the process models tremendously as well as their execution. When executing such declarative (multi-perspective) process models, it may happen that the execution of activities or the change of data values may result in the non-executability of crucial activities. Hence, it would be beneficial to know all consequences of decisions to give recommendations to the process participants. A look-ahead attempts to predict the effects of executing an activity towards possible consequences within an a priori defined time window. The prediction is based on the current state of the process execution, the intended next event and the underlying process model. While execution engines for single-perspective imperative process models already implement such functionality, execution approaches, for multi-perspective declarative process models that involve constraints on data and resources, are less mature. In this paper, we introduce a simulation-based look-ahead approach for multi-perspective declarative process models. This approach transforms the problem of a context-aware process simulation into a SAT problem, by translating a declarative multi-perspective process model and the current state of a process execution into a specification of the logic language Alloy. Via a SAT solver, process trajectories are generated that either satisfy or violate this specification. The simulated process trajectories are used to derive consequences and effects of certain decisions at any time of process execution. We evaluate our approach by means of three examples and give some advice for further optimizations