Abducing Compliance of Incomplete Event Logs

Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio

doi:10.1007/978-3-319-49130-1_16

Cited by 8 publications

(12 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The reader might wonder the impact of the syntactic conditions to be met to ensure unchained specifications. In previous works we discussed how different process modelling languages can be expressed formally in SCIFF: for example, DecSerFlow was addressed in [67]; in [66] a further declarative language for business process, CLIMB, was introduced; in [61,14] we focused on procedural languages for workflows. These languages have been all equipped with SCIFF unchained specifications, thus ensuring the compositionality.…”

Section: Partitioning Methodologymentioning

confidence: 99%

“…In Section 1, we introduced the expressiveness of the modelling language and scalability of the overall architecture as two important requirements for any BPM monitoring architecture. In this work, we adopt the SCIFF framework for covering the former requirement: in previous articles we showed that SCIFF is expressive enough to represent well-known formalisms, declarative [7, 13] as well as procedural [61,14] ones. The latter requirement is covered through the adoption of a distributed platform for big data analytics and the application of a parallelisation method.…”

Section: Overview Of the System Architecture And Backgroundmentioning

confidence: 99%

“…Recalling the two crucial features that a compliance monitoring system for business process should expose, we can notice that, while the high expressiveness of SCIFF notation has been already studied in previous works [13,14], the scalability of the proposed distributed approach still need to be investigated.…”

Section: Experimental Evaluationmentioning

confidence: 99%

“…In order to provide (i), in this work we adopt the Social Constrained IFF (SCIFF) framework [12], a logic-based proof procedure that has been previously applied to the monitoring of various systems and environments [13,14]. The adoption of this tool brings us a number of advantages.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A distributed approach to compliance monitoring of business process event streams

Loreti¹,

Chesani

Ciampolini

et al. 2018

Future Generation Computer Systems

Self Cite

View full text Add to dashboard Cite

In recent years, the significant advantages brought to business processes by process mining account for its evolution as a major concern in both industrial and academic research. In particular, increasing attention has been turned to compliance monitoring as a way to identify when a sequence of events deviates from the expected behaviour. As we are entering the IoT era, an increasing variety of smart objects can be introduced in business processes (e.g., tags to track products in a plant, smartphones and badge swiping to draw the activities of customers and employees in a shopping center, etc.). All these objects produce large volumes of log data in the form of streams, which need to be run-time analysed to extract further knowledge about the underlying business process and to identify unexpected, non-conforming events.Albeit rather straightforward on a small log file, compliance verification techniques may show poor performances when dealing with big data and streams, thus calling for scalable approaches.This work investigates the possibility of spreading the compliance monitoring task over a network of computing nodes, achieving the desired scalability. The monitor is realised through the existing SCIFF framework for compliance checking, which provides a high level logic-based language for expressing the properties to be monitored and nicely supports the partitioning

show abstract

Section: Partitioning Methodologymentioning

confidence: 99%

Section: Overview Of the System Architecture And Backgroundmentioning

confidence: 99%

Section: Experimental Evaluationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A distributed approach to compliance monitoring of business process event streams

Loreti¹,

Chesani

Ciampolini

et al. 2018

Future Generation Computer Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…In previous works [22,24], we adopted an Artificial Intelligence technique, namely abduction, to complete partial logs, and introduced a (novel) notion of weak compliance of incomplete process instances w.r.t. a procedural model.…”

Section: Introductionmentioning

confidence: 99%

Generating synthetic positive and negative business process traces through abduction

Loreti¹,

Chesani

Ciampolini

et al. 2019

Knowl Inf Syst

Self Cite

View full text Add to dashboard Cite

As recent years have seen the rise of a new discipline commonly addressed as process mining, focused on the management of business processes, two tasks have gained increasing attention in research: process discovery and compliance monitoring. In both these fields, the demand for event log benchmarks with predefined characteristics has determined the design of various methodologies and tools for synthetic log generation. However, artificially created as well as real-life logs often contain positive examples only (i.e., process instances deemed as compliant w.r.t. the model), while the presence of negative process instances (i.e., non-compliant traces) can be crucial to correctly evaluate the performance and robustness of a novel process discovery or conformance checking technique.In this work, we investigate positive and negative trace generation in case of both declarative and procedural model specifications and we present our abduction-based approach to log synthesis. The theoretical study is concretely applied in a software prototype for log generation, which takes as input a declarative or structured workflow model, and emits logs containing positive and negative traces. The approach provides both a highly expressive notation for the description of the business model, and the ability to generate logs with various customizable features. The final comparative study of other existing log generators reveals several advantages of the proposed approach and draws the direction of future improvements.

show abstract