Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements. JABE. 2020;22(9). Accessed June 2, 2026. https://articlearchives.co/index.php/JABE/article/view/1056