SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Efficient conditional compliance checking of business process models
16 references·1 citing·44 second hop
Efficient conditional compliance checking of business process models (2019)Efficient conditional compliance checking…Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach (2018)Transformation of the BPMN De…A Formal Model for Compliance Verification of Service Compositions (2016)A Formal Model for Compliance…Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach (2015)Specification and Verificatio…Design-Time Compliance of Service Compositions in Dynamic Service Environments (2015)Design-Time Compliance of Ser…Using model checking to control the structural errors in BPMN models (2013)Using model checking to contr…A survey of formal business process verification : From soundness to variability (2013)A survey of formal business p…On Enabling Data-Aware Compliance Checking of Business Process Models (2010)On Enabling Data-Aware Compli…Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes (2010)Abductive Logic Programming a…Verifying Business Rules Using an SMT Solver for BPEL Processes. (2009)Verifying Business Rules Usin…Specification, Verification and Explanation of Violation for Data Aware Compliance Rules (2009)Specification, Verification a…Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)Data-Flow Anti-patterns: Disc…Automatic verification of data-centric business processes (2009)Automatic verification of dat…Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Change patterns and change su…Auditing Business Process Compliance (2007)Auditing Business Process Com…Designing Compliant Business Processes with Obligations and Permissions (2006)Designing Compliant Business …Compliance checking between business processes and business contracts (2006)Compliance checking between b…Cross-Instance Regulatory Compliance Checking of Business Process Event Logs (2023)Cross-Instance Regulatory Com…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management Workshops (2008)Semantics and analysis of business process models in BPMN (2008)Mining process model variants : challenges, techniques, examples (2010)SeaFlows Toolset – Compliance Verification Made Easy for Process-Aware Information Systems (2011)Towards data-aware constraints in declare (2013)Business Process Modeling Notation (BPMN), Version 1.0 (2004)Economic consequences of the Sarbanes–Oxley Act of 2002 (2007)On enabling integrated process compliance with semantic constraints in process management systems (2009)The Journey to Business Process Compliance (2009)Are we done with business process compliance: state of the art and challenges ahead (2018)Formalization and verification of event-driven process chains (1999)Business Process Management: A Survey (2003)Soundness of workflow nets: classification, decidability, and analysis (2010)Transformation and validation of BPMN models to Petri nets models using GROOVE (2016)Various Notions of Soundness for Decision-Aware Business Processes (2017)Design Patterns: Elements of Reusable Object-Oriented Software (1994)Workflow Patterns (2003)Declarative workflows: Balancing between flexibility and support (2009)Enabling Flexibility in Process-Aware Information Systems (2012)Business Process Variability Modeling (2017)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap (2012)Static and Dynamic Process Change (2016)Workflow mining: A survey of issues and approaches (2003)Generation of Business Process Models for Object Life Cycle Compliance (2007)Business artifacts: An approach to operational specification (2003)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Business artifacts with guard-stage-milestone lifecycles (2011)Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs (2011)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)Transformation of BPMN Models for Behaviour Analysis (2007)Diagnosing and Repairing Data Anomalies in Process Models (2010)Business Process Model and Notation—BPMN (2014)Data-driven Workflow Management by utilising BPMN and CPN in IIoT Systems with the Arrowhead Framework (2019)Hierarchical Verification for the BPMN Design Model Using State Space Analysis (2019)Assessing business process models: a literature review on techniques for BPMN testing and formal verification (2023)Specification and validation of process constraints for flexible workflows (2004)Modeling Control Objectives for Business Process Compliance (2007)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Compliance by design for artifact-centric business processes (2012)Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata (2011)
this work references cited by second hop

References

  • 2008Change patterns and change support features – Enhancing flexibility in process-aware information systems582 cited
  • 2006Compliance checking between business processes and business contracts266 cited
  • 2007Auditing Business Process Compliance240 cited
  • 2009Automatic verification of data-centric business processes222 cited
  • 2006Designing Compliant Business Processes with Obligations and Permissions194 cited
  • 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows187 cited
  • 2010On Enabling Data-Aware Compliance Checking of Business Process Models125 cited
  • 2009Specification, Verification and Explanation of Violation for Data Aware Compliance Rules91 cited
  • 2018Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach35 cited
  • 2013Using model checking to control the structural errors in BPMN models33 cited
  • 2013A survey of formal business process verification : From soundness to variability31 cited
  • 2015Design-Time Compliance of Service Compositions in Dynamic Service Environments30 cited
  • 2015Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach26 cited
  • 2016A Formal Model for Compliance Verification of Service Compositions26 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

  • 2009Verifying Business Rules Using an SMT Solver for BPEL Processes.25 cited
  • 2010Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes21 cited
  • Cited by

    • 2023Cross-Instance Regulatory Compliance Checking of Business Process Event Logs11 cited