• Publications
  • Influence
Using model checking to control the structural errors in BPMN models
TLDR
The emergence of BPMN as a standard notation to express the business processes is based on its simplicity of notations and its exhaustive expressiveness. Expand
Analyzing the ripple effects of change in business process models
TLDR
This paper proposes a dependency-centric approach for change impact analysis for change management in business process models. Expand
Formal approach for compliance rules checking in business process models
TLDR
The business process models should comply with a set of rules describing the operations, policies and constraints that an organization must respect under financial authorities . Expand
Detecting structural errors in BPMN process models
TLDR
We present an approach based on model checking for the automated verification of business process models. Expand
Towards a better assessment of event logs quality
TLDR
In this paper, we propose a qualitative model which aims to assess the quality of event logs before applying process mining algorithms. Expand
Ontology-Based Change Impact Assessment in Dynamic Business Processes
TLDR
We propose a methodology based on dependency analysis for an a priori change impact analysis in the business process models. Expand
Communication-Based Business Process Task Detection - Application in the CRM Context
TLDR
We introduce the concept of "communication-based manual task" in the BP design. Expand
An approach based on ontology for discovering data impacting the execution of a business process
TLDR
We propose a meta model for a BP contextualization solution to link the process with its context through the selection of data that can impact it. Expand