Semantic Based Models and Translation of Engineering Designs

研究将开发一种正式的方法来对工程产品的语义进行计算机建模。这种模型的用途包括：检查完整性，跨工程应用程序和组织共享数据，为归档提供标准，并为进一步的自动化提供支持。预期的结果将是工程产品的语义建模理论和一个或多个将演示概念和功能的核心数据模型。该方法侧重于产品模型信息的底层逻辑。方法方法是谓词演算。语义模型将在很大程度上是声明性的。模型的使用将取决于相关的过程系统架构。在有用的系统架构上进行工作，在原型中开发一个或多个示例。

Research will develop a formal approach to computer modeling of the semantics of engineering products. The uses of such a model include: checking for integrity, sharing of data across engineering applications and organizations, providing a standard for archiving and support for further automation. The expected results will be a theory of semantic modeling of engineering products and one or more kernel data models that will demonstrate the concepts and capabilities. The approach focuses on the underlying logic of product model information. The methodological approach is predicate calculus. The semantic model will be largely declarative. Use of the model will depend upon associated procedural system architectures. Work on useful system architectures are undertaken, with one or more examples developed in prototypes.