A rigorous methodology for specification and verification of business processes
DOI10.1007/S00165-009-0106-YzbMATH Open1184.68340OpenAlexW2030435982MaRDI QIDQ1037243FDOQ1037243
Authors: Cristian Masalagiu, Wei-Ngan Chin, Ştefan Andrei, Vasile Alaiba 
Publication date: 13 November 2009
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0106-y
Recommendations
- Formal verification of complex business processes based on high-level Petri nets
- scientific article; zbMATH DE number 2215868
- Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
- A formal framework for business process modelling and design
- Business process specification and analysis
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of organizations, manpower planning in operations research (90B70)
Cites Work
- The Complexity of Enumeration and Reliability Problems
- Title not available (Why is that?)
- A machine program for theorem-proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- CNF-Satisfiability Test by Counting and Polynomial Average Time
- FM 2005: Formal Methods
- Counting the number of solutions for instances of satisfiability
- Number of models and satisfiability of sets of clauses
- A Graph-Theoretic Approach for Timing Analysis and its Implementation
- Counting for satisfiability by inverting resolution
- Title not available (Why is that?)
- Solving the incremental satisfiability problem
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
- Title not available (Why is that?)
- Inheritance of business processes: a journey visiting four notorious problems
Cited In (14)
- Formal methods to improve public administration business processes
- A formal framework for business process modelling and design
- Business process verification with constraint temporal answer set programming
- Title not available (Why is that?)
- Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- Formal verification of complex business processes based on high-level Petri nets
- Title not available (Why is that?)
- Algorithm for formal verification of business process templates
- Business process specification and analysis
- Verification and validation of formal data-centric business models
- A formal framework for specifying and verifying microservices based process flows
- ${\cal B}$ -Tropos
- Formalising Feasibility and Correctness of Distributed Business Processes
Uses Software
This page was built for publication: A rigorous methodology for specification and verification of business processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1037243)
