Instantaneous Soundness Checking of Industrial Business Process Models

No abstract is available for this paper.

• Publication year

  2009

• Venue

  International Conference on Business Process Management

• Publication date

  2009-08-27

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-03848-8_19
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Business process verification - finally a reality!

  2009cited by this paper
• Empirical Studies in Process Model Verification

  2009cited by this paper
• The refined process structure tree

  2008cited by this paper
• Translating UML2 Activity Diagrams to Petri Nets

  2008cited by this paper
• Detection and prediction of errors in EPCs of the SAP reference model

  2008cited by this paper
• Detection and prediction of errors in EPC business process models

  2007cited by this paper
• Understanding the Occurrence of Errors in Process Models Based on Metrics

  2007cited by this paper
• Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

  2007cited by this paper
• Generating Petri Net State Spaces

  2007cited by this paper
• On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II

  2007cited by this paper
• Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings

  2007cited by this paper
• Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings

  2007cited by this paper
• Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition

  2007influential reference
• Fundamentals of control flow in workflows

  2003cited by this paper
• The Petri Net Markup Language: Concepts, Technology, and Tools

  2003cited by this paper
• An Alternative Way to Analyze Workflow Graphs

  2002cited by this paper
• Diagnosing Workflow Processes using Woflan

  2001influential reference
• The Application of Petri Nets to Workflow Management

  1998cited by this paper
• Free choice Petri nets

  1995cited by this paper
• Stubborn sets for reduced state space generation

  1991cited by this paper
• Stubborn sets for reduced state generation

  1991cited by this paper
• Stubborn Sets for Reduced State Space Generation, Proc. 11th Internat. Conf. on Application and Theory of Petri Nets

  1990cited by this paper
• A stubborn attack on state explosion

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

  1989cited by this paper
• Advances in Petri Nets 1990

  1987cited by this paper

• A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models

  2023cites this paper
• Acyclic Petri and Workflow Nets with Resets

  2023cites this paper
• ProDiff: A Process Difference Detection Method Based on Hierarchical Decomposition

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

  2022cites this paper
• PQ-Diff: A Business Process Difference Detection and Interpretation Method based on the Common Key Structure

  2022cites this paper
• Verifying generalised and structural soundness of workflow nets via relaxations

  2022cites this paper
• BPMN in the Wild: A Reprise

  2022cites this paper
• Quantitative Assessment of Service Pattern: Framework, Language, and Metrics

  2022cites this paper
• Quantitative Assessment of Service Pattern: Framework, Language, and Metrics

  2021cites this paper
• Trends on the Usage of BPMN 2.0 from Publicly Available Repositories

  2021cites this paper
• A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations

  2021cites this paper
• Efficiency investigation and optimization of contract management business processes in a workwear rental and laundry service company

  2020cites this paper
• Correctness checking for BPMN collaborations with sub-processes

  2020cites this paper
• BPMN in the Wild: BPMN on GitHub.com

  2020cites this paper
• Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings

  2020cites this paper
• A Scenario-based Modeling Method for Crossover Services

  2020cites this paper
• Mining BPMN Processes on GitHub for Tool Validation and Development

  2020cites this paper
• Tools and Algorithms for the Construction and Analysis of Systems

  2019influential citation
• Business Models based Technology for Startups

  2019cites this paper
• A practical data-flow verification scheme for business processes

  2019cites this paper
• Interactive process mining

  2019cites this paper
• A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations

  2019cites this paper
• KS-Diff: A Key Structure Based Difference Detection Method for Process Models

  2019cites this paper
• Detecting Difference Between Process Models Using Edge Network

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

  2019cites this paper
• Mining von BPMN-Prozessartefakten auf GitHub

  2019cites this paper
• Computing the Expected Execution Time of Probabilistic Workflow Nets

  2018cites this paper
• Corporate efficiency improvement with business process automation

  2018cites this paper
• Computing the concurrency threshold of sound free-choice workflow nets

  2018cites this paper
• ProVer: an SMT-based approach for process verification

  2018cites this paper
• Spread Page approach to Business Process Management

  2018cites this paper
• Tools and Algorithms for the Construction and Analysis of Systems

  2018cites this paper
• Petri net synthesis and modal specifications

  2018cites this paper
• Improving back office efficiency with business process management system

  2018cites this paper
• Reduction of Workflow Nets for Generalised Soundness Verification

  2017cites this paper
• Static analysis of deterministic negotiations

  2017cites this paper
• A Benchmark Dataset for Evaluating Process Similarity Search Methods

  2017influential citation
• FB-Diff: A Feature Based Difference Detection Algorithm for Process Models

  2017cites this paper
• Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)

  2017cites this paper
