Abstract:Organizations that adopt process modeling often maintain several co-existing models of the same business process. These models target different abstraction levels and stakeholder perspectives. Maintaining consistency among these models has become a major challenge for such organizations. Although several academic works have discussed this challenge, little empirical investigation exists on how people perform process model consistency management in practice. This paper aims to address this lack by presenting an in-depth empirical study of a business-driven engineering process deployed at a large company in the banking sector. We analyzed more than 70 business process models developed by the company, including their change history, with over 1,000 change requests. We also interviewed 9 business and IT practitioners and surveyed 23 such practitioners to understand concrete difficulties in consistency management, the rationales for the specification-to-implementation refinements found in the models, strategies that the practitioners use to detect and fix inconsistencies, and how tools could help with these tasks. Our contribution is a set of eight empirical findings, some of which confirm or contradict previous works on process model consistency management found in the literature. The findings provide empirical evidence of (1) how business process models are created and maintained, including a set of recurrent patterns used to refine business-level process specifications into IT-level models; (2) what types of inconsistencies occur; how they are introduced; and what problems they cause; and (3) what stakeholders expect from tools to support consistency management.

A Method for Checking Consistency Between Domain Requirements and Business Process

Improving Natural Language Requirements Quality Using Workflow Patterns

Requirement Consistency and Integrity Verification Method based on Natural Language Processing

Model Checking of BPMN Models for Reconfigurable Workflows

A Framework for Model Checking Web Service Compositions Based on BPEL4WS

Verifying the Consistency between Business Process Model and Data Model

A Consistency Checking Approach for System Architecture

Consistency Verification for Web Service Business Process

A Model Checking Method To Verify Bpel4people Processes

Alignment Based Conformance Checking Algorithm for BPMN 2.0 Model

An Automatic Compliance Checking Approach for Software Processes

A Case Study on Consistency Management of Business and IT Process Models in Banking

Consistency checking of concurrent models for scenario-based specifications

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.

Model checking dynamic UML consistency

Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.

Detecting of Requirements Inconsistency: an Ontology-Based Approach

validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models

Real-time Consistency Analysis Method of Distributed Business Processes

A Measurement-Driven Process Model for Managing Inconsistent Software Requirements