Visual analytics for soundness verification of process models

Research output: Contribution to conferencePaperAcademic

Abstract

Soundness validation of process models is a complex task for process modelers due to all the factors that must be taken into account. Although there are tools to verify this property, they do not provide users with easy information on where soundness starts breaking and under which conditions. Providing insights such as states in which problems occur, involved activities, or paths leading to those states, is crucial for process modelers to better understand why the model is not sound. In this paper we address the problem of validating the soundness property of a process model by using a novel visual approach and a new tool called PSVis (Petri net Soundness Visualization) supporting this approach. The PSVis tool aims to guide expert users through the process models in order to get insights into the problems that cause the process to be unsound

Workshop

Workshop6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes
Abbreviated titleTaProViz'17
CountrySpain
CityBarcelona
Period11/09/1711/09/17
Internet address

Fingerprint

Petri nets
Visualization
Acoustic waves

Keywords

  • Petri nets
  • Soundness
  • Verification
  • Process models
  • Process mining
  • Visualization
  • Visual analytics

Cite this

Garcia Caballero, H. S., Westenberg, M. A., Verbeek, H. M. W., & van der Aalst, W. M. P. (2017). Visual analytics for soundness verification of process models. Paper presented at 6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes, Barcelona, Spain.
Garcia Caballero, H.S. ; Westenberg, M.A. ; Verbeek, H.M.W. ; van der Aalst, W.M.P./ Visual analytics for soundness verification of process models. Paper presented at 6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes, Barcelona, Spain.
@conference{804dd8ec35754e91be94c313264d1cc6,
title = "Visual analytics for soundness verification of process models",
abstract = "Soundness validation of process models is a complex task for process modelers due to all the factors that must be taken into account. Although there are tools to verify this property, they do not provide users with easy information on where soundness starts breaking and under which conditions. Providing insights such as states in which problems occur, involved activities, or paths leading to those states, is crucial for process modelers to better understand why the model is not sound. In this paper we address the problem of validating the soundness property of a process model by using a novel visual approach and a new tool called PSVis (Petri net Soundness Visualization) supporting this approach. The PSVis tool aims to guide expert users through the process models in order to get insights into the problems that cause the process to be unsound",
keywords = "Petri nets, Soundness, Verification, Process models, Process mining, Visualization, Visual analytics",
author = "{Garcia Caballero}, H.S. and M.A. Westenberg and H.M.W. Verbeek and {van der Aalst}, W.M.P.",
year = "2017",
language = "English",
note = "6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes, TaProViz'17 ; Conference date: 11-09-2017 Through 11-09-2017",
url = "http://www.wst.univie.ac.at/topics/taproviz17/",

}

Garcia Caballero, HS, Westenberg, MA, Verbeek, HMW & van der Aalst, WMP 2017, 'Visual analytics for soundness verification of process models' Paper presented at 6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes, Barcelona, Spain, 11/09/17 - 11/09/17, .

Visual analytics for soundness verification of process models. / Garcia Caballero, H.S.; Westenberg, M.A.; Verbeek, H.M.W.; van der Aalst, W.M.P.

2017. Paper presented at 6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes, Barcelona, Spain.

Research output: Contribution to conferencePaperAcademic

TY - CONF

T1 - Visual analytics for soundness verification of process models

AU - Garcia Caballero,H.S.

AU - Westenberg,M.A.

AU - Verbeek,H.M.W.

AU - van der Aalst,W.M.P.

PY - 2017

Y1 - 2017

N2 - Soundness validation of process models is a complex task for process modelers due to all the factors that must be taken into account. Although there are tools to verify this property, they do not provide users with easy information on where soundness starts breaking and under which conditions. Providing insights such as states in which problems occur, involved activities, or paths leading to those states, is crucial for process modelers to better understand why the model is not sound. In this paper we address the problem of validating the soundness property of a process model by using a novel visual approach and a new tool called PSVis (Petri net Soundness Visualization) supporting this approach. The PSVis tool aims to guide expert users through the process models in order to get insights into the problems that cause the process to be unsound

AB - Soundness validation of process models is a complex task for process modelers due to all the factors that must be taken into account. Although there are tools to verify this property, they do not provide users with easy information on where soundness starts breaking and under which conditions. Providing insights such as states in which problems occur, involved activities, or paths leading to those states, is crucial for process modelers to better understand why the model is not sound. In this paper we address the problem of validating the soundness property of a process model by using a novel visual approach and a new tool called PSVis (Petri net Soundness Visualization) supporting this approach. The PSVis tool aims to guide expert users through the process models in order to get insights into the problems that cause the process to be unsound

KW - Petri nets

KW - Soundness

KW - Verification

KW - Process models

KW - Process mining

KW - Visualization

KW - Visual analytics

M3 - Paper

ER -

Garcia Caballero HS, Westenberg MA, Verbeek HMW, van der Aalst WMP. Visual analytics for soundness verification of process models. 2017. Paper presented at 6th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes, Barcelona, Spain.