On the identification of verbs in computer programs of physiological models

The rationale for identifying verbs (actions modeled) in the source code of a mathematical model is presented, with algorithms leading to computational techniques for devising explanations of such models. Using flow graph methodology the source code of a program can be described as disjoint intervals of its directed acyclic graph. Intervals of this set containing complete loops represent the code structure conceptually equivalent to verbs modeled. In turn, such structures can be mapped uniquely as functional dependencies of the intensional form of a relational data base which is the model output. Simulation, then, can be viewed as retrieval, and the logical inferences of a model appear to be derivable via relational algebra of the data base. In these terms, a verb is a relation consisting of at least one variable defined in an interval. The relation's key attributes must include at least one variable, also defined in the interval. Verb definitions are essential if programs are to explain themselves.