About this document
Hypercube Graph for Boolean Simplification by Mohamed Naoum is a document available to read on EtoBox.
1) The document proposes a new algorithm to optimize business process verification by simplifying their equivalent algebraic expressions. It uses hypercube graph decomposition to find the minimal equivalent formula of a business process model given in disjunctive normal form (DNF). 2) Current approaches to business process verification, like model checking and automated theorem proving, suffer from limitations such as state explosion and undecidability. They abstract processes into logical formulas in DNF
- Author
- Mohamed Naoum
- Language
- EN