A language proposition for system requirements

Benoît Lebeaupin (1) , Antoine Rauzy (2) , Jean-Marc Roussel (3)

1 LGI - Laboratoire Génie Industriel - EA 2606
2 Department of Mechanical and Industrial Engineering
3 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Natural language is currently the basis of the majority of system specifications, even if it has several drawbacks. In particular, natural language is inherently ambiguous. In this article, we propose a way to complete the natural language text of requirements by giving a formal syntax to this text. We introduce and use an example to illustrate our ideas.

Mots clés: Requirements Engineering; Formal syntax; Systems engineering

Domaines: Autre; Ingénierie assistée par ordinateur; Génie logiciel [cs.SE]; Théorie et langage formel [cs.FL]

Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel. A language proposition for system requirements. 11th Annual IEEE International Systems Conference, IEEE, Apr 2017, Montréal, Canada. ⟨10.1109/SYSCON.2017.7934808⟩. ⟨hal-01570784⟩