DeHMiMoP’17

Held in conjunction with BPM 2017, Barcelona, Spain, 10-15 September 2017

Workshop theme: The application of declarative and hybrid approaches to the mining and modelling of business rules and decisions in the context of business processes (see full outline below).

↑

Important Dates

↑

Workshop Location

The DeHMiMoP’17 workshop will be held in conjunction with BPM 2017 in Barcelona, Spain.

↑

Workshop Program

14:00 - 15:30       Workshop session 1 (VS219):

• 14:00 - 14:15       Opening by the Chairs
• 14:20 - 14:55       Presentation: ‘Challenges in Refactoring Processes to Include Decision Modelling’

Faruk Hasic; Lesly Devadder; Maxim Dochez; Jonas Hanot; Johannes De Smedt; Jan Vanthienen

• 15:00 - 15:30       Presentation: ‘Data-Centric Extraction of DMN Decision Models from BPMN process Models’

Ekaterina Bazhenova; Francesca Zerbato; Mathias Weske

15:30 - 16:00       Coffee break

16:00 - 17:30       Workshop session 2 (VS219):

• 16:00 - 16:30       Presentation: ‘Discovering business rules in knowledge-intensive processes through decision mining: experimental study’

Júlio Campos; Pedro Richetti; Fernanda Araújo Baião; Flávia Maria Santoros

• 16:30 - 17:00       Keynote speech: ''Decision-making in Business Processes: From top to down"

María Teresa Gómez López, Universidad de Sevilla

Abstract: "Decision-makings are traversals in every company, such as to open a new branch, the number of employers to hire, the activity to execute or the quantity to invest. The operational level has been the most studied scenario, but companies need also to tackle decisions in strategic and tactical levels. Derived from the complexity of the decisions and the heterogeneous nature of the elements, several challenges and domains can be found that affect and involve the business processes used in daily activities.  In this presentation, some open problems in real scenarios related to the different levels of business management are envisioned. This brings out the necessity to find new mechanisms of modelling business processes and how the possible solutions can be aligned with the daily business processes."

• 17:00 - 17:30       Panel : "Nurturing research into hybrid and declarative approaches to Business Process Management"

↑

Description

Business Process Management (BPM) and its life cycle activities – design, modelling, execution, monitoring and optimization of business processes – have become a crucial part of business management. Most processes and business process models incorporate ​rules and ​decisions of some kind that describe the premises and possible outcomes of a specific situation.

In particular, Knowledge-intensive Processes (KiPs) such as checking creditworthiness in a financial process, claim acceptance in an insurance process, eligibility decisions in social security, etc., highly rely on such rules and decisions to guide the workflows of all process stakeholders. The high variability of the situations in which those processes are enacted makes them very flexible by nature, and calls for the explicit description of all the involved rules and decisions to properly depict their behaviour.

While traditional imperative notations such as BPMN excel at describing happy paths, they turn out to be rather inadequate for modelling rules and decisions. Imperative notations indeed tend to describe possible behaviour as alternative, restricted flows. As a consequence, encompassing all possible variations makes imperative models very cluttered and thus proves to be impractical in highly flexible scenarios. Against this background, a new declarative modelling paradigm has been proposed that aims to directly capture the business rules or constraints underlying the process. Academic interest in the approach has grown in recent years, leading to the development of several declarative notations, such as Declare, DCR Graphs, DMN, CMMN, GSM and eCRG.

However, declarative notations have struggled with industrial adoption. A common hypothesis is that the declarative paradigm requires modellers to think in radically new ways, which makes them hesitant to abandon the imperative approaches that they are used to. Preliminary research has indeed shown that users are by far more perceptive towards the idea of combining their imperative work practices with the new declarative approach. Grounded in these observations, a ​hybrid paradigm has been proposed, which aims to combine the strengths of both the imperative and declarative approaches.

This is the fifth (extended) edition of the workshop. For the previous edition, see https://feb.kuleuven.be/demimop16

Purpose of the workshop

In this workshop, we are interested in the application and challenges of decision- and rule-based modelling in all phases of the BPM lifecycle (identification, discovery, analysis, redesign, implementation and monitoring).

The purpose of the workshop is therefore:

