Paper accepted at BPM2022


The paper "Measuring Inconsistency in Business Process Specifications." by Carl Corea, John Grant and Matthias Thimm was acccepted at The 20th Business Process Management Conference (BPM2022), Muenster, Germany.

Abstract of the paper

Measuring Inconsistency in Business Process Specifications.

by Carl Corea, John Grant and Matthias Thimm

Abstract: We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic(LTL). As we will show, existing inconsistency measures for classical logiccannot provide a meaningful assessment of inconsistency in LTL, as they cannot adequately handle the temporal operators. We therefore proposea novel paraconsistent semantics as a framework for inconsistency measurement. We then present two new inconsistency measures based on these semantics and show that they satisfy important desirable properties. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach.

More Information about BPM2022