SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verification problems in conceptual workflow specifications
5 references·16 citing·40 second hop
Verification problems in conceptual workflow specifications (1998)Verification problems in conceptual workf…CORBA-Based Run-Time Architectures for Workflow Management Systems (1996)CORBA-Based Run-Time Architec…Managing heterogeneous multi-system tasks to support enterprise-wide operations (1995)Managing heterogeneous multi-…Conceptual modeling of workflows (1995)Conceptual modeling of workfl…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)An overview of workflow manag…Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows (1993)Merging application-centric a…Log-based transactional workflow mining (2009)Log-based transactional workf…Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Verifying Workflows with Canc…Dynamic workflow change in PDM systems (2006)Dynamic workflow change in PD…Mining Workflow Recovery from Event Based Logs (2005)Mining Workflow Recovery from…Dealing with forward and backward jumps in workflow management systems (2004)Dealing with forward and back…Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? (2003)Inheritance of Interorganizat…Dealing with forward and backward jumps in workflow management systems (2003)Dealing with forward and back…A novel graph reduction algorithm to identify structural conflicts (2003)A novel graph reduction algor…Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment (2002)Workflow View Based E-Contrac…View-Based Contracts in an E-Service Cross-Organizational Workflow Environment (2001)View-Based Contracts in an E-…On Business Process Model Transformations (2000)On Business Process Model Tra…A reflective infrastructure for workflow adaptability (2000)A reflective infrastructure f…On Capturing Process Requirements of Workflow Based Business Information Systems (1999)On Capturing Process Requirem…How to handle dynamic change and capture management information? An approach based on generic workflow models (1999)How to handle dynamic change …Generic workflow models: how to handle dynamic change and capture management information? (1999)Generic workflow models: how …Automating handover in dynamic workflow environments (1998)Automating handover in dynami…CrossFlow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises (2000)A three-layer architecture for e-contract enforcement in an e-service environment (2003)XML–Based Schema Definition for Support of Interorganizational Workflow (2003)An EREC framework for e-contract modeling, enactment and monitoring (2004)The P2P Approach to Interorganizational Workflows (2013)A view framework for modeling and change validation of artifact-centric inter-organizational business processes (2014)Software process model evolution in the SPADE environment (1993)Dynamic change within workflow systems (1995)Tolerating deviations in process support systems via flexible enactment of process models (1998)Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models (1999)Web interface-driven cooperative exception handling in ADOME workflow management system (2001)Verification of workflow nets (1997)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)YAWL: yet another workflow language (2004)Empirical Studies in Process Model Verification (2009)The Effects of Content Presentation Format and User Characteristics on Novice Developers’ Understanding of Process Models (2011)Process Model Comprehension: The Effects of Cognitive Abilities, Learning Style, and Strategy (2014)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Tools for Inventing Organizations: Toward a Handbook of Organizational Processes (1999)Process Query Language: A Way to Make Workflow Processes More Flexible (2004)Merging workflows: A new perspective on connecting business processes (2005)Towards a taxonomy of process flexibility (extended version) (2007)Electronic markets and electronic hierarchies (1987)Frontiers of Electronic Commerce (1996)Soundness preservation in composed logical time workflow nets (2011)Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs (2013)eContractual choreography-language properties towards cross-organizational business collaboration (2015)Analyzing process models using graph reduction techniques (2000)Formalization and Verification of EPCs with OR-Joins Based on State and Context (2007)Ensuring correctness during process configuration via partner synthesis (2011)Agent based process management: applying intelligent agents to workflow (1998)Achieving dynamic inter-organizational workflow management by integrating business processes, events and rules (2003)Dynamic workflow model fragmentation for distributed execution (2006)Workflow Patterns (2003)Business Process Management: A Comprehensive Survey (2013)Exception Handling in Workflow Systems (2000)Workflow modeling for virtual processes: an order-preserving process-view approach (2002)On Correctness Issues in Conceptual Modelling of Workflows. (1997)Policy resolution for workflow management systems (2002)Workflow recovery (2002)
this work references cited by second hop

References

  • 1995An overview of workflow management: From process modeling to workflow automation infrastructure1,530 cited
  • 1995Managing heterogeneous multi-system tasks to support enterprise-wide operations174 cited
  • 1995Conceptual modeling of workflows151 cited
  • 1993Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows96 cited
  • 1996CORBA-Based Run-Time Architectures for Workflow Management Systems91 cited

Cited by

  • 2002Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment86 cited
  • 2003A novel graph reduction algorithm to identify structural conflicts79 cited
  • 1999Generic workflow models: how to handle dynamic change and capture management information?75 cited
  • 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?75 cited
  • 2007Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants70 cited
  • 2003Dealing with forward and backward jumps in workflow management systems69 cited
  • 2006Dynamic workflow change in PDM systems62 cited
  • 2001View-Based Contracts in an E-Service Cross-Organizational Workflow Environment51 cited
  • 1999How to handle dynamic change and capture management information? An approach based on generic workflow models

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

41 cited
  • 2004Dealing with forward and backward jumps in workflow management systems35 cited
  • 1998Automating handover in dynamic workflow environments35 cited
  • 1999On Capturing Process Requirements of Workflow Based Business Information Systems35 cited
  • 2000A reflective infrastructure for workflow adaptability34 cited
  • 2009Log-based transactional workflow mining32 cited
  • 2005Mining Workflow Recovery from Event Based Logs32 cited
  • 2000On Business Process Model Transformations25 cited