SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
An integer programming based approach for verification and diagnosis of workflows
16 references·2 citing·36 second hop
An integer programming based approach for verification and diagnosis of workflows (2010)An integer programming based approach for…On Structured Workflow Modelling (2013)On Structured Workflow Modell…The refined process structure tree (2009)The refined process structure…Automatic verification of data-centric business processes (2009)Automatic verification of dat…Metrics for Process Models : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness (2008)Metrics for Process Models : …Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007)Faster and More Focused Contr…Detection and prediction of errors in EPCs of the SAP reference model (2007)Detection and prediction of e…Formulating the Data-Flow Perspective for Business Process Management (2006)Formulating the Data-Flow Per…Automatic control of workflow processes using ECA rules (2004)Automatic control of workflow…Workflow Patterns (2003)Workflow PatternsFundamentals of control flow in workflows (2003)Fundamentals of control flow …Expressiveness and suitability of languages for control flow modelling in workflows (2003)Expressiveness and suitabilit…An Alternative Way to Analyze Workflow Graphs (2002)An Alternative Way to Analyze…Relaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…On Structured Workflow Modelling (2000)On Structured Workflow Modell…Analyzing process models using graph reduction techniques (2000)Analyzing process models usin…Verifying the manipulation of data objects according to business process and data models (2020)Verifying the manipulation of…Automating correctness verification of artifact-centric business process models (2015)Automating correctness verifi…Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)A Study Into the Factors That Influence the Understandability of Business Process Models (2010)Structuring Acyclic Process Models (2010)Scalable process discovery and conformance checking (2016)Process modeling (1992)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)Modelling and analysis techniques for cross‐organizational workflow systems (2009)On the refactoring of activity labels in business process models (2012)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Business Process Analysis and Optimization: Beyond Reengineering (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Workflow Management: Models, Methods, and Systems (2001)From business process models to process-oriented software systems (2009)Efficient Consistency Measurement Based on Behavioral Profiles of Process Models (2010)Business artifacts: An approach to operational specification (2003)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Business artifacts with guard-stage-milestone lifecycles (2011)Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs (2011)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification Of Workflow Task Structures: A Petri-net-baset Approach (2000)Complexity metrics for business process models (2006)From BPMN Process Models to BPEL Web Services (2006)Activity labeling in process modeling: Empirical insights and recommendations (2009)Split miner: automated discovery of accurate and simple business process models from event logs (2018)Refactoring large process model repositories (2011)On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery (2012)Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity (2014)Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (2004)The P2P Approach to Interorganizational Workflows (2013)Business Process Management: A Survey (2003)YAWL: yet another workflow language (2004)Scientific workflow management and the Kepler system (2005)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 2000Analyzing process models using graph reduction techniques452 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 2009The refined process structure tree306 cited
  • 2008Metrics for Process Models : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness284 cited
  • 2007Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition276 cited
  • 2013On Structured Workflow Modelling260 cited
  • 2009Automatic verification of data-centric business processes222 cited
  • 2006Formulating the Data-Flow Perspective for Business Process Management221 cited
  • 2003Fundamentals of control flow in workflows211 cited
  • 2007Detection and prediction of errors in EPCs of the SAP reference model208 cited
  • 2002An Alternative Way to Analyze Workflow Graphs168 cited
  • 2000On Structured Workflow Modelling168 cited
  • 2004Automatic control of workflow processes using ECA rules153 cited
  • 2001Relaxed Soundness of Business Processes137 cited
  • 2003Expressiveness and suitability of languages for control flow modelling in workflows

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

135 cited

Cited by

  • 2015Automating correctness verification of artifact-centric business process models19 cited
  • 2020Verifying the manipulation of data objects according to business process and data models19 cited