SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formal approach for compliance rules checking in business process models
12 references·0 citing·52 second hop
Formal approach for compliance rules checking in business process models (2013)Formal approach for compliance rules chec…Using model checking to control the structural errors in BPMN models (2013)Using model checking to contr…A Simple Algorithm for Automatic Layout of BPMN Processes (2009)A Simple Algorithm for Automa…Simulation and Formal Analysis of Workflow Models (2008)Simulation and Formal Analysi…Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Efficient Compliance Checking…Constraint-Based Flexible Business Process Management (2008)Constraint-Based Flexible Bus…Business process compliance checking : current state and future challenges (2008)Business process compliance c…BPMN-Q: A Language to Query Business Processes (2007)BPMN-Q: A Language to Query B…A static compliance-checking framework for business process models (2007)A static compliance-checking …Using the π-Calculus for Formalizing Workflow Patterns (2005)Using the π-Calculus for Form…Process Mining and Verification of Properties: An Approach Based on Temporal Logic (2005)Process Mining and Verificati…Activity Diagram Patterns for Modeling Quality Constraints in Business Processes (2005)Activity Diagram Patterns for…Business Process Management: A Survey (2003)Business Process Management: …Process modeling (1992)Business Process Management: The Third Wave (2003)Workflow Patterns (2003)On the Formal Semantics of Change Patterns in Process-Aware Information Systems (2008)Workflow Time Patterns for Process-Aware Information Systems (2010)Enterprise Modelling and Information Systems Architectures (2012)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)YAWL: yet another workflow language (2004)Designing routines: On the folly of designing artifacts, while hoping for patterns of action (2008)BPMN: An introduction to the standard (2011)Business Process Management: A Comprehensive Survey (2013)Analyzing process models using graph reduction techniques (2000)Business Process Management Workshops (2008)Semantics and analysis of business process models in BPMN (2008)APROMORE: An advanced process model repository (2010)Efficient Consistency Measurement Based on Behavioral Profiles of Process Models (2010)Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata (2011)Design Patterns: Elements of Reusable Object-Oriented Software (1994)Quality Managemnet and Quality Assurance Standards—Part 3 (2004)A Pattern-driven Development Process for Quality Standard-conforming Business Process Models (2006)Pattern-Based Modeling and Formalizing of Business Process Quality Constraints (2011)Production Workflow - Concepts and Techniques (2000)Essential Business Process Modeling (2005)On enabling integrated process compliance with semantic constraints in process management systems (2009)Balanced multi-perspective checking of process conformance (2015)Are we done with business process compliance: state of the art and challenges ahead (2018)Formalization and verification of event-driven process chains (1999)Soundness of workflow nets: classification, decidability, and analysis (2010)A Formal Model for Compliance Verification of Service Compositions (2016)Transformation and validation of BPMN models to Petri nets models using GROOVE (2016)Various Notions of Soundness for Decision-Aware Business Processes (2017)Business Process Management : Concepts, Languages, Architectures (2007)Conformance checking of processes based on monitoring real behavior (2007)Modeling Control Objectives for Business Process Compliance (2007)Specification, Verification and Explanation of Violation for Data Aware Compliance Rules (2009)Designing secure business processes with SecBPMN (2015)A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance (2018)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Workflow mining: A survey of issues and approaches (2003)Workflow mining: discovering process models from event logs (2004)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs (2015)Business Process Modeling Notation (BPMN), Version 1.0 (2004)Translating Standard Process Models to BPEL (2006)Towards comprehensive support for organizational mining (2008)A linear time layout algorithm for business process models (2013)Identifying and Quantifying Visual Layout Features of Business Process Models (2015)Influence of diagram layout and scrolling on understandability of BPMN processes: an eye tracking experiment with BPMN diagrams (2021)Querying business processes (2006)Behavioral Similarity – A Proper Metric (2011)Similarity assessment and efficient retrieval of semantic workflows (2012)Formalizing and appling compliance patterns for business process compliance (2014)
this work references cited by second hop

References

  • 2003Business Process Management: A Survey1,349 cited
  • 2005Process Mining and Verification of Properties: An Approach Based on Temporal Logic293 cited
  • 2008Efficient Compliance Checking Using BPMN-Q and Temporal Logic268 cited
  • 2007A static compliance-checking framework for business process models253 cited
  • 2005Using the π-Calculus for Formalizing Workflow Patterns142 cited
  • 2007BPMN-Q: A Language to Query Business Processes141 cited
  • 2008Business process compliance checking : current state and future challenges93 cited
  • 2005Activity Diagram Patterns for Modeling Quality Constraints in Business Processes34 cited
  • 2013Using model checking to control the structural errors in BPMN models33 cited
  • 2009A Simple Algorithm for Automatic Layout of BPMN Processes31 cited
  • 2008Simulation and Formal Analysis of Workflow Models24 cited
  • 2008Constraint-Based Flexible Business Process Management11 cited

Cited by

No citing works inside the corpus for this window.

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