Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements
DOI:
https://doi.org/10.33423/jabe.v22i9.3686Keywords:
Business, Economics, Information System (IS), model checking, Linear Temporal Logic (LTL), property, hypergraph representation, Finite State Machine (FSM)Abstract
Enterprise information systems (IS) should align processes in organizations to ease strategies success and solve problems using different approaches. Modelling is a way to represent processes and supporting enterprise architecture (EA) which should comply with a set of rules and constraints.
Model-checking becomes a major area of research which used for formal verification of various properties translated into mathematical logic. In this paper, an approach of model checking on hypergraph representation based on a finite state machine(FSM) which supports the alignment of business process(BP) requirements will be presented to check its correctness and the satisfaction of some properties which need the checking.
Downloads
Published
2020-12-03
How to Cite
Bouafia, K., & Molnár, B. (2020). Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements. Journal of Applied Business and Economics, 22(9). https://doi.org/10.33423/jabe.v22i9.3686
Issue
Section
Articles
License
Please review our Copyright Notice.