Business process verification - finally a reality!

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Business Process Management Journal

• Publication date

  2009-02-06

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1108/14637150910931479
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Analysis on demand: Instantaneous soundness checking of industrial business process models

  2011cited by this paper
• Reduction rules for reset/inhibitor nets

  2010cited by this paper
• On the Usage of Labels and Icons in Business Process Modeling

  2010cited by this paper
• Business Processes Verification for e-Government Service Delivery

  2010cited by this paper
• Business process modeling with continuous validation

  2010cited by this paper
• Reduction rules for YAWL workflows with cancellation regions and OR-joins

  2009cited by this paper
• Towards Agent-Based Modeling and Verification of Collaborative Business Processes: an Approach Centered on Interactions and Behaviors

  2009cited by this paper
• Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants

  2007cited by this paper
• Faulty EPCs in the SAP Reference Model

  2006influential reference
• Reduction rules for reset workflow nets

  2006cited by this paper
• Semantics, verification, and implementation of workflows with cancellation regions and OR-joins

  2006influential reference
• YAWL: yet another workflow language

  2005cited by this paper
• Verification of EPCs: Using Reduction Rules and Petri Nets

  2005cited by this paper
• Decomposition-Based Verification of Cyclic Workflows

  2005cited by this paper
• Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

  2005cited by this paper
• Generalised Soundness of Workflow Nets Is Decidable

  2004cited by this paper
• Applying Propositional Logic to Workflow Verification

  2004cited by this paper
• Verification of WF-nets

  2004influential reference
• Workflow Patterns

  2003cited by this paper
• Lectures on Concurrency and Petri Nets

  2003cited by this paper
• Workflow Management Models , Methods , and Systems

  2002cited by this paper
• Well-structured transition systems everywhere!

  2001cited by this paper
• Diagnosing Workflow Processes using Woflan

  2001cited by this paper
• Relaxed Soundness of Business Processes

  2001cited by this paper
• Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

  2000cited by this paper
• Inter-operability of Workflow Applications: Local Criteria for Global Soundness

  2000cited by this paper
• Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models

  1999cited by this paper
• Boundedness of Reset P/T Nets

  1999cited by this paper
• The Application of Petri Nets to Workflow Management

  1998cited by this paper
• Reset Nets Between Decidability and Undecidability

  1998cited by this paper
• On Correctness Issues in Conceptual Modelling of Workflows

  1997cited by this paper
• Verification of Workflow Nets

  1997cited by this paper
• Reduction rules for time Petri nets

  1996cited by this paper
• Free choice Petri nets

  1995cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• Transformations and Decompositions of Nets

  1986cited by this paper
• Application and Theory of Petri Nets

  1982influential reference

• Translating BPMN models into X-Klaim programs for developing multi-robot missions

  2025cites this paper
• Toward automated verification of timed business process models using timed-automata networks and temporal properties

  2025cites this paper
• Model-based verification of data protection mechanisms in collaborative business processes

  2025cites this paper
• Formal Verification of Business Constraints in Workflow-Based Applications

  2024cites this paper
• Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops

  2024cites this paper
• VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules

  2023cites this paper
• From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming

  2023cites this paper
• Assessing business process models: a literature review on techniques for BPMN testing and formal verification

  2023cites this paper
• Model-Driven Engineering of Process-Aware Information Systems

  2022cites this paper
• Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice

  2022cites this paper
• Runtime Verification of Business Cloud Workflow Temporal Conformance

  2022cites this paper
• Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application

  2022cites this paper
• CGK4PM: Towards a Methodology for the Systematic Generation of Clinical Guideline Process Models and the Utilization of Conformance Checking

  2022cites this paper
• Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS

  2021cites this paper
• BPMN 2.0 OR-Join Semantics: Global and local characterisation

  2021cites this paper
• Control-Flow-Based Methods to Support the Development of Sound Workflows

  2021cites this paper
• Process mining approach to formal business process modelling and verification: a case study

  2020cites this paper
• Verification and Compliance in Collaborative Processes

  2020cites this paper
• Supporting the Process of Learning and Teaching Process Models

  2020cites this paper
• The RALph miner for automated discovery and verification of resource-aware process models

  2020cites this paper
• Adapting process models via an automated planning approach

  2020cites this paper
• VIEW: an incremental approach to verify evolving workflows

  2019cites this paper
• Automated planning of process models: The construction of parallel splits and synchronizations

  2019cites this paper
• Key aspects of building retrofitting: Strategizing sustainable cities.

  2019cites this paper
• Expanding the Priority Scope of Information Logistics

  2019cites this paper
• Verifying Petri Net-Based Process Models using Automated Planning

  2019cites this paper
• Verifying for Compliance to Data Constraints in Collaborative Business Processes

  2019cites this paper
• Formalized Integration of Rules and Processes

  2018cites this paper
• A formal approach to modeling and verification of business process collaborations

  2018cites this paper
• Stochastic analysis of BPMN with time in rewriting logic

  2018cites this paper
• Formal Model of Business Processes Integrated with Business Rules

  2018cites this paper
• Computing the Parallelism Degree of Timed BPMN Processes

  2018cites this paper
• Global vs. Local Semantics of BPMN 2.0 OR-Join

  2018cites this paper
