Formalizing and appling compliance patterns for business process compliance View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2014-02-08

AUTHORS

Amal Elgammal, Oktay Turetken, Willem-Jan van den Heuvel, Mike Papazoglou

ABSTRACT

Today’s enterprises demand a high degree of compliance of business processes to meet diverse regulations and legislations. Several industrial studies have shown that compliance management is a daunting task, and organizations are still struggling and spending billions of dollars annually to ensure and prove their compliance. In this paper, we introduce a comprehensive compliance management framework with a main focus on design-time compliance management as a first step towards a preventive lifetime compliance support. The framework enables the automation of compliance-related activities that are amenable to automation, and therefore can significantly reduce the expenditures spent on compliance. It can help experts to carry out their work more efficiently, cut the time spent on tedious manual activities, and reduce potential human errors. An evident candidate compliance activity for automation is the compliance checking, which can be achieved by utilizing formal reasoning and verification techniques. However, formal languages are well known of their complexity as only versed users in mathematical theories and formal logics are able to use and understand them. However, this is generally not the case with business and compliance practitioners. Therefore, in the heart of the compliance management framework, we introduce the Compliance Request Language (CRL), which is formally grounded on temporal logic and enables the abstract pattern-based specification of compliance requirements. CRL constitutes a series of compliance patterns that spans three structural facets of business processes; control flow, employed resources and temporal perspectives. Furthermore, CRL supports the specification of compensations and non-monotonic requirements, which permit the relaxation of some compliance requirements to handle exceptional situations. An integrated tool suite has been developed as an instantiation artefact, and the validation of the approach is undertaken in several directions, which includes internal validity, controlled experiments, and functional testing. More... »

PAGES

119-146

