Towards A Theory of Hierarchical Modeling

目前的性能和可靠性建模技术和工具本身在很大程度上不足以获得大规模电子系统行为的现实预测。许多作者在处理大尺度模型方面遇到了困难，并求助于各种专门的、特别的技术。这个项目的重点是为大规模性能和可靠性模型的规范、组合、分解和解决方案开发一种高级形式化（语言）。预计这种模型组合的形式化将有助于建模者组装这些大规模系统的模型，并理解错误以及通过替代模型组合结构获得的效率增益。一种自动化模型管件系统有望出现。

Current performance and reliability modeling techniques and tools are seen to be, by themselves, largely inadequate for obtaining realistic predictions of the behavior of very large scale electronics systems. Numerous authors have experienced difficulties with tractability of large scale models, and have resorted to a variety of specialized, ad hoc techniques. The focus of this project is the development of a high-level formalism (language) for the specification, composition, decomposition, and solution of large scale performance and reliability models. It is expected that this formalism for model composition will aid the modeler in assembling models of these large scale systems and in understanding the errors as well as the gain in efficiency achieved by alternative model composition structures. An automated model pipefitting system is expected to emerge.