The ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and completeness of technical documents that consist of a set of System Installation Design Principles used by Airbus to ensure the correctness of aircraft system installation. We show in particular, how the platform allows the integration of two types of reasoning: reasoning about the meaning of text using semantic parsing and description logic theorem proving; and reasoning about document structure using first-order relational logic and finite model finding for traceability analysis.

翻译：ModelWriter平台提供了一个用于自动化可追溯性分析的通用框架。本文演示了如何利用该框架追踪技术文档的一致性和完整性，这些文档包含一套由空客公司用于确保飞机系统安装正确性的系统安装设计原则。我们特别展示了该平台如何整合两种推理方式：通过语义解析和描述逻辑定理证明对文本含义进行推理；以及通过一阶关系逻辑和有限模型发现对文档结构进行可追溯性分析推理。