Toward a Verification of Time-Centric Business Process Models

Abstract

Temporal constraints are one cornerstone of process specification and verification in the whole process lifecycle. Nevertheless, in the existing research approaches, little consideration has been given to the subject of verification of advanced temporal constraints such as absolute temporal constraints associated with relative temporal constraints. In this paper, we handle the problem of verification while considering advanced relative and absolute temporal constraints. Firstly, a set of rules are proposed to prevent the designer to specify some faulty temporal combinations of absolute temporal constraints, early on, before the execution step. Second, to capture relative temporal constraints, we propose a mapping step whose aim is to map timed business processes into timed automata. Using the defined formal model, we finally investigate a model checking based verification approach that aims at validating business processes against their temporal constraints.