Formal Methods and Semantic Technologies for Engineering Design Processes

系统工程设计过程遵循一系列标准化的开发阶段，这些阶段与软件工程有许多共同之处。在这种类比中，CAD/CAM对象取代程序代码作为开发的实施阶段;然而，其他公认的开发阶段，如需求或原理解决方案，目前在很大程度上是非正式的，实际上通常根本没有以机器可处理的形式制定。我们建议借鉴上述类比和转移方法，从软件工程到工程设计，以捕捉整个工程设计过程正式，从而提高特别是其可靠性和可重用性。我们设想了一个面向文档的设计过程，集成了从需求规格到CAD/CAM文档的开发过程的所有阶段，并且还结合了企业本体、工业标准和形式化几何原理等背景知识。在拟议的项目中，我们计划为这样一个过程开发信息架构，并使用一个工具来支持它，该工具将CAD系统与正式规范语言、本体推理器和语义文档管理系统连接起来，从而实现一个全面的开发方法，支持完全正式的开发链、变更和生命周期管理，以及语义上相互链接的半正式文档，用于文档编制和认证。

Systematic engineering design processes follow a series of standardized development stages that have many aspects in common with software engineering. In this analogy, CAD/CAM objects replace program code as the implementation stage of the development; however, other recognized development stages such as requirements or principle solutions are currently left largely informal and in fact are typically not laid down in machine-processable form at all. We propose to draw on the mentioned analogy and transfer methods from software engineering to engineering design in order to capture the full engineering design process formally and thus enhance in particular their reliability and reusability. We envision a document-oriented design process that integrates all stages of the development process from requirement specifications to CAD/CAM documents, and moreover incorporates background knowledge such as enterprise ontologies, industrial standards, and formalized geometric principles. In the proposed project, we plan to develop the information architecture for such a process and support it with a tool that interfaces a CAD system with formal specification languages, ontology reasoners, and semantic document management systems, thus allowing for a comprehensive development methodology that supports completely formalized development strands, change and life-cycle management, as well as semantically interlinked semi-formal documents for documentation and certification.