• Preserving Data Integrity in Distributed Systems

  2018cites this paper
• Checking Business Process Correctness in Apromore

  2018cites this paper
• Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

  2018cites this paper
• Design and evaluation of virtual environments mechanisms to support remote collaboration on complex process diagrams

  2017cites this paper
• Static Verification Techniques for Attributed Graph Transformations

  2017cites this paper
• From Process Models to Concurrent Systems in Alvis Language

  2017influential citation
• A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification

  2017cites this paper
• Models and Run-Time Systems for Data Intensive Workflow Applications

  2017cites this paper
• BProVe: Tool support for business process verification

  2017cites this paper
• Research on Business Process Prediction and Simulation Using Event Log Analysis Methods

  2017cites this paper
• QABPEM: Quality-Aware Business Process Engineering Method

  2017cites this paper
• BProVe: A formal verification framework for business process models

  2017cites this paper
• Adaptive time- and process-aware information systems

  2017cites this paper
• Visual Analytics for Soundness Verification of Process Models

  2017cites this paper
• Towards Mode 2 knowledge production: Analysis and proposal of a framework for research in business processes

  2017cites this paper
• Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

  2016cites this paper
• Business Process Variability : A Study into Process Management and Verification

  2016influential citation
• A Fresh Approach in the Optimization of Government Processes using Algorithms: A Case Study of Retirement Procedure in Cameroon

  2016influential citation
• Detecting Data-model-oriented Anomalies in Parallel Business Process

  2016cites this paper
• A data-centric approach to manage business processes

  2016influential citation
• A probabilistic method for business process verification: Reachability, Liveness and deadlock detection

  2016cites this paper
• Design Time Validation for the Correct Execution of BPMN Collaborations

  2016cites this paper
• Verification of Business Processes Against Business Rules Using Object Life Cycles

  2016cites this paper
• How do humans inspect BPMN models: an exploratory study

  2016cites this paper
• Effective policies for workflow scheduling in stochastic environments

  2015cites this paper
• Opus Framework: Issues, Challenges, and Assessment

  2015influential citation
• Design-Time Compliance of Service Compositions in Dynamic Service Environments

  2015cites this paper
• Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV

  2015cites this paper
• Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops

  2015cites this paper
• Identifying Quality Issues in BPMN Models: an Exploratory Study

  2015cites this paper
• The relationship between workflow graphs and free-choice workflow nets

  2015cites this paper
• A Quality Assurance Framework for Business Process Management

  2015cites this paper
• Development of process-based entropy measurement framework for organizations

  2015cites this paper
• Consistently Formalizing a Business Process and its Properties for Verification: A Case Study

  2015cites this paper
• ASSESSING THE FUNCTIONAL ALIGNMENT OF A BUSINESS PROCESS

  2015cites this paper
• Efficiency of formal verification of ArchiMate business processes with NuSMV model checker

  2015cites this paper
• Opus Framework: Research and Evaluation

  2015cites this paper
• Event Correlation for Business Processes on the Basis of Ontologies

  2014cites this paper
• Towards end-to-end multi-dimensional quality evaluation of business processes

  2014cites this paper
• Composite, Real-time Validation for Business Process Modelling

  2014cites this paper
• Correction of Data-flow Errors in Workflows

  2014cites this paper
• Proposing a formal method for workflow modelling:Temporal Logic of Actions (TLA)

  2014cites this paper
• Graph theory and model collection management: conceptual framework and runtime analysis of selected graph algorithms

  2014cites this paper
• Towards a Foundational Framework for Developing and Testing Inter-organizational Business Processes

  2014cites this paper
• Discovering Diversity Corrections for Incompatible Web Services

  2014cites this paper
• Diagnosing correctness of semantic workflow models

  2013cites this paper
• A survey of formal business process verification : From soundness to variability

  2013cites this paper
• Business process management: a systemic approach?

  2013cites this paper
• Business Process Management: A Comprehensive Survey

  2013influential citation
• The Relationship Between Workow Graphs and Free-Choice Workow Nets

  2013cites this paper
• A pattern-based approach for the verification of business process descriptions

  2013cites this paper
• Adaptive modeling of inter-organizational business processes in telecommunication sector

  2013cites this paper
• An incidence matrix-based verification method for business process model in inter-domain network management system

  2013cites this paper
• Valuation of manual and automated process redesign from a business perspective

  2013cites this paper
• Modeling and Verification of Business Processes for the Public Administration

  2013cites this paper
• A Control-flow Pattern based Horizontal Business Process Model Transformation Approach

  2013cites this paper
• Constraint-Based Process Models

  2012cites this paper
• Artificial Intelligence for Knowledge Management with BPMN and Rules

  2012cites this paper
• Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods

  2012cites this paper
• A timed model for healthcare workflows based on CSP

  2012cites this paper
• Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

  2012cites this paper
• Formal Methods to Improve Public Administration Business Processes

  2012cites this paper
• Feature-based Configuration: Collaborative, Dependable, and Controlled

  2012cites this paper
• The Difficulty of Replacing an Inclusive OR-Join

  2012cites this paper
• Imperative versus declarative process variability: Why Choose?

  2012cites this paper
• Process Evolution and Instance Migration

  2012cites this paper
• Process Modeling and Flexibility-by-Design

  2012cites this paper