| 摘要 |
A software system manager to achieve second-order logical management of a software system model is described. The system relies upon a second-order logic system description that uses variable functors with specified import predicate arguments and export predicates. The second-order logical system description includes a second-order system model, a second-order rule set, and a second-order operation module. The second-order system model defines a set of existing program files, the second-order rule set defines a set of operations that can be performed on the existing program files, and the second-order operation module specifies an operation to be executed by the secondorder rule set on the set of existing program files. The second-order logic system description is used to generate a set of system construction commands. The system construction commands specify the commands necessary to transform the existing program files into intermediate object files that are used to produce an executable program.
|
