ModelWriter: Text & Model-Synchronized Document Engineering Platform
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916320556089344 |
|---|---|
| author | Erata, Ferhat Gardent, Claire Gyawali, Bikash Shimorina, Anastasia Lussaud, Yvan Tekinerdogan, Bedir Kardas, Geylani Monceaux, Anne |
| author_facet | Erata, Ferhat Gardent, Claire Gyawali, Bikash Shimorina, Anastasia Lussaud, Yvan Tekinerdogan, Bedir Kardas, Geylani Monceaux, Anne |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_01359 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | ModelWriter: Text & Model-Synchronized Document Engineering Platform Erata, Ferhat Gardent, Claire Gyawali, Bikash Shimorina, Anastasia Lussaud, Yvan Tekinerdogan, Bedir Kardas, Geylani Monceaux, Anne Software Engineering Computation and Language 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. |
| title | ModelWriter: Text & Model-Synchronized Document Engineering Platform |
| topic | Software Engineering Computation and Language |
| url | https://arxiv.org/abs/2403.01359 |