SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verifying compliance in process choreographies: Foundations, algorithms, and implementation
16 references·0 citing·37 second hop
Verifying compliance in process choreographies: Foundations, algorithms, and implementation (2022)Verifying compliance in process choreogra…Business Process Management (2019)Business Process ManagementAre we done with business process compliance: state of the art and challenges ahead (2018)Are we done with business pro…Resolving inconsistencies and redundancies in declarative process models (2016)Resolving inconsistencies and…Normative requirements for regulatory compliance: An abstract formal framework (2015)Normative requirements for re…Compliance monitoring in business processes: Functionalities, application, and tool-support (2015)Compliance monitoring in busi…Formalizing and appling compliance patterns for business process compliance (2014)Formalizing and appling compl…Dealing with change in process choreographies: Design and implementation of propagation algorithms (2014)Dealing with change in proces…Monitoring business constraints with the event calculus (2013)Monitoring business constrain…Where Did I Misbehave? Diagnostic Information in Compliance Checking (2012)Where Did I Misbehave? Diagno…Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap (2012)Generalizability and Applicab…Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata (2011)Monitoring Business Constrain…Visually specifying compliance rules and explaining their violations for business processes (2010)Visually specifying complianc…Interaction-centric modeling of process choreographies (2010)Interaction-centric modeling …DECLARE: Full Support for Loosely-Structured Processes (2007)DECLARE: Full Support for Loo…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management :…Designing Compliant Business Processes with Obligations and Permissions (2006)Designing Compliant Business …A Declarative Approach for Flexible Business Processes Management (2006)Business Process Management Workshops (2008)Monitoring Business Process Compliance Using Compliance Rule Graphs (2011)Process Mining (2011)Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Runtime Verification of LTL-Based Declarative Process Models (2012)Process discovery from event data: Relating models and logs through abstractions (2018)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Workflow mining: A survey of issues and approaches (2003)Workflow Patterns (2003)Declarative workflows: Balancing between flexibility and support (2009)Time prediction based on process mining (2010)Automated Discovery of Process Models from Event Logs: Review and Benchmark (2018)Procedures for Performing Systematic Reviews (2004)Conformance checking based on multi-perspective declarative process models (2016)Predictive Process Monitoring Methods: Which One Suits Me Best? (2018)Conformance checking of processes based on monitoring real behavior (2007)Process and deviation exploration with Inductive visual Miner (2014)Process Science in Action: A Literature Review on Process Mining in Business Management (2021)Business Process Management: A Survey (2003)Generation of Business Process Models for Object Life Cycle Compliance (2007)The Journey to Business Process Compliance (2009)Design science in information systems research (2004)Design Science in Information Systems Research1 (2004)IT Governance Frameworks and COBIT - A Literature Review (2014)Declarative Process Specifications: Reasoning, Discovery, Monitoring (2022)Organizing knowledge syntheses: A taxonomy of literature reviews (1988)The Basel Committee on Banking Supervision (2011)Replaying history on process models for conformance checking and performance analysis (2012)Predictive compliance monitoring in process-aware information systems: State of the art, functionalities, research directions (2023)Large Process Models: A Vision for Business Process Management in the Age of Generative AI (2024)Understanding local government responsible AI strategy: An international municipal policy document analysis (2024)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Business Process Management: A Comprehensive Survey (2013)Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2011)Evaluating Business Process Maturity Models (2017)Extraction, correlation, and abstraction of event data for process mining (2019)
this work references cited by second hop

References

  • 2007Business Process Management : Concepts, Languages, Architectures1,653 cited
  • 2007DECLARE: Full Support for Loosely-Structured Processes583 cited
  • 2019Business Process Management236 cited
  • 2011Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata233 cited
  • 2006Designing Compliant Business Processes with Obligations and Permissions194 cited
  • 2015Compliance monitoring in business processes: Functionalities, application, and tool-support193 cited
  • 2018Are we done with business process compliance: state of the art and challenges ahead160 cited
  • 2013Monitoring business constraints with the event calculus121 cited
  • 2012Where Did I Misbehave? Diagnostic Information in Compliance Checking113 cited
  • 2014Formalizing and appling compliance patterns for business process compliance109 cited
  • 2010Visually specifying compliance rules and explaining their violations for business processes105 cited
  • 2012Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap89 cited
  • 2016Resolving inconsistencies and redundancies in declarative process models88 cited
  • 2014Dealing with change in process choreographies: Design and implementation of propagation algorithms

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

84 cited
  • 2015Normative requirements for regulatory compliance: An abstract formal framework75 cited
  • 2010Interaction-centric modeling of process choreographies73 cited
  • Cited by

    No citing works inside the corpus for this window.