A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes

Authors

  • Tatiana Barboza Universidade Federal do Estado do Rio de Janeiro
  • Fernanda Araújo Baião Universidade Federal do Estado do Rio de Janeiro
  • Flávia Maria Santoro Universidade Federal do Estado do Rio de Janeiro

DOI:

https://doi.org/10.5753/isys.2019.384

Keywords:

Model Validation, Information Systems, Knowledge-intensive processes, Conceptual modelling, BPM

Abstract

With the recent advances on Business Process Management (BPM) research and practice, organizations are changing their focus towards critical business processes that are poorly structured, dynamic and highly complex, known as Knowledge-intensive Processes (KiP). Due to their characteristics, typical BPM activities such as modeling, instantiation, validation and simulation of process models poses many challenges. This work proposes a rulebased strategy to instantiate, validate and simulate KiP models, and presents KIPAlloy, a computational tool that supports KIP modelling. The proposed strategy considers the Knowledge-intensive Process Ontology (KiPO) as a metamodel for modelling a KiP and transforms its rules into specifications in the Alloy logic-based language. We evaluate the applicability of the proposal in four different scenarios, in which we illustrate the use of the proposed KIPAlloy tool and discuss its benefits to process modelers.

Downloads

Download data is not yet available.

Author Biographies

Tatiana Barboza, Universidade Federal do Estado do Rio de Janeiro

Master Student at UNIRIO

Fernanda Araújo Baião, Universidade Federal do Estado do Rio de Janeiro

Professora Universitária - UNIRIO

Flávia Maria Santoro, Universidade Federal do Estado do Rio de Janeiro

Professora Universitário (UNIRIO)

Published

2019-04-17

How to Cite

Barboza, T., Baião, F. A., & Santoro, F. M. (2019). A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes. ISys - Brazilian Journal of Information Systems, 12(1), 76–99. https://doi.org/10.5753/isys.2019.384

Issue

Section

Extended versions of selected articles