Mathematical domain of discourse for a software architecture
Yun Zhuang · 2003
Both mathematical sets ISAC and WTIP have been defined as the mathematical domain of discourse of a formal logic system for a software architecture SAC, on which a series of formal logic predicate formulas have been established; and distributive characteristics of objects (operators) in these domains and a number of interesting properties and conclusions have been described successfully so as to provide viewpoints, methods, and tools for SAC's construction analysis and evaluation.