Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation - IMT Atlantique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
343 Consultations
1391 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More