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

    7 Citations (Scopus)
    2 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