ModelWriter: Text and model-synchronized document engineering platform

Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux

Research output: Chapter in Book/Report/Conference proceedingConference paperAcademicpeer-review

3 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages907-912
ISBN (Electronic)9781538626849
ISBN (Print)9781538639764
DOIs
Publication statusPublished - 20 Nov 2017
Event32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 - Urbana-Champaign, United States
Duration: 30 Oct 20173 Nov 2017

Conference

Conference32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017
Country/TerritoryUnited States
CityUrbana-Champaign
Period30/10/173/11/17

Fingerprint

Dive into the research topics of 'ModelWriter: Text and model-synchronized document engineering platform'. Together they form a unique fingerprint.

Cite this