• To examine the relationship between rules, decisions and processes, including ​models ​not only to model the process​, but ​also to model the rules and decisions​.
• To enhance ​rule and decision mining ​based on process data (e.g. event logs)
• To examine decision ​goals, structures​, and their connection with business ​processes​, in order to find a good integration between rule- and decision-based modelling and flow-based modelling.
• To examine ​standards​ (DMN, CMMN, BPMN) and their integration.
• To study how different process models can be ​designed to fit a decision process, according to various optimization criteria, such as throughput time, use of resources, …
• To study the integration between ​declarative models​ and traditional ​imperative models​.
• To show ​best practices​ in separating process, rule and decision concerns.

Topics of interest

Topics of interest include, but are not limited to:

- Declarative and hybrid (decision and process modeling) approaches

• Declarative notations (Declare, DCR Graphs, GSM, eCRG, …)
• Decision & goal notations (DMN, PDM, …)
• Case management notations (CMMN, …)
• Hybrid notations (BPMN & Declare, BPMN & DMN, …)
• Declarative and hybrid modelling methodologies
• Process metrics
• Process maintenance and flexibility
• Human-centred and flexible processes
• Decision rules and processes
• Decision models and structures
• Formal analysis (e.g. expressiveness proofs) of declarative and hybrid notations
• Formal verification (e.g. model-checking and static analysis) of declarative and hybrid models
• Run-time adaptation of declarative and hybrid process models

- Decision and rule mining (including declarative and hybrid mining)

• Decision mining
• Data mining, rule mining, process mining
• Declarative mining
• Hybrid mining

- Applications of decision and rule modelling in business processes

• Goal driven processes
• Business Process Compliance
• Knowledge workflow management
• Usability and understandability studies
• Case studies
• Tools

↑

Submission

Papers should be formatted according to Springer’s LNCS formatting guidelines. Submissions must be in English and not exceed 12 pages of length. The title page must contain a short abstract clarifying the relation of the paper with the topics given above. The paper must clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. Student papers must be clearly marked as such. Concerning length and formatting, student papers must follow the same guidelines as research papers.

Each paper will be reviewed by at least three program committee members guaranteeing that only papers presenting high quality work and innovative research in areas relevant to the workshop theme will be accepted. Submissions must be original contributions that have not been published previously, nor already submitted to other conferences or journals in parallel with this conference. Empirical papers should where possible build on novel datasets previously unpublished. Research on existing datasets must clearly explain the novelty of the applied analysis. All accepted papers will appear in the workshop proceedings published by Springer. There will be a single volume dedicated to the proceedings of all BPM workshops.

Accepted papers imply that at least one of the authors will register for the BPM conference and present the paper at the DeHMiMoP workshop.

Papers are submitted electronically through EasyChair:

↑

Organizers

↑

Program Committee

• Bart Baesens​, KU Leuven, Belgium
• Fernanda Baião​, Universidade Federal do Estado do Rio de Janeiro, Brazil
• Andrea Burattin, University of Innsbruck, Austria
• Paolo Ceravolo, University of Milan, Italy
• Guoqing Chen​, Tsinghua University, Beijing, China
• Massimiliano de Leoni, Eindhoven University of Technology, The Netherlands
• Riccardo De Masellis, Fondazione Bruno Kessler, Trento, Italy
• Johannes De Smedt​, University of Edinburgh, UK
• Jochen De Weerdt​, KU Leuven, Belgium
• Chiara Di Francescomarino, Fondazione Bruno Kessler, Trento, Italy
• Robert Golan​, DBmind Technologies Inc., United States
• Xunhua Guo​, Tsinghua University, Beijing, China
• Amin Jalali, Stockholm University, Sweden
• Jae-Yoon Jung​, Kyung Hee University, South Korea
• Thomas T. Hildebrandt, IT University of Copenhagen
• Dimitris Karagiannis​, University of Vienna, Austria
• Ricardo M.F. Lima​, Federal University of Pernambuco, Brazil
• Pericles Loucopoulos​, Loughborough University, United Kingdom
• Fabrizio Maria Maggi, University of Tartu
• Andrea Marrella, Sapienza University of Rome, Italy
• Marco Montali, Free University of Bozen-Bolzano, Italy
• Jorge Munoz-Gama​, Pontificia Universidad Católica de Chile, Chile
• Stefan Schönig, University of Bayreuth, Germany
• Lucinéia H. Thom​, Universidade Federal do Rio Grande do Sul, Brazil
• Seppe K.L.M. vanden Broucke​, KU Leuven, Belgium
• Barbara Weber, Technical University of Denmark
• Richard Weber​, Universidad de Chile, Chile
• Qiang Wei​, Tsinghua University, Beijing, China
• Mathias Weske​, Hasso Plattner Institute, University of Potsdam, Germany

↑