SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
2 references·16 citing·36 second hop
Inter-operability of Workflow Applications: Local Criteria for Global Soundness (2000)Inter-operability of Workflow Application…Interorganizational workflows: An approach based on message sequence charts and petri nets (1999)Interorganizational workflows…Verification of workflow nets (1997)Verification of workflow netsVerifying soundness of business processes: A decision process Petri nets approach (2014)Verifying soundness of busine…Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs (2013)Contracts for cross-organizat…Safe Distribution of Declarative Processes (2011)Safe Distribution of Declarat…Ensuring correctness during process configuration via partner synthesis (2011)Ensuring correctness during p…Detecting and resolving unsound workflow views for correct provenance analysis (2009)Detecting and resolving unsou…Can I find a partner? Undecidability of partner existence for open nets (2008)Can I find a partner? Undecid…On the Controlled Evolution of Process Choreographies (2006)On the Controlled Evolution o…Evolution of Process Choreographies in DYCHOR (2006)Evolution of Process Choreogr…Translating workflow nets to BPEL (2005)Translating workflow nets to …Modeling- and Analysis Techniques for Web Services and Business Processes (2005)Modeling- and Analysis Techni…Consistency between Executable and Abstract Processes (2005)Consistency between Executabl…Consistency Between e 3 -value Models and Activity Diagrams in a Multi-perspective Development Method (2005)Consistency Between e 3 -valu…Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? (2003)Inheritance of Interorganizat…Inheritance of Business Processes: A Journey Visiting Four Notorious Problems (2003)Inheritance of Business Proce…Challenges in Business Process Management: Verification of business processes using Petri nets (2003)Challenges in Business Proces…Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce (2002)Inheritance of Interorganizat…Workflow evolution (1998)Inheritance of workflows: an approach to tackling problems related to change (2002)Correctness criteria for dynamic changes in workflow systems––a survey (2004)Realizing adaptive process-aware information systems with ADEPT2 (2008)Dealing with change in process choreographies: Design and implementation of propagation algorithms (2014)Static and Dynamic Process Change (2016)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Modeling and analyzing interorganizational workflows (2002)YAWL: yet another workflow language (2004)Formal consistency verification between BPEL process and privacy policy (2006)Perceived consistency between process models (2010)Service Outsourcing with Process Views (2014)Workflow Patterns (2003)Dwelling time probability density distribution of instances in a workflow model (2009)Case handling: a new paradigm for business process support (2004)A Declarative Approach for Flexible Business Processes Management (2006)Process-aware information systems: bridging people and software through process technology (2006)Exformatics Declarative Case Management Workflows as DCR Graphs (2013)Efficient discovery of Target-Branched Declare constraints (2015)Web-Based Modelling and Collaborative Simulation of Declarative Processes (2015)Production Workflow - Concepts and Techniques (2000)A review and analysis of supply chain operations reference (SCOR) model (2004)Creating Sound and Reversible Configurable Process Models Using CoSeNets (2012)Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns (2015)Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction (2016)Electronic markets and electronic hierarchies (1987)Frontiers of Electronic Commerce (1996)Soundness preservation in composed logical time workflow nets (2011)eContractual choreography-language properties towards cross-organizational business collaboration (2015)Formalization and verification of event-driven process chains (1999)Analyzing process models using graph reduction techniques (2000)Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness (2012)Architecture-Based Change Impact Analysis in Information Systems and Business Processes (2017)Process-oriented architectures for electronic commerce and interorganizational workflow (1999)XML–Based Schema Definition for Support of Interorganizational Workflow (2003)The view-based approach to dynamic inter-organizational workflow cooperation (2005)
this work references cited by second hop

References

  • 1997Verification of workflow nets802 cited
  • 1999Interorganizational workflows: An approach based on message sequence charts and petri nets232 cited

Cited by

  • 2002Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce87 cited
  • 2006Evolution of Process Choreographies in DYCHOR86 cited
  • 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?75 cited
  • 2005Consistency between Executable and Abstract Processes66 cited
  • 2013Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs60 cited
  • 2003Challenges in Business Process Management: Verification of business processes using Petri nets57 cited
  • 2011Ensuring correctness during process configuration via partner synthesis50 cited
  • 2006On the Controlled Evolution of Process Choreographies41 cited
  • 2003Inheritance of Business Processes: A Journey Visiting Four Notorious Problems39 cited
  • 2005Translating workflow nets to BPEL36 cited
  • 2008Can I find a partner? Undecidability of partner existence for open nets32 cited
  • 2005Consistency Between e 3 -value Models and Activity Diagrams in a Multi-perspective Development Method29 cited

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

2011
Safe Distribution of Declarative Processes
27 cited
  • 2014Verifying soundness of business processes: A decision process Petri nets approach27 cited
  • 2005Modeling- and Analysis Techniques for Web Services and Business Processes27 cited
  • 2009Detecting and resolving unsound workflow views for correct provenance analysis24 cited