References to SciGraph publications

  • 2006. Pattern Based Property Specification and Verification for Service Composition in WEB INFORMATION SYSTEMS – WISE 2006
  • 2012. Where Did I Misbehave? Diagnostic Information in Compliance Checking in BUSINESS PROCESS MANAGEMENT
  • 2011. An Iterative Approach for Business Process Template Synthesis from Compliance Rules in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2006. Designing Compliant Business Processes with Obligations and Permissions in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2011. Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS
  • 2011. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2008. Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) in COMPUTABLE MODELS OF THE LAW
  • 2007-01-01. Modeling Control Objectives for Business Process Compliance in BUSINESS PROCESS MANAGEMENT
  • 2009-06-10. On enabling integrated process compliance with semantic constraints in process management systems in INFORMATION SYSTEMS FRONTIERS
  • 2006. A Declarative Approach for Flexible Business Processes Management in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2012. Automatic Information Flow Analysis of Business Process Models in BUSINESS PROCESS MANAGEMENT
  • 2011. On the Formal Specification of Regulatory Compliance: A Comparative Analysis in SERVICE-ORIENTED COMPUTING
  • 2011. Designing for Compliance: Norms and Goals in RULE-BASED MODELING AND COMPUTING ON THE SEMANTIC WEB
  • 2008-11-23. Synthesizing Service Composition Models on the Basis of Temporal Business Rules in JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
  • 2011-04-20. Automated Certification for Compliant Cloud-based Business Processes in BUSINESS & INFORMATION SYSTEMS ENGINEERING
  • 2004. WSAT: A Tool for Formal Analysis of Web Services in COMPUTER AIDED VERIFICATION
  • 2003. The PSL/Sugar Specification Language A Language for all Seasons in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS
  • 2007-01-01. Modeling of Task-Based Authorization Constraints in BPMN in BUSINESS PROCESS MANAGEMENT
  • 2008-02-15. BIO logical agents: Norms, beliefs, intentions in defeasible logic in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
  • 2009. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules in SERVICE-ORIENTED COMPUTING – ICSOC 2007
  • 2002-03-14. The ForSpec Temporal Logic: A New Temporal Property-Specification Language in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2010. Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns in SERVICE-ORIENTED COMPUTING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10270-014-0395-3

    DOI

    http://dx.doi.org/10.1007/s10270-014-0395-3

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1030097208


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Governance, Risk Management and Compliance Technology Centre (GRCTC), University College Cork, Cork, Ireland", 
              "id": "http://www.grid.ac/institutes/grid.7872.a", 
              "name": [
                "Governance, Risk Management and Compliance Technology Centre (GRCTC), University College Cork, Cork, Ireland"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Elgammal", 
            "givenName": "Amal", 
            "id": "sg:person.012714666544.68", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012714666544.68"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Industrial Engineering, Eindhoven University of Technology, 5600\u00a0MB, Eindhoven, Netherlands", 
              "id": "http://www.grid.ac/institutes/grid.6852.9", 
              "name": [
                "School of Industrial Engineering, Eindhoven University of Technology, 5600\u00a0MB, Eindhoven, Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Turetken", 
            "givenName": "Oktay", 
            "id": "sg:person.016464537447.20", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016464537447.20"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "European Research Institute in Service Science (ERISS), Tilburg University, 5000\u00a0LE, Tilburg, Netherlands", 
              "id": "http://www.grid.ac/institutes/grid.12295.3d", 
              "name": [
                "European Research Institute in Service Science (ERISS), Tilburg University, 5000\u00a0LE, Tilburg, Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "van den Heuvel", 
            "givenName": "Willem-Jan", 
            "id": "sg:person.013376573333.91", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013376573333.91"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "European Research Institute in Service Science (ERISS), Tilburg University, 5000\u00a0LE, Tilburg, Netherlands", 
              "id": "http://www.grid.ac/institutes/grid.12295.3d", 
              "name": [
                "European Research Institute in Service Science (ERISS), Tilburg University, 5000\u00a0LE, Tilburg, Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Papazoglou", 
            "givenName": "Mike", 
            "id": "sg:person.016257756227.19", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016257756227.19"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-32885-5_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017343579", 
              "https://doi.org/10.1007/978-3-642-32885-5_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-10383-4_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024395685", 
              "https://doi.org/10.1007/978-3-642-10383-4_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11837862_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043300491", 
              "https://doi.org/10.1007/11837862_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-75183-0_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047696412", 
              "https://doi.org/10.1007/978-3-540-75183-0_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-21640-4_31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007189099", 
              "https://doi.org/10.1007/978-3-642-21640-4_31"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-17358-5_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019517901", 
              "https://doi.org/10.1007/978-3-642-17358-5_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10796-009-9185-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018594095", 
              "https://doi.org/10.1007/s10796-009-9185-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11390-008-9196-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051712497", 
              "https://doi.org/10.1007/s11390-008-9196-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s12599-011-0155-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041100627", 
              "https://doi.org/10.1007/s12599-011-0155-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-39724-3_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000701050", 
              "https://doi.org/10.1007/978-3-540-39724-3_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10458-008-9030-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041203675", 
              "https://doi.org/10.1007/s10458-008-9030-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46002-0_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003939375", 
              "https://doi.org/10.1007/3-540-46002-0_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24908-2_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015610187", 
              "https://doi.org/10.1007/978-3-642-24908-2_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27813-9_48", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008620382", 
              "https://doi.org/10.1007/978-3-540-27813-9_48"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-75183-0_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013871331", 
              "https://doi.org/10.1007/978-3-540-75183-0_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11837862_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029106179", 
              "https://doi.org/10.1007/11837862_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-21640-4_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042497525", 
              "https://doi.org/10.1007/978-3-642-21640-4_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19394-1_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011731347", 
              "https://doi.org/10.1007/978-3-642-19394-1_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22359-4_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035929795", 
              "https://doi.org/10.1007/978-3-642-22359-4_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11912873_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019911006", 
              "https://doi.org/10.1007/11912873_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-85569-9_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017643224", 
              "https://doi.org/10.1007/978-3-540-85569-9_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-32885-5_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017797706", 
              "https://doi.org/10.1007/978-3-642-32885-5_13"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014-02-08", 
        "datePublishedReg": "2014-02-08", 
        "description": "Today\u2019s enterprises demand a high degree of compliance of business processes to meet diverse regulations and legislations. Several industrial studies have shown that compliance management is a daunting task, and organizations are still struggling and spending billions of dollars annually to ensure and prove their compliance. In this paper, we introduce a comprehensive compliance management framework with a main focus on design-time compliance management as a first step towards a preventive lifetime compliance support. The framework enables the automation of compliance-related activities that are amenable to automation, and therefore can significantly reduce the expenditures spent on compliance. It can help experts to carry out their work more efficiently, cut the time spent on tedious manual activities, and reduce potential human errors. An evident candidate compliance activity for automation is the compliance checking, which can be achieved by utilizing formal reasoning and verification techniques. However, formal languages are well known of their complexity as only versed users in mathematical theories and formal logics are able to use and understand them. However, this is generally not the case with business and compliance practitioners. Therefore, in the heart of the compliance management framework, we introduce the Compliance Request Language (CRL), which is formally grounded on temporal logic and enables the abstract pattern-based specification of compliance requirements. CRL constitutes a series of compliance patterns that spans three structural facets of business processes; control flow, employed resources and temporal perspectives. Furthermore, CRL supports the specification of compensations and non-monotonic requirements, which permit the relaxation of some compliance requirements to handle exceptional situations. An integrated tool suite has been developed as an instantiation artefact, and the validation of the approach is undertaken in several directions, which includes internal validity, controlled experiments, and functional testing.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10270-014-0395-3", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136228", 
            "issn": [
              "1619-1366", 
              "1619-1374"
            ], 
            "name": "Software and Systems Modeling", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "15"
          }
        ], 
        "keywords": [
          "compliance management framework", 
          "business processes", 
          "compliance management", 
          "management framework", 
          "pattern-based specification", 
          "integrated tool suite", 
          "business process compliance", 
          "compliance requirements", 
          "compliance checking", 
          "request language", 
          "today\u2019s enterprises", 
          "verification techniques", 
          "compliance support", 
          "tool suite", 
          "temporal logic", 
          "process compliance", 
          "control flow", 
          "formal reasoning", 
          "formal language", 
          "potential human errors", 
          "human error", 
          "automation", 
          "formal logic", 
          "industrial studies", 
          "manual activities", 
          "daunting task", 
          "exceptional situations", 
          "compliance patterns", 
          "framework", 
          "requirements", 
          "specification", 
          "logic", 
          "billions of dollars", 
          "compliance activities", 
          "language", 
          "functional testing", 
          "users", 
          "checking", 
          "main focus", 
          "enterprises", 
          "first step", 
          "task", 
          "reasoning", 
          "mathematical theory", 
          "temporal perspective", 
          "billions", 
          "structural facets", 
          "complexity", 
          "business", 
          "experts", 
          "resources", 
          "suite", 
          "artifacts", 
          "management", 
          "error", 
          "technique", 
          "process", 
          "validation", 
          "work", 
          "situation", 
          "organization", 
          "high degree", 
          "step", 
          "support", 
          "experiments", 
          "compliance", 
          "practitioners", 
          "time", 
          "patterns", 
          "focus", 
          "perspective", 
          "testing", 
          "direction", 
          "compensation", 
          "facets", 
          "dollars", 
          "validity", 
          "theory", 
          "diverse regulation", 
          "cases", 
          "flow", 
          "degree", 
          "series", 
          "activity", 
          "legislation", 
          "study", 
          "relaxation", 
          "expenditure", 
          "heart", 
          "internal validity", 
          "regulation", 
          "paper", 
          "approach"
        ], 
        "name": "Formalizing and appling compliance patterns for business process compliance", 
        "pagination": "119-146", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1030097208"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10270-014-0395-3"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10270-014-0395-3", 
          "https://app.dimensions.ai/details/publication/pub.1030097208"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-09-02T15:57", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220902/entities/gbq_results/article/article_637.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10270-014-0395-3"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10270-014-0395-3'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10270-014-0395-3'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10270-014-0395-3'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10270-014-0395-3'


     

    This table displays all metadata directly associated to this object as RDF triples.

    265 TRIPLES      21 PREDICATES      139 URIs      109 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10270-014-0395-3 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author Nba536312316f45879411cd87f76c180c
    4 schema:citation sg:pub.10.1007/11837862_18
    5 sg:pub.10.1007/11837862_2
    6 sg:pub.10.1007/11912873_18
    7 sg:pub.10.1007/3-540-46002-0_21
    8 sg:pub.10.1007/978-3-540-27813-9_48
    9 sg:pub.10.1007/978-3-540-39724-3_3
    10 sg:pub.10.1007/978-3-540-75183-0_12
    11 sg:pub.10.1007/978-3-540-75183-0_5
    12 sg:pub.10.1007/978-3-540-85569-9_11
    13 sg:pub.10.1007/978-3-642-10383-4_37
    14 sg:pub.10.1007/978-3-642-17358-5_2
    15 sg:pub.10.1007/978-3-642-19394-1_4
    16 sg:pub.10.1007/978-3-642-21640-4_31
    17 sg:pub.10.1007/978-3-642-21640-4_39
    18 sg:pub.10.1007/978-3-642-22359-4_25
    19 sg:pub.10.1007/978-3-642-24908-2_29
    20 sg:pub.10.1007/978-3-642-32885-5_13
    21 sg:pub.10.1007/978-3-642-32885-5_21
    22 sg:pub.10.1007/s10458-008-9030-4
    23 sg:pub.10.1007/s10796-009-9185-9
    24 sg:pub.10.1007/s11390-008-9196-x
    25 sg:pub.10.1007/s12599-011-0155-7
    26 schema:datePublished 2014-02-08
    27 schema:datePublishedReg 2014-02-08
    28 schema:description Today’s enterprises demand a high degree of compliance of business processes to meet diverse regulations and legislations. Several industrial studies have shown that compliance management is a daunting task, and organizations are still struggling and spending billions of dollars annually to ensure and prove their compliance. In this paper, we introduce a comprehensive compliance management framework with a main focus on design-time compliance management as a first step towards a preventive lifetime compliance support. The framework enables the automation of compliance-related activities that are amenable to automation, and therefore can significantly reduce the expenditures spent on compliance. It can help experts to carry out their work more efficiently, cut the time spent on tedious manual activities, and reduce potential human errors. An evident candidate compliance activity for automation is the compliance checking, which can be achieved by utilizing formal reasoning and verification techniques. However, formal languages are well known of their complexity as only versed users in mathematical theories and formal logics are able to use and understand them. However, this is generally not the case with business and compliance practitioners. Therefore, in the heart of the compliance management framework, we introduce the Compliance Request Language (CRL), which is formally grounded on temporal logic and enables the abstract pattern-based specification of compliance requirements. CRL constitutes a series of compliance patterns that spans three structural facets of business processes; control flow, employed resources and temporal perspectives. Furthermore, CRL supports the specification of compensations and non-monotonic requirements, which permit the relaxation of some compliance requirements to handle exceptional situations. An integrated tool suite has been developed as an instantiation artefact, and the validation of the approach is undertaken in several directions, which includes internal validity, controlled experiments, and functional testing.
    29 schema:genre article
    30 schema:isAccessibleForFree false
    31 schema:isPartOf N4d5804762b514db1b7cae9f730b0cfa8
    32 N68ad8f60aa1e4cfda6c2f24d2cbe9630
    33 sg:journal.1136228
    34 schema:keywords activity
    35 approach
    36 artifacts
    37 automation
    38 billions
    39 billions of dollars
    40 business
    41 business process compliance
    42 business processes
    43 cases
    44 checking
    45 compensation
    46 complexity
    47 compliance
    48 compliance activities
    49 compliance checking
    50 compliance management
    51 compliance management framework
    52 compliance patterns
    53 compliance requirements
    54 compliance support
    55 control flow
    56 daunting task
    57 degree
    58 direction
    59 diverse regulation
    60 dollars
    61 enterprises
    62 error
    63 exceptional situations
    64 expenditure
    65 experiments
    66 experts
    67 facets
    68 first step
    69 flow
    70 focus
    71 formal language
    72 formal logic
    73 formal reasoning
    74 framework
    75 functional testing
    76 heart
    77 high degree
    78 human error
    79 industrial studies
    80 integrated tool suite
    81 internal validity
    82 language
    83 legislation
    84 logic
    85 main focus
    86 management
    87 management framework
    88 manual activities
    89 mathematical theory
    90 organization
    91 paper
    92 pattern-based specification
    93 patterns
    94 perspective
    95 potential human errors
    96 practitioners
    97 process
    98 process compliance
    99 reasoning
    100 regulation
    101 relaxation
    102 request language
    103 requirements
    104 resources
    105 series
    106 situation
    107 specification
    108 step
    109 structural facets
    110 study
    111 suite
    112 support
    113 task
    114 technique
    115 temporal logic
    116 temporal perspective
    117 testing
    118 theory
    119 time
    120 today’s enterprises
    121 tool suite
    122 users
    123 validation
    124 validity
    125 verification techniques
    126 work
    127 schema:name Formalizing and appling compliance patterns for business process compliance
    128 schema:pagination 119-146
    129 schema:productId N35d02fc98a064b8893fdf56eb5a5e7bb
    130 Nfcf6c78271c3452bbbfd9321aae070d9
    131 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030097208
    132 https://doi.org/10.1007/s10270-014-0395-3
    133 schema:sdDatePublished 2022-09-02T15:57
    134 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    135 schema:sdPublisher N2049657159a448789ca8e59fb7404a18
    136 schema:url https://doi.org/10.1007/s10270-014-0395-3
    137 sgo:license sg:explorer/license/
    138 sgo:sdDataset articles
    139 rdf:type schema:ScholarlyArticle
    140 N0664111eb2e34f14ac954fe0d6cc1fc5 rdf:first sg:person.016257756227.19
    141 rdf:rest rdf:nil
    142 N2049657159a448789ca8e59fb7404a18 schema:name Springer Nature - SN SciGraph project
    143 rdf:type schema:Organization
    144 N35d02fc98a064b8893fdf56eb5a5e7bb schema:name dimensions_id
    145 schema:value pub.1030097208
    146 rdf:type schema:PropertyValue
    147 N4d5804762b514db1b7cae9f730b0cfa8 schema:volumeNumber 15
    148 rdf:type schema:PublicationVolume
    149 N5ecd1d354b284976bb4110cb1cac99d4 rdf:first sg:person.016464537447.20
    150 rdf:rest N76d8745504eb4a5c9febe86ee659bf0c
    151 N68ad8f60aa1e4cfda6c2f24d2cbe9630 schema:issueNumber 1
    152 rdf:type schema:PublicationIssue
    153 N76d8745504eb4a5c9febe86ee659bf0c rdf:first sg:person.013376573333.91
    154 rdf:rest N0664111eb2e34f14ac954fe0d6cc1fc5
    155 Nba536312316f45879411cd87f76c180c rdf:first sg:person.012714666544.68
    156 rdf:rest N5ecd1d354b284976bb4110cb1cac99d4
    157 Nfcf6c78271c3452bbbfd9321aae070d9 schema:name doi
    158 schema:value 10.1007/s10270-014-0395-3
    159 rdf:type schema:PropertyValue
    160 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    161 schema:name Information and Computing Sciences
    162 rdf:type schema:DefinedTerm
    163 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    164 schema:name Information Systems
    165 rdf:type schema:DefinedTerm
    166 sg:journal.1136228 schema:issn 1619-1366
    167 1619-1374
    168 schema:name Software and Systems Modeling
    169 schema:publisher Springer Nature
    170 rdf:type schema:Periodical
    171 sg:person.012714666544.68 schema:affiliation grid-institutes:grid.7872.a
    172 schema:familyName Elgammal
    173 schema:givenName Amal
    174 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012714666544.68
    175 rdf:type schema:Person
    176 sg:person.013376573333.91 schema:affiliation grid-institutes:grid.12295.3d
    177 schema:familyName van den Heuvel
    178 schema:givenName Willem-Jan
    179 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013376573333.91
    180 rdf:type schema:Person
    181 sg:person.016257756227.19 schema:affiliation grid-institutes:grid.12295.3d
    182 schema:familyName Papazoglou
    183 schema:givenName Mike
    184 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016257756227.19
    185 rdf:type schema:Person
    186 sg:person.016464537447.20 schema:affiliation grid-institutes:grid.6852.9
    187 schema:familyName Turetken
    188 schema:givenName Oktay
    189 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016464537447.20
    190 rdf:type schema:Person
    191 sg:pub.10.1007/11837862_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029106179
    192 https://doi.org/10.1007/11837862_18
    193 rdf:type schema:CreativeWork
    194 sg:pub.10.1007/11837862_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043300491
    195 https://doi.org/10.1007/11837862_2
    196 rdf:type schema:CreativeWork
    197 sg:pub.10.1007/11912873_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019911006
    198 https://doi.org/10.1007/11912873_18
    199 rdf:type schema:CreativeWork
    200 sg:pub.10.1007/3-540-46002-0_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003939375
    201 https://doi.org/10.1007/3-540-46002-0_21
    202 rdf:type schema:CreativeWork
    203 sg:pub.10.1007/978-3-540-27813-9_48 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008620382
    204 https://doi.org/10.1007/978-3-540-27813-9_48
    205 rdf:type schema:CreativeWork
    206 sg:pub.10.1007/978-3-540-39724-3_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000701050
    207 https://doi.org/10.1007/978-3-540-39724-3_3
    208 rdf:type schema:CreativeWork
    209 sg:pub.10.1007/978-3-540-75183-0_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013871331
    210 https://doi.org/10.1007/978-3-540-75183-0_12
    211 rdf:type schema:CreativeWork
    212 sg:pub.10.1007/978-3-540-75183-0_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047696412
    213 https://doi.org/10.1007/978-3-540-75183-0_5
    214 rdf:type schema:CreativeWork
    215 sg:pub.10.1007/978-3-540-85569-9_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017643224
    216 https://doi.org/10.1007/978-3-540-85569-9_11
    217 rdf:type schema:CreativeWork
    218 sg:pub.10.1007/978-3-642-10383-4_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024395685
    219 https://doi.org/10.1007/978-3-642-10383-4_37
    220 rdf:type schema:CreativeWork
    221 sg:pub.10.1007/978-3-642-17358-5_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019517901
    222 https://doi.org/10.1007/978-3-642-17358-5_2
    223 rdf:type schema:CreativeWork
    224 sg:pub.10.1007/978-3-642-19394-1_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011731347
    225 https://doi.org/10.1007/978-3-642-19394-1_4
    226 rdf:type schema:CreativeWork
    227 sg:pub.10.1007/978-3-642-21640-4_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007189099
    228 https://doi.org/10.1007/978-3-642-21640-4_31
    229 rdf:type schema:CreativeWork
    230 sg:pub.10.1007/978-3-642-21640-4_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042497525
    231 https://doi.org/10.1007/978-3-642-21640-4_39
    232 rdf:type schema:CreativeWork
    233 sg:pub.10.1007/978-3-642-22359-4_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035929795
    234 https://doi.org/10.1007/978-3-642-22359-4_25
    235 rdf:type schema:CreativeWork
    236 sg:pub.10.1007/978-3-642-24908-2_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015610187
    237 https://doi.org/10.1007/978-3-642-24908-2_29
    238 rdf:type schema:CreativeWork
    239 sg:pub.10.1007/978-3-642-32885-5_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017797706
    240 https://doi.org/10.1007/978-3-642-32885-5_13
    241 rdf:type schema:CreativeWork
    242 sg:pub.10.1007/978-3-642-32885-5_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017343579
    243 https://doi.org/10.1007/978-3-642-32885-5_21
    244 rdf:type schema:CreativeWork
    245 sg:pub.10.1007/s10458-008-9030-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041203675
    246 https://doi.org/10.1007/s10458-008-9030-4
    247 rdf:type schema:CreativeWork
    248 sg:pub.10.1007/s10796-009-9185-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018594095
    249 https://doi.org/10.1007/s10796-009-9185-9
    250 rdf:type schema:CreativeWork
    251 sg:pub.10.1007/s11390-008-9196-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1051712497
    252 https://doi.org/10.1007/s11390-008-9196-x
    253 rdf:type schema:CreativeWork
    254 sg:pub.10.1007/s12599-011-0155-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041100627
    255 https://doi.org/10.1007/s12599-011-0155-7
    256 rdf:type schema:CreativeWork
    257 grid-institutes:grid.12295.3d schema:alternateName European Research Institute in Service Science (ERISS), Tilburg University, 5000 LE, Tilburg, Netherlands
    258 schema:name European Research Institute in Service Science (ERISS), Tilburg University, 5000 LE, Tilburg, Netherlands
    259 rdf:type schema:Organization
    260 grid-institutes:grid.6852.9 schema:alternateName School of Industrial Engineering, Eindhoven University of Technology, 5600 MB, Eindhoven, Netherlands
    261 schema:name School of Industrial Engineering, Eindhoven University of Technology, 5600 MB, Eindhoven, Netherlands
    262 rdf:type schema:Organization
    263 grid-institutes:grid.7872.a schema:alternateName Governance, Risk Management and Compliance Technology Centre (GRCTC), University College Cork, Cork, Ireland
    264 schema:name Governance, Risk Management and Compliance Technology Centre (GRCTC), University College Cork, Cork, Ireland
    265 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...