Journal of
Marketing Development and Competitiveness






Scholar Gateway


Abstracts prior to volume 5(1) have been archived!

Issue 5(1), October 2010 -- Paper Abstracts
Girard  (p. 9-22)
Cooper (p. 23-32)
Kunz-Osborne (p. 33-41)
Coulmas-Law (p.42-46)
Stasio (p. 47-56)
Albert-Valette-Florence (p.57-63)
Zhang-Rauch (p. 64-70)
Alam-Yasin (p. 71-78)
Mattare-Monahan-Shah (p. 79-94)
Nonis-Hudson-Hunt (p. 95-106) 



JOURNAL OF APPLIED BUSINESS AND ECONOMICS


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


Author(s): Khawla Bouafia, Bálint Molnár

Citation: Khawla Bouafia, Bálint Molnár, (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, Vol. 22, Iss.9,  pp. 250-258

Article Type: Research paper

Publisher: North American Business Press

​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.