@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 ; 8th International Conference on Graph Transformation, ICGT 2015, L'Aquila, Italy ; Conference date: 01-07-2015",
year = "2015",
month = jul,
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",
address = "Germany",
}