Detecting runtime business process compliance with artifact lifecycles

Abstract

Detecting business process compliance in runtime is the complementary to static compliance checking in the stage of process design, and allows checking whether an execution of a business process satisfies a given constraint. In this paper, runtime compliance checking is used for artifact-centric business process and artifact lifecycles are treated as business constraints. Previous methods for runtime compliance checking mainly put focus on activities in business process and lose the attention for data. In this work we concentrate on both the evolution of artifacts (data) and services (activities) to identify the frontier between decidability and undecidability of the runtime compliance problem. We also provide decidable results and the implement method under regular and context-free artifact lifecycles. © Springer-Verlag 2013.