Reusable Engineering Software Components: Interface Issues

本研究的目的是促进整合， 工程软件组件和系统的重用， 相关的方法、符号和工具。 这些能力是 需要在工程和建筑领域保持竞争力， 市场对多学科分析的需求日益增长 和模拟，设计施工和制造，以及 分析、设计和决策支持工具的集成。 为了实现集成和重用，软件组件必须 其特征在于它们的功能特性，即，的描述 他们提供的服务。 否则，人们只能检查 程序文本本身，尝试描述其行为，并尝试 把碎片拼在一起 即使是面向对象的语言， 不足以促进融合，因为它们不能用于 说明一个组件做什么，只说明它是如何实现的。 函数属性的声明性描述提供了 描述复杂软件交互的潜力 组件和系统，从而实现软件集成， 重用. 本研究将开发用于指定的正式符号 工程软件组件，并通过开发一个 可重复使用规范手册。 通过使用形式化方法， 结果规范独立于特定的 编程语言，并且可以使用 普通数学

The objective of this research is to promote the integration and reuse of engineering software components and systems by developing pertinent approaches, notations, and tools. Such capabilities are needed to remain competitive in the engineering and construction marketplace with the growing need for multi-disciplinary analyses and simulations, design-for- construction and -manufacturing, and the integration of analysis, design, and decision-support tools. To enable integration and reuse, software components must be characterized by their functional properties, i.e., a description of the services they provide. Otherwise, one can only examine the program text itself, attempt to characterize its behavior, and try putting the pieces together. Even object-oriented languages are inadequate for promoting integration since they cannot be used to state what a component does, only how it is implemented. Declarative descriptions of functional properties offer the potential to characterize the interaction of complex software components and systems, thus enabling software integration and reuse. This study will develop formal notations for specifying engineering software components, and apply them by developing a handbook of reusable specifications. By using formal methods, the resulting specifications are independent of a particular programming language and may be manipulated and combined using ordinary mathematics.