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

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.