Towards Compliance Verification Between Global and Local Process Models

Pieter M. Kwantes, Pieter van Gorp, Jetty Kleijn, Arend Rensink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Abstract

This paper addresses the question how to verify that the local workflow of an organisation participating in a cross-organisational collaboration is in compliance with the globally specified rules of that collaboration. We assume that the collaborative workflow is specified as a BPMN Collaboration Diagram and the local workflows as BPMN Process Diagrams. We then employ existing LTL semantics of the former and token semantics of the latter to verify conformance. We use the graph transformation tool GROOVE to automate the verification, and exemplify our approach with a case study from the financial markets domain.
Original languageUndefined
Title of host publicationProceedings of the 8th International Conference on Graph Transformation, ICGT 2015
EditorsFrancesco Parisi-Presicce, Bernhard Westfechtel
Place of PublicationBerlin
PublisherSpringer
Pages221-236
Number of pages16
ISBN (Print)978-3-319-21144-2
DOIs
Publication statusPublished - Jul 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume9151
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • EWI-26417
  • Graph Transformation
  • IR-98386
  • Business Process Modelling
  • METIS-315005
  • Verification

Cite this

Kwantes, P. M., van Gorp, P., Kleijn, J., & Rensink, A. (2015). Towards Compliance Verification Between Global and Local Process Models. In F. Parisi-Presicce, & B. Westfechtel (Eds.), Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015 (pp. 221-236). (Lecture Notes in Computer Science; Vol. 9151). Berlin: Springer. https://doi.org/10.1007/978-3-319-21145-9_14
Kwantes, Pieter M. ; van Gorp, Pieter ; Kleijn, Jetty ; Rensink, Arend. / Towards Compliance Verification Between Global and Local Process Models. Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. editor / Francesco Parisi-Presicce ; Bernhard Westfechtel. Berlin : Springer, 2015. pp. 221-236 (Lecture Notes in Computer Science).
@inproceedings{bfdc59607afe4fd692b3327453b10f0b,
title = "Towards Compliance Verification Between Global and Local Process Models",
abstract = "This paper addresses the question how to verify that the local workflow of an organisation participating in a cross-organisational collaboration is in compliance with the globally specified rules of that collaboration. We assume that the collaborative workflow is specified as a BPMN Collaboration Diagram and the local workflows as BPMN Process Diagrams. We then employ existing LTL semantics of the former and token semantics of the latter to verify conformance. We use the graph transformation tool GROOVE to automate the verification, and exemplify our approach with a case study from the financial markets domain.",
keywords = "EWI-26417, Graph Transformation, IR-98386, Business Process Modelling, METIS-315005, Verification",
author = "Kwantes, {Pieter M.} and {van Gorp}, Pieter and Jetty Kleijn and Arend Rensink",
note = "10.1007/978-3-319-21145-9_14",
year = "2015",
month = "7",
doi = "10.1007/978-3-319-21145-9_14",
language = "Undefined",
isbn = "978-3-319-21144-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "221--236",
editor = "Francesco Parisi-Presicce and Bernhard Westfechtel",
booktitle = "Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015",

}

Kwantes, PM, van Gorp, P, Kleijn, J & Rensink, A 2015, Towards Compliance Verification Between Global and Local Process Models. in F Parisi-Presicce & B Westfechtel (eds), Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Lecture Notes in Computer Science, vol. 9151, Springer, Berlin, pp. 221-236. https://doi.org/10.1007/978-3-319-21145-9_14

Towards Compliance Verification Between Global and Local Process Models. / Kwantes, Pieter M.; van Gorp, Pieter; Kleijn, Jetty; Rensink, Arend.

Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. ed. / Francesco Parisi-Presicce; Bernhard Westfechtel. Berlin : Springer, 2015. p. 221-236 (Lecture Notes in Computer Science; Vol. 9151).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Towards Compliance Verification Between Global and Local Process Models

AU - Kwantes, Pieter M.

AU - van Gorp, Pieter

AU - Kleijn, Jetty

AU - Rensink, Arend

N1 - 10.1007/978-3-319-21145-9_14

PY - 2015/7

Y1 - 2015/7

N2 - This paper addresses the question how to verify that the local workflow of an organisation participating in a cross-organisational collaboration is in compliance with the globally specified rules of that collaboration. We assume that the collaborative workflow is specified as a BPMN Collaboration Diagram and the local workflows as BPMN Process Diagrams. We then employ existing LTL semantics of the former and token semantics of the latter to verify conformance. We use the graph transformation tool GROOVE to automate the verification, and exemplify our approach with a case study from the financial markets domain.

AB - This paper addresses the question how to verify that the local workflow of an organisation participating in a cross-organisational collaboration is in compliance with the globally specified rules of that collaboration. We assume that the collaborative workflow is specified as a BPMN Collaboration Diagram and the local workflows as BPMN Process Diagrams. We then employ existing LTL semantics of the former and token semantics of the latter to verify conformance. We use the graph transformation tool GROOVE to automate the verification, and exemplify our approach with a case study from the financial markets domain.

KW - EWI-26417

KW - Graph Transformation

KW - IR-98386

KW - Business Process Modelling

KW - METIS-315005

KW - Verification

U2 - 10.1007/978-3-319-21145-9_14

DO - 10.1007/978-3-319-21145-9_14

M3 - Conference contribution

SN - 978-3-319-21144-2

T3 - Lecture Notes in Computer Science

SP - 221

EP - 236

BT - Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015

A2 - Parisi-Presicce, Francesco

A2 - Westfechtel, Bernhard

PB - Springer

CY - Berlin

ER -

Kwantes PM, van Gorp P, Kleijn J, Rensink A. Towards Compliance Verification Between Global and Local Process Models. In Parisi-Presicce F, Westfechtel B, editors, Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Berlin: Springer. 2015. p. 221-236. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-21145-9_14