• Detecting Difference between Process Models Based on the Refined Process Structure Tree

  2017cites this paper
• Querying Similar Process Models Based on the Hungarian Algorithm

  2017cites this paper
• Reduction Rules for Colored Workflow Nets

  2016influential citation
• Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

  2016cites this paper
• Service querying to support process variant development

  2016cites this paper
• Property specification, process verification, and reporting - A case study with vehicle-commissioning processes

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

  2016cites this paper
• Soundness in negotiations

  2016cites this paper
• Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes

  2016cites this paper
• Polynomial analysis algorithms for free choice Probabilistic Workflow Nets

  2016cites this paper
• Diagnosing behavioral differences between business process models: An approach based on event structures

  2016cites this paper
• Checking Business Process Evolution

  2016cites this paper
• Ontology-Based Heuristics for Process Behavior: Formalizing False Positive Scenarios

  2016cites this paper
• A Formal Framework for Diagnostic Analysis for Errors of Business Processes

  2016cites this paper
• Transition Adjacency Relation Computation Based on Unfolding: Potentials and Challenges

  2016cites this paper
• Using Classification Method for Querying the Relevant Process Models

  2015cites this paper
• Mapping Elements with the Hungarian Algorithm: An Efficient Method for Querying Business Process Models

  2015cites this paper
• Semantics for consistent activation in context-oriented systems

  2015cites this paper
• Mining version histories for change impact analysis in business process model repositories

  2015cites this paper
• An SMT-based approach to fair termination analysis

  2015cites this paper
• Efficient Transition Adjacency Relation Computation for Process Model Similarity

  2015influential citation
• Semantic Process Fragments Matching to Assist the Development of Process Variants

  2015cites this paper
• Computation of Transition Adjacency Relations Based on Complete Prefix Unfolding (Technical Report)

  2015cites this paper
• Supporting Business Process Improvement through Business Process Weakness Pattern Collections

  2015cites this paper
• Caise 2015 Doctoral Consortium Program Committee Members Caise Phd Award towards a Framework for Feature Deduplication during Software the Use Case of Commissioning Processes in the Automobile Industry

  2015cites this paper
• Supporting Information Systems Analysis Through Conceptual Model Query - The Diagramed Model Query Language (DMQL)

  2015cites this paper
• Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes

  2015cites this paper
• Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes

  2015cites this paper
• Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry

  2015cites this paper
• A systematic literature review on process model testing: Approaches, challenges, and research directions

  2015cites this paper
• FMI 2014 - Free Models Initiative: Workshop Proceedings

  2014cites this paper
• Merging several business process variants

  2014cites this paper
• Where did I go wrong? - Explaining Errors in Business Process Models

  2014influential citation
• Querying Services Based on Composition Context

  2014cites this paper
• An Index for Software Engineering Models

  2014cites this paper
• Mining Event Logs to Assist the Development of Executable Process Variants

  2014cites this paper
• Conflict Resolution for On-the-fly Change Propagation in Business Processes

  2014cites this paper
• Alloy4SPV : A Formal Framework for Software Process Verification

  2014influential citation
• Graph theory and model collection management: conceptual framework and runtime analysis of selected graph algorithms

  2014influential citation
• Green Business Process Management: Methode und Realisierung

  2014cites this paper
• User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes

  2014cites this paper
• Weak Conformance between Process Models and Synchronized Object Life Cycles

  2014cites this paper
• Breadth First Search Sequence based Method for Efficient Process Retrieval

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

  2013influential citation
• Modeling and Verification of Business Processes for the Public Administration

  2013influential citation
• Fast detection of exact clones in business process model repositories

  2013cites this paper
• Enterprise, Business-Process and Information Systems Modeling

  2013cites this paper
• Querying process models by behavior inclusion

  2013cites this paper
• Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

  2013cites this paper
• Integrating Validation Techniques for Process-based Models

  2013cites this paper
• Generation of process using multi-objective genetic algorithm

  2013cites this paper
• Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes

  2013cites this paper
• Spotting Terminology Deficiencies in Process Model Repositories

  2013cites this paper
• vGMQL - Introducing a Visual Notation for the Generic Model Query Language GMQL

  2013cites this paper
• On-the-Fly Change Propagation for the Co-evolution of Business Processes

  2013cites this paper
• Verification of Structured Processes: A Method Based on an Unsoundness Profile

  2013cites this paper
• Efficient Recovery of Missing Events

  2013cites this paper
• Framework for coordination of activities in dynamic situations

  2013cites this paper
• Process Refinement Validation and Explanation with Ontology Reasoning

  2013cites this paper
• A Platform for Research on Process Model Collections

  2012cites this paper
• Ensuring correctness during process configuration via partner synthesis

  2012cites this paper