Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Abstract

Software development projects seeking a high level of accuracy reach out to formal methods as early as the requirements engineering phase. However the client perspective of the future system is presented in an informal requirements document. The gap between the formal and informal approaches (and the artifacts used and produced by them) adds further complexity to an already rigorous task of software development. Our goal is to bridge this gap through a fine-grained level of traceability between the client-side informal requirements document to the developer-side formal specifications using a semi-formal modeling technique, model federation. Such a level of traceability can be exploited by the requirements engineering process for performing different actions that involve either or both these informal and formal artifacts. The effort and time consumed in developing such a level of traceability pays back in the later phases of a development project. For example, one can accurately narrow down the requirements responsible for an inconsistency in proof obligations during the analysis phase. We illustrate our approach using a running example from a landing gear system case study.
Fichier principal
Vignette du fichier
Article.pdf (614.5 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01853610 , version 1 (03-08-2018)

Identifiers

Cite

Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin. Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩. ⟨hal-01853610⟩
345 View
1410 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More