Modeling interconnected systems

A procedure for modeling interconnected systems is outlined, following the methodology of tearing, zooming, and linking. The interconnection architecture is a graph with leaves. The nodes are associated with the subsystems, the edges correspond to the interconnected terminals, and the leaves correspond to the terminals through which the interconnected system can interact with its environment. The subsystems are modeled as behavioral systems with terminals. The manifest variables, the variables at which the model aims, are specified by the manifest variable assignment. The system behavior is obtained by combining the module behavior, the interconnection constraints, and the manifest variable assignment.