A rigorous methodology for specification and verification of business processes

DOI10.1007/S00165-009-0106-YMaRDI QIDQ1037243zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

verificationspecificationbusiness processunifying computer tool

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of organizations, manpower planning in operations research (90B70)

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

Cites work

• scientific article; zbMATH DE number 4201657 (Why is no real title available?)
• scientific article; zbMATH DE number 53088 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 2086521 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• A machine program for theorem-proving
• CNF-Satisfiability Test by Counting and Polynomial Average Time
• Counting for satisfiability by inverting resolution
• Counting the number of solutions for instances of satisfiability
• FM 2005: Formal Methods
• Inheritance of business processes: a journey visiting four notorious problems
• Number of models and satisfiability of sets of clauses
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• Solving the incremental satisfiability problem
• The Complexity of Enumeration and Reliability Problems

Cited in

(14)

• Formalising Feasibility and Correctness of Distributed Business Processes
• 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
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• scientific article; zbMATH DE number 2013598 (Why is no real title available?)
• Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
• Formal verification of complex business processes based on high-level Petri nets
• scientific article; zbMATH DE number 2215868 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• TLC
• SATIRE
• NuSMV
• SPIN

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)