Abstract
Context and motivation: All too frequently functional requirements (FRs) for a (software) system are unclear. Written in natural language, FRs are underspecified for software developers; when written in formal language, FRs are insufficiently comprehensible for users. This is a well-known problem in RE. As long as this either/or dichotomy exists, FRs cannot be a “basis for common agreement among all parties involved”, as Barry Boehm puts it.
Question/problem: On the one hand, FRs should unambiguously specify the functional behaviour of the system to be written or adapted, and on the other hand be fully understandable by the customer that must agree with them. What is required to achieve this goal?
Principal ideas/results: A specification must describe the Statics as well as the Dynamics. In our approach it consists of a Conceptual Data Model (the data structure, i.e., the Statics) plus a set of System Sequence Descriptions (SSDs) representing the processes (i.e., the Dynamics). SSDs schematically depict the interactions between the primary actor (user), the system (as a black box), and other actors (if any), including the messages between them. We provide a set of rules to generate natural language expressions from both the Conceptual
Data Model and the SSDs that are understandable by the user (‘Informalisation of formal requirements’). Generating understandable representations of a specification is relevant for requirements validation tasks.
Contribution to validation: We introduce a form of Natural Language Generation (the NLG in the title) by defining a grammar and mapping rules to precise and unambiguous expressions in natural language, in order to improve understandability of the FRs and the data model by the user community.
Question/problem: On the one hand, FRs should unambiguously specify the functional behaviour of the system to be written or adapted, and on the other hand be fully understandable by the customer that must agree with them. What is required to achieve this goal?
Principal ideas/results: A specification must describe the Statics as well as the Dynamics. In our approach it consists of a Conceptual Data Model (the data structure, i.e., the Statics) plus a set of System Sequence Descriptions (SSDs) representing the processes (i.e., the Dynamics). SSDs schematically depict the interactions between the primary actor (user), the system (as a black box), and other actors (if any), including the messages between them. We provide a set of rules to generate natural language expressions from both the Conceptual
Data Model and the SSDs that are understandable by the user (‘Informalisation of formal requirements’). Generating understandable representations of a specification is relevant for requirements validation tasks.
Contribution to validation: We introduce a form of Natural Language Generation (the NLG in the title) by defining a grammar and mapping rules to precise and unambiguous expressions in natural language, in order to improve understandability of the FRs and the data model by the user community.
Original language | English |
---|---|
Title of host publication | Joint Proceedings of REFSQ-2022 |
Subtitle of host publication | Workshops, Doctoral Symposium, and Posters & Tools Track |
Editors | Jannik Fischbach, Nelly Condori-Fernandez, Joerg Doerr, Marcela Ruiz, Jan-Philipp Steghöfer, Liliana Pasquale, Andrea Zisman, Renata Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Maya Daneva, Andrea Herrmann, Kurt Schneider, Patrick Mennig, Fabiano Dalpiaz, Davide Dell'Anna, Sylwia Kopczynska, Lloyd Montgomery, Andy G. Darby, Peter Sawyer |
Publisher | CEUR Workshop Proceedings (CEUR-WS.org) |
Number of pages | 9 |
Volume | 3122 |
Publication status | Published - 2022 |
Event | 5th Workshop on Natural Language Processing for Requirements Engineering - Birmingham, United Kingdom Duration: 21-Mar-2022 → 24-Mar-2022 |
Conference
Conference | 5th Workshop on Natural Language Processing for Requirements Engineering |
---|---|
Abbreviated title | NLP4RE |
Country/Territory | United Kingdom |
City | Birmingham |
Period | 21/03/2022 → 24/03/2022 |