Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements

Authors

  • Khawla Bouafia Eötvös Loránd University
  • Bálint Molnár Eötvös Loránd University

DOI:

https://doi.org/10.33423/jabe.v22i9.3686

Keywords:

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