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.