Towards Compliance Verification Between Global and Local Process Models

@inproceedings{Kwantes2015TowardsCV,
  title={Towards Compliance Verification Between Global and Local Process Models},
  author={Pieter M. Kwantes and Pieter Van Gorp and Jetty Kleijn and Arend Rensink},
  booktitle={ICGT},
  year={2015}
}
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… CONTINUE READING