Visual analytics for soundness verification of process models

Humberto S. Garcia Caballero; Michel A. Westenberg; Henricus M.W. Verbeek; Wil M.P. van der Aalst

doi:10.1007/978-3-319-74030-0_59

Visual analytics for soundness verification of process models

Humberto S. Garcia Caballero, Michel A. Westenberg, Henricus M.W. Verbeek, Wil M.P. van der Aalst

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

2 Downloads (Pure)

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.

Original language	English
Title of host publication	Business Process Management Workshops
Subtitle of host publication	BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers
Editors	E. Teniente, M. Weidlich
Place of Publication	Dordrecht
Publisher	Springer
Pages	744-756
Number of pages	13
ISBN (Electronic)	978-3-319-74030-0
ISBN (Print)	978-3-319-74029-4
DOIs	https://doi.org/10.1007/978-3-319-74030-0_59
Publication status	Published - 1 Jan 2018
Event	15th International Conference on Business Process Management (BPM 2017) - Barcelona, Spain Duration: 10 Sept 2017 → 15 Sept 2017 Conference number: 15 https://bpm2017.cs.upc.edu/

Publication series

Name	Lecture Notes in Business Information Processing
Volume	308
ISSN (Print)	1865-1348

Conference

Conference	15th International Conference on Business Process Management (BPM 2017)
Abbreviated title	BPM 2017
Country/Territory	Spain
City	Barcelona
Period	10/09/17 → 15/09/17
Internet address	https://bpm2017.cs.upc.edu/

Keywords

Petri nets
Process mining
Process models
Soundness
Verification
Visual analytics
Visualization

Access to Document

10.1007/978-3-319-74030-0_59

Cite this

Garcia Caballero, H. S., Westenberg, M. A., Verbeek, H. M. W., & van der Aalst, W. M. P. (2018). Visual analytics for soundness verification of process models. In E. Teniente, & M. Weidlich (Eds.), Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers (pp. 744-756). (Lecture Notes in Business Information Processing; Vol. 308). Springer. https://doi.org/10.1007/978-3-319-74030-0_59

Garcia Caballero, Humberto S. ; Westenberg, Michel A. ; Verbeek, Henricus M.W. et al. / Visual analytics for soundness verification of process models. Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers. editor / E. Teniente ; M. Weidlich. Dordrecht : Springer, 2018. pp. 744-756 (Lecture Notes in Business Information Processing).

@inproceedings{d4ded6a17f984a1a94a02233305644cc,

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, Process mining, Process models, Soundness, Verification, Visual analytics, Visualization",

author = "{Garcia Caballero}, {Humberto S.} and Westenberg, {Michel A.} and Verbeek, {Henricus M.W.} and {van der Aalst}, {Wil M.P.}",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-319-74030-0_59",

language = "English",

isbn = "978-3-319-74029-4",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer",

pages = "744--756",

editor = "E. Teniente and M. Weidlich",

booktitle = "Business Process Management Workshops",

address = "Germany",

note = "15th International Conference on Business Process Management (BPM 2017), BPM 2017 ; Conference date: 10-09-2017 Through 15-09-2017",

url = "https://bpm2017.cs.upc.edu/",

}

Garcia Caballero, HS, Westenberg, MA, Verbeek, HMW & van der Aalst, WMP 2018, Visual analytics for soundness verification of process models. in E Teniente & M Weidlich (eds), Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers. Lecture Notes in Business Information Processing, vol. 308, Springer, Dordrecht, pp. 744-756, 15th International Conference on Business Process Management (BPM 2017), Barcelona, Spain, 10/09/17. https://doi.org/10.1007/978-3-319-74030-0_59

Visual analytics for soundness verification of process models. / Garcia Caballero, Humberto S.; Westenberg, Michel A.; Verbeek, Henricus M.W. et al.
Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers. ed. / E. Teniente; M. Weidlich. Dordrecht: Springer, 2018. p. 744-756 (Lecture Notes in Business Information Processing; Vol. 308).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Visual analytics for soundness verification of process models

AU - Garcia Caballero, Humberto S.

AU - Westenberg, Michel A.

AU - Verbeek, Henricus M.W.

AU - van der Aalst, Wil M.P.

N1 - Conference code: 15

PY - 2018/1/1

Y1 - 2018/1/1

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 - Process mining

KW - Process models

KW - Soundness

KW - Verification

KW - Visual analytics

KW - Visualization

UR - http://www.scopus.com/inward/record.url?scp=85041743771&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-74030-0_59

DO - 10.1007/978-3-319-74030-0_59

M3 - Conference contribution

AN - SCOPUS:85041743771

SN - 978-3-319-74029-4

T3 - Lecture Notes in Business Information Processing

SP - 744

EP - 756

BT - Business Process Management Workshops

A2 - Teniente, E.

A2 - Weidlich, M.

PB - Springer

CY - Dordrecht

T2 - 15th International Conference on Business Process Management (BPM 2017)

Y2 - 10 September 2017 through 15 September 2017

ER -

Garcia Caballero HS, Westenberg MA, Verbeek HMW , van der Aalst WMP. Visual analytics for soundness verification of process models. In Teniente E, Weidlich M, editors, Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers. Dordrecht: Springer. 2018. p. 744-756. (Lecture Notes in Business Information Processing). doi: 10.1007/978-3-319-74030-0_59

Visual analytics for soundness verification of process models

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this