Hypercube Graph Decomposition for Boolean Simplification: An Optimization of Business Process Verification
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2019, Vol 10, Issue 2
Abstract
This paper deals with the optimization of busi-ness processes (BP) verification by simplifying their equivalent algebraic expressions. Actual approaches of business processes verification use formal methods such as automated theorem proving and model checking to verify the accuracy of the business process design. Those processes are abstracted to mathematical models in order to make the verification task possible. However, the structure of those mathematical models is usually a Boolean expression of the business process variables and gateways. Thus leading to a combinatorial explosion when the number of literals is above a certain threshold. This work aims at optimizing the verification task by managing the problem size. A novel algorithm of Boolean simplification is proposed. It uses hypercube graph decomposition to find the minimal equivalent formula of a business process model given in its disjunctive normal form (DNF). Moreover, the optimization method is totally automated and can be applied to any business process having the same formula due to the independence of the Boolean simplification rules from the studied processes. This new approach has been numerically validated by comparing its performance against the state of the art method Quine-McCluskey (QM) through the optimization of several processes with various types of branching.
Authors and Affiliations
Mohamed NAOUM, Outman EL HICHAMI, Mohammed AL ACHHAB, Badr eddine EL MOHAJIR
Keywords
Related Articles
- EP ID EP468647
- DOI 10.14569/IJACSA.2019.0100261
- Views 87
- Downloads 0
Context Switching Semaphore with Data Security Issues using Self-healing Approach
The main objective of a self healing scheme is to share and secure the information of any system at the same time. “Self-healing” techniques ultimately are dependable computing techniques. Specifically self-healing syst...
A Parallel Hybrid-Testing Tool Architecture for a Dual-Programming Model
High-Performance Computing (HPC) recently has become important in several sectors, including the scientific and manufacturing fields. The continuous growth in building more powerful super machines has become noticeable,...
Web Usability and User Trust on E-commerce Websites in Pakistan
Web usability is an integral part of e-commerce. Users are less prone to the websites which are difficult to navigate and slow in response time. E-commerce business is growing aggressively on daily basis, but lack of use...
Optimal Path Planning using RRT* based Approaches: A Survey and Future Directions
Optimal path planning refers to find the collision free, shortest, and smooth route between start and goal positions. This task is essential in many robotic applications such as autonomous car, surveillance operations, a...
Self-regulating Message Throughput in Enterprise Messaging Servers – A Feedback Control Solution
Enterprise Messaging is a very popular message exchange concept in asynchronous distributed computing environments. The Enterprise Messaging Servers are heavily used in building business critical Enterprise applic...