SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice
16 references·0 citing·43 second hop
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice (2018)Collaboration vs. Choreography Conformanc…A formal approach to modeling and verification of business process collaborations (2018)A formal approach to modeling…An Operational Semantics of BPMN Collaboration (2016)An Operational Semantics of B…Towards Compliance of Cross-Organizational Processes and Their Changes (2013)Towards Compliance of Cross-O…On Enabling Compliance of Cross-Organizational Business Processes (2013)On Enabling Compliance of Cro…Checking the realizability of BPMN 2.0 choreographies (2012)Checking the realizability of…Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences (2012)Behaviour Equivalence and Com…Ensuring business process compliance along the process life cycle (2011)Ensuring business process com…On enabling integrated process compliance with semantic constraints in process management systems (2009)On enabling integrated proces…Graph Matching Algorithms for Business Process Model Similarity Search (2009)Graph Matching Algorithms for…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Efficient Compliance Checking…Business process compliance checking : current state and future challenges (2008)Business process compliance c…A Model-Driven Top-Down Approach to Inter-organizational Systems: From Global Choreography Models to Executable BPEL (2008)A Model-Driven Top-Down Appro…A static compliance-checking framework for business process models (2007)A static compliance-checking …Compliance checking between business processes and business contracts (2006)Compliance checking between b…When are two workflows the same (2005)When are two workflows the sa…Business Process Management : Concepts, Languages, Architectures (2007)APROMORE: An advanced process model repository (2010)Similarity of business process models: Metrics and evaluation (2010)Process Model Generation from Natural Language Text (2011)Business Process Model Merging (2013)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Workflow Patterns (2003)YAWL: yet another workflow language (2004)Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring (2007)Mining process model variants : challenges, techniques, examples (2010)Metric Trees for Efficient Similarity Search in Large Process Model Repositories (2011)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)IT support for healthcare processes – premises, challenges, perspectives (2006)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems (2010)Formalizing and appling compliance patterns for business process compliance (2014)Managing Regulatory Compliance in Business Processes (2014)Analyzing process models using graph reduction techniques (2000)Business Process Management Workshops (2008)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)Production Workflow - Concepts and Techniques (2000)Essential Business Process Modeling (2005)Balanced multi-perspective checking of process conformance (2015)Are we done with business process compliance: state of the art and challenges ahead (2018)Interaction-centric modeling of process choreographies (2010)Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness (2012)Stochastic analysis of BPMN with time in rewriting logic (2018)A rewriting logic approach to resource allocation analysis in business process models (2019)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)The ProM Framework: A New Era in Process Mining Tool Support (2005)Opportunities and constraints: the current struggle with BPMN (2010)A framework for information systems architecture (1987)Fundamentals of Business Process Management (2013)Fundamentals of Business Process Management (2018)Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions (2019)A formal approach for the analysis of BPMN collaboration models (2021)A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models (2023)Auditing Business Process Compliance (2007)
this work references cited by second hop

References

  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2009Graph Matching Algorithms for Business Process Model Similarity Search396 cited
  • 2008Efficient Compliance Checking Using BPMN-Q and Temporal Logic268 cited
  • 2006Compliance checking between business processes and business contracts266 cited
  • 2007A static compliance-checking framework for business process models253 cited
  • 2009On enabling integrated process compliance with semantic constraints in process management systems135 cited
  • 2008Business process compliance checking : current state and future challenges93 cited
  • 2005When are two workflows the same68 cited
  • 2012Checking the realizability of BPMN 2.0 choreographies63 cited
  • 2018A formal approach to modeling and verification of business process collaborations50 cited
  • 2013On Enabling Compliance of Cross-Organizational Business Processes33 cited
  • 2012Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences32 cited
  • 2013Towards Compliance of Cross-Organizational Processes and Their Changes31 cited
  • 2008A Model-Driven Top-Down Approach to Inter-organizational Systems: From Global Choreography Models to Executable BPEL26 cited
  • 2011

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

Ensuring business process compliance along the process life cycle
22 cited
  • 2016An Operational Semantics of BPMN Collaboration21 cited
  • Cited by

    No citing works inside the corpus for this window.