Towards Compliance Verification Between Global and Local Process Models

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

  • 4 Citations

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 Verlag
Pages221-236
Number of pages16
ISBN (Print)978-3-319-21144-2
DOIs
StatePublished - Jul 2015

Publication series

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

Fingerprint

Diagrams
Graph transformation
Financial markets

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 Verlag. DOI: 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. ed. / Francesco Parisi-Presicce; Bernhard Westfechtel. Berlin : Springer Verlag, 2015. p. 221-236 (Lecture Notes in Computer Science; Vol. 9151).

Research output: Scientific - peer-reviewConference contribution

@inbook{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",
isbn = "978-3-319-21144-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "221--236",
editor = "Francesco Parisi-Presicce and Bernhard Westfechtel",
booktitle = "Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015",
address = "Germany",

}

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 Verlag, Berlin, pp. 221-236. DOI: 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 Verlag, 2015. p. 221-236 (Lecture Notes in Computer Science; Vol. 9151).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

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

PB - Springer Verlag

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 Verlag. 2015. p. 221-236. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-21145-9_14