ModelWriter: Text and Model-Synchronized Document Engineering Platform

Abstract : 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.
Type de document :
Communication dans un congrès
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Oct 2017, Urbana-Champaign, IL, United States
Liste complète des métadonnées

https://hal.inria.fr/hal-01581256
Contributeur : Bikash Gyawali <>
Soumis le : lundi 4 septembre 2017 - 14:45:21
Dernière modification le : mardi 24 avril 2018 - 13:30:46

Identifiants

  • HAL Id : hal-01581256, version 1

Citation

Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, et al.. ModelWriter: Text and Model-Synchronized Document Engineering Platform. 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Oct 2017, Urbana-Champaign, IL, United States. 〈hal-01581256〉

Partager

Métriques

Consultations de la notice

339