A Specification Model for Graph Theory

Abstract

In this research, we construct graph models by describing the basic properties of graphs for specifying various types of graph objects. By characterizing basic graph properties into orthogonal descriptions, graph model for undirected graphs, digraphs, and hypergraphs can be unified in a generic graph model. With these graph models, a knowledge base of basic definitions of graph theory was constructed to form the basis of a graph specification system. The specification system was proved to be a terminating, confluent, and complete algebraic specification system and can be used in automated reasoning of graph theory.