The Application of Directed Hyper-Graphs for Analysis of Models of Information Systems

Abstract

Hyper-graphs offer the opportunity to formulate logical statements about their components, for example, using Horn clauses. Several models of Information Systems can be represented using hyper-graphs as the workflows, i.e., the business processes. During the modeling of Information Systems, many constraints should be maintained during the development process. The models of Information Systems are complex objects, for this reason, the analysis of algorithms and graph structures that can support the consistency and integrity of models is an essential issue. A set of interdependencies between models and components of architecture can be formulated by functional dependencies and can be investigated via algorithmic methods. Information Systems can be perceived as overarching documents that includes data collections; documents to be processed; and representations of business processes, activities, and services. Whe selecting and working out an appropriate method encoding of artifacts in Information Systems, the complex structure can be represented using hyper-graphs. This representation enables the application of various model-checking, verification, and validation tools that are based on formal approaches. This paper describes the proposed representations in different situations using hyper-graphs, moreover, the formal, algorithmic-based model-checking methods that are coupled with the representations. The model-checking methods are realized by algorithms that are grounded in graph-theoretical approaches and tailored to the specificity of hyper-graphs. Finally, the possible applications in a real-life enterprise environment are outlined.

HyperNetX: A Python package for modeling complex network data as hypergraphs

“…It has provided data analysis and visualization support for academic papers in subject areas such as biological systems (Colby et al, 2023;Feng et al, 2021), cyber security (Cliff A. Joslyn et al, 2020), information systems (Molnár & Benczúr, 2022), neural networks (Praggastis et al, 2022), knowledge graphs (Cliff A. Joslyn et al, 2018), and the foundations of hypergraph theory (Vazquez, 2022).…”

Blockchain-Based Business Process Management (BPM) for Finance: The Case of Credit and Claim Requests

“…The work by Pierre [19] also presented the benefits, costs, and barriers of improving BPM with blockchain. Blockchain solutions have been used and combined with M2P solutions [25][26][27][28]. In [29], we used blockchain as a UML profile for business processes and workflows in finance.…”

On Group-Vertex-Magic Labeling of Simple Graphs

“…A graph 𝐺 is a system consisting of a finite non-empty set of vertices and a finite set of edges such that the edge is identified with a pair of vertices [1]. Graph theory can be applied in various types of fields, such as networks [2], transportation [3], coding theory [4], chemistry [5], crystallography [6], cryptography [7], and information systems [8]. Graph labeling is one of the important topics in graph theory.…”