Skip to Main content Skip to Navigation
Conference papers

Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns

Imen Sayar 1 Jeanine Souquières 1, *
* Corresponding author
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Abstract : Guaranteeing the correctness of critical and complex software and systems is a challenge that needs to be tackled right from the requirements engineering phase. This paper introduces two development patterns linked to the shape of requirements. The first one allows to automatically formalize a constraint and introduce it in an existing system. The second one is interested on requirements describing a sequence of operations. The verification activity is partly automated and the validation becomes easier to manage. The approach using these development patterns allow us an incremental development of formal specifications and their associated requirements, linked by a glossary. The case study of a hemodialysis system is used as a running example throughout this paper.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/hal-02962897
Contributor : Jeanine Souquières <>
Submitted on : Friday, October 9, 2020 - 3:37:11 PM
Last modification on : Wednesday, October 14, 2020 - 1:55:41 PM

File

FormReqs-2019.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Imen Sayar, Jeanine Souquières. Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. IEEE 27th International Requirements Engineering Conference Workshops (REW), Sep 2019, Jeju Island, South Korea. ⟨10.1109/REW.2019.00026⟩. ⟨hal-02962897⟩

Share

Metrics

Record views

23

Files downloads

5