A Matrix Architecture for Development of System Dynamics Models

A matrix architecture for development of system dynamics models is described. The approach concentrates on the formulation of the Forrester stock and flow diagram, and incorporates the concept of an interaction matrix to assist in the formulation of such models. The interaction matrix is formally derived. Set and graph-theoretic concepts are utilized in the derivation. The rules (primitives) of system dynamics are expressed in the form of definitions and axioms. From these primitives, theorems are proven. The theorems describe whether interaction between certain pairs of quantity types is possible and what type of interaction can exist between the pairs. The theorems are used to rationalize the interaction matrix. The paper is accompanied by a companion article (3) by the same authors that employs the interaction matrix in a component development strategy. The methodology is applie d to example problems in the companion paper. Notation, assumptions, definitions, and axioms In this article the assumptions and axioms of system dynamics will be asserted using set and graph theory. In addition, notation and definitions will be introdu ced as required by the component approach. Using these primitives, theorems that describe what interactions are possible are proven. The implications for the interaction matrix are then illustrated. Notation