Specification, Verification and Explanation of Violation for Data Aware Compliance Rules

No abstract is available for this paper.

• Publication year

  2009

• Venue

  ICSOC/ServiceWave

• Publication date

  2009-11-25

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-10383-4_37
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Diagnosing and Repairing Data Anomalies in Process Models

  2009cited by this paper
• Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

  2008cited by this paper
• Measurement of Compliance Distance in Business Processes

  2008cited by this paper
• Verifying Interaction Protocol Compliance of Service Orchestrations

  2008cited by this paper
• Semantics and analysis of business process models in BPMN

  2008cited by this paper
• Business Process Compliance Checking: Current State and Future Challenges

  2008cited by this paper
• Efficient Compliance Checking Using BPMN-Q and Temporal Logic

  2008influential reference
• Auditing Business Process Compliance

  2007cited by this paper
• A static compliance-checking framework for business process models

  2007cited by this paper
• Generation of Business Process Models for Object Life Cycle Compliance

  2007cited by this paper
• BPMN-Q: A Language to Query Business Processes

  2007cited by this paper
• Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings

  2007cited by this paper
• Modeling Control Objectives for Business Process Compliance

  2007cited by this paper
• Compliance Aware Business Process Design

  2007cited by this paper
• Designing Compliant Business Processes with Obligations and Permissions

  2006cited by this paper
• Web Information Systems - WISE 2006, 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006, Proceedings

  2006cited by this paper
• Consistency of business process models and object life cycles

  2006cited by this paper
• Compliance checking between business processes and business contracts

  2006cited by this paper
• Visualizing the Soundness of Workflow Nets

  2006cited by this paper
• Pattern Based Property Specification and Verification for Service Composition

  2006cited by this paper
• Translating business contract into compliant business processes

  2006cited by this paper
• Compliant and Flexible Business Processes with Business Rules

  2006cited by this paper
• Dealing with contract violations: formalism and domain specific language

  2005cited by this paper
• Temporal Logic Query Checking: A Tool for Model Exploration

  2003cited by this paper
• TLQSolver: A Temporal Logic Query Checker

  2003cited by this paper
• Models in software engineering – an introduction

  2003cited by this paper
• Business Process Management

  2002cited by this paper
• Sarbanes-Oxley Act of 2002

  2002cited by this paper
• Temporal logic query checking

  2001cited by this paper
• Temporal-Locig Queries

  2000influential reference
• Temporal-Locig Queries

  2000cited by this paper

• Validating temporal compliance patterns: A unified approach with MTLf over various data models

  2025cites this paper
• Introducing Variables to Data Objects in BPMN

  2024cites this paper
• Validating Temporal Compliance Patterns: A Unified Approach with MTLf over various Data Models

  2024cites this paper
• A Software Framework for Jetson Nano to Detect Anomalies in CAN Data

  2023cites this paper
• Meeting the Challenges of Collaborative Network Compliance - An Exemplary View

  2022influential citation
• A Comparative Study of Compliance Management Frameworks: PENELOPE vs. PCL

  2022cites this paper
• Compliance Checking of Collaborative Processes for Sustainable Collaborative Network

  2021cites this paper
• Formal Framework for Checking Compliance of Data-Driven Case Management

  2021cites this paper
• Efficient conditional compliance checking of business process models

  2020cites this paper
• Modeling clinical activities based on multi-perspective declarative process mining with openEHR’s characteristic

  2020cites this paper
• Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions

  2020cites this paper
• 1 Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN LUCA

  2019cites this paper
• Verifying Workflow Models with Data Values - a Case Study of SMR Spectrum Auctions

  2019cites this paper
• A Study About Process Mining

  2019cites this paper
• Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN

  2019cites this paper
• VIEW: an incremental approach to verify evolving workflows

  2019cites this paper
• Checking Compliance in Data-Driven Case Management

  2019cites this paper
• Compliance Management in Business Processes

  2018cites this paper
• Querying Workflow Logs

  2018cites this paper
• Are we done with business process compliance: state of the art and challenges ahead

  2018cites this paper
• Are we done with business process compliance: state of the art and challenges ahead

  2018cites this paper
• Involvement of Business Roles in Auditing with Process Mining

  2018cites this paper
• ProVer: an SMT-based approach for process verification

  2018cites this paper
• Compliance Checking for Decision-Aware Process Models

  2018cites this paper
• A Practical Extension of Frameworks for Auditing with Process Mining

  2018cites this paper
• A framework for visually monitoring business process compliance

  2017cites this paper
• Compliance Analysis of Configurable Business Process Model Based on Extend CTL

  2017cites this paper
• Querying Workflow Logs

  2017cites this paper
• Understanding non-compliance

  2017cites this paper
• 2 Enhancing BPMN Conformance Checking with OR Gateways and Data Objects

  2017cites this paper
• A visual language for modeling multiple perspectives of business process compliance rules

  2017cites this paper
• Visual Modeling of Instance-Spanning Constraints in Process-Aware Information Systems

  2017cites this paper
• An Anti-Pattern-based Runtime Business Process Compliance Monitoring Framework

  2016cites this paper
• Hybrid business process modeling for the optimization of outcome data

  2016cites this paper
• Runtime self-monitoring approach of business process compliance in cloud environments

  2015cites this paper
• A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects

  2015cites this paper
• Toward Better Mapping between Regulations and Operational Details of Enterprises Using Vocabularies and Semantic Similarity

  2015cites this paper
• Towards Visually Monitoring Multiple Perspectives of Business Process Compliance

  2015cites this paper
• Conformance checking based on multi-perspective declarative process models

  2015influential citation
• Rule Technologies: Foundations, Tools, and Applications

  2015cites this paper
• Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies

  2015cites this paper
• Constructing Probable Explanations of Nonconformity: A Data-Aware and History-Based Approach

  2015cites this paper
• Integrating the Internet of Things with Business Process Management: A Process-aware Framework for Smart Objects

  2015cites this paper
• Compliance monitoring in business processes: Functionalities, application, and tool-support

  2015cites this paper
• Compliance Monitoring as a Service: Requirements, Architecture and Implementation

  2015cites this paper
• Evaluating business process compliance management frameworks

  2015cites this paper
• Runtime detection of business process compliance violations: an approach based on anti patterns

  2015cites this paper
• Balanced multi-perspective checking of process conformance

  2015cites this paper
• Caise 2015 Doctoral Consortium Program Committee Members Caise Phd Award towards a Framework for Feature Deduplication during Software the Use Case of Commissioning Processes in the Automobile Industry

  2015cites this paper
• State-of-the-art of Business Process Compliance Approaches: A Survey (Extended Abstract)

  2014cites this paper
• Formalizing and appling compliance patterns for business process compliance

  2014cites this paper
• Static Compliance Checking beyond Separation of Duty Constraints

  2014cites this paper
• Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph

  2014cites this paper
• Towards a Framework for Semantically-Enabled Compliance Management in Financial Services

  2014cites this paper
• Compliance Checking of Data-Aware and Resource-Aware Compliance Requirements

  2014cites this paper
• Process Invariants: An Approach to Model Expected Exceptions

  2014cites this paper
• An operational semantics for the extended compliance rule graph language

  2014cites this paper
• Formalizing and applying compliance patterns for business process compliance

  2014cites this paper
• A systematic review on security in Process-Aware Information Systems - Constitution, challenges, and future directions

  2014cites this paper
• Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming

  2013cites this paper
• Modellierung klinischer Prozesse und Compliance Regeln mittels BPMN 2.0 und eCRG

  2013cites this paper
• Enterprise management of regulatory compliance : a model-driven framework for policy-based regulatory compliance management in business process-centered enterprise models

  2013cites this paper
• Ensuring compliance of distributed and collaborative workflows

  2013cites this paper
• Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives

  2013cites this paper
• Towards data-aware constraints in declare

  2013cites this paper
• Towards a Research Agenda for Strategic Governance, Risk and Compliance (GRC) Management

  2013cites this paper
• On the Formal Semantics of the Extended Compliance Rule Graph

  2013cites this paper
• Alaska Simulator Toolset

  2012cites this paper
• Ensuring business process compliance along the process life cycle

  2012cites this paper
• Using Patterns for the Analysis and Resolution of Compliance Violations

  2012cites this paper
• Choreography Model Public Process Model Private Process Model Role Collaboration Business Partner Internal Compliance Rules Global Compliance Rules Warranty Private Process

  2012cites this paper
• Business Process Data Compliance

  2012cites this paper
• Definition and Enactment of Instance-Spanning Process Constraints

  2012cites this paper
• Towards Compliance of Cross-Organizational Processes and Their Changes - Research Challenges and State of Research

  2012cites this paper
• Towards a method for business process and informal business rules compliance

  2012cites this paper
• Process Evolution and Instance Migration

  2012cites this paper
• Process Modeling and Flexibility-by-Design

  2012cites this paper
• Process Configuration Support

  2012cites this paper
• Monitoring and Mining Flexible Processes

  2012cites this paper
• User- and Data-Driven Processes

  2012cites this paper
• Process-Aware Information Systems

  2012cites this paper
• A Framework for Object-Aware Processes

  2012cites this paper
• Business Process Compliance

  2012cites this paper
• Ad hoc Changes of Process Instances

  2012cites this paper
• Concretizing Loosely Specified Processes

  2012cites this paper
• Constraint-Based Process Models

  2012cites this paper
• AristaFlow BPM Suite

  2012cites this paper
• Existing Tool Support for Flexible Processes

  2012cites this paper
• Enabling Flexibility in Process-Aware Information Systems

  2012cites this paper
• Flexibility Issues in Process-Aware Information Systems

  2012cites this paper
• An approach to combine data-related and control-flow-related compliance rules

  2011cites this paper
• Visualisierung und Implementierung von Compliance Scopes

  2011cites this paper
• Automatic Generation of a Data-Centered View of Business Processes

  2011cites this paper
• Security Validation of Business Processes via Model-Checking

  2011cites this paper
• Institute of Architecture of Application Systems Compliance Domains : A Means to Model Data-Restrictions in Cloud Environments Institute of Architecture of Application Systems , University of Stuttgart Germany

  2011cites this paper
• Compliance Domains: A Means to Model Data-Restrictions in Cloud Environments

  2011cites this paper
• Institute of Architecture of Application Systems Compliance Domains : A Means to Model Data-Restrictions in Cloud Environments Institute of Architecture of Application Systems , University of Stuttgart Germany

  2011cites this paper
• Visually specifying compliance rules and explaining their violations for business processes

  2011influential citation
• Towards a Comprehensive Design-time Compliance Management: A Roadmap

  2010cites this paper
• A Provenance-Based Compliance Framework

  2010cites this paper