METAGRAPHS

Graph-theoretic constructs are widely used in the modeling and analysi s of systems. However, most existing constructs are not suitable for t he analysis of systems where relationships between sets of elements ha ve to be represented and manipulated. Such relationships occur commonl y in the specification of modules in information systems and decision support systems. In this paper, we describe a new graph-theoretic cons truct, a metagraph, which has been developed for precisely such proble ms. We show that metagraph representation can provide both insight int o the structure of a system through graphical visualization, as well a s a basis for analysis of system structure and behavior in terms of fo rmal properties of the construct.