The Community for Technology Leaders
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (2017)
Urbana, IL, USA
Oct. 30, 2017 to Nov. 3, 2017
ISBN: 978-1-5386-3976-4
pp: 907-912
Ferhat Erata , Information Technology Group, Wageningen University and Research Centre, The Netherlands
Claire Gardent , CNRS, LORIA, UMR 7503 Vandoeuvre-les-Nancy, F-54500, Nancy, France
Bikash Gyawali , CNRS, LORIA, UMR 7503 Vandoeuvre-les-Nancy, F-54500, Nancy, France
Anastasia Shimorina , CNRS, LORIA, UMR 7503 Vandoeuvre-les-Nancy, F-54500, Nancy, France
Yvan Lussaud , System Engineering Platforms, Airbus Group Innovations, Toulouse, France
Bedir Tekinerdogan , Information Technology Group, Wageningen University and Research Centre, The Netherlands
Geylani Kardas , Ege University, International Computer Institute, Izmir, Turkey
Anne Monceaux , UNIT Information Technologies R&D Ltd., Izmir, Turkey
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.
INDEX TERMS
Semantics, Grammar, Cognition, Atmospheric modeling, Hydraulic systems, Analytical models, Tools
CITATION

F. Erata et al., "ModelWriter: Text and model-synchronized document engineering platform," 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana, IL, USA, 2017, pp. 907-912.
doi:10.1109/ASE.2017.8115703
203 ms
(Ver 3.3 (11022016))