Query Data Inconsistency for Business Processes

Business processes are designed to achieve business goals under procedural rules by orchestrating tasks, information and documents. Managing data inconsistency in business processes is a challenging task. If not managed properly, business will face negative financial consequences. From literatures, BPMN modelling approaches deal with inconsistency problem by patterns; data provenance approaches analyze data generated in business process and investigate the reachability between data points. Although substantial works have been done, the data inconsistency problem has not been properly resolved. In particular, it is still lacking of modelling language and resolution for inconsistency caused by multiple starting points of business processes and dynamics of business processes execution. This paper provides data consistency solution in two aspects: a business process modelling in enriched business workflow notation with data states and temporal properties, and a workflow query algorithm to discovery data inconsistency issue.