A rigorous methodology for specification and verification of business processes

DOI10.1007/s00165-009-0106-yzbMath1184.68340OpenAlexW2030435982MaRDI QIDQ1037243

Wei-Ngan Chin, Ştefan Andrei, Cristian Masalagiu, 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)

Uses Software

• SPIN
• NuSMV
• SATIRE
• TLC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Number of models and satisfiability of sets of clauses
• Counting the number of solutions for instances of satisfiability
• Counting for satisfiability by inverting resolution
• CNF-Satisfiability Test by Counting and Polynomial Average Time
• The Complexity of Enumeration and Reliability Problems
• Solving the incremental satisfiability problem
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
• A machine program for theorem-proving
• FM 2005: Formal Methods

This page was built for publication: A rigorous methodology for specification and verification of business processes