Abstract

This paper proposes a use case grammar for the specification of functional requirements. The proposed grammar is defined in EBNF, tested in ANTLR and provides syntactic and semantic rules for writing use case specifications in semi-formal natural language. Such formalization not only helps to make the expression of requirements more disciplined, understandable, well-structured and validated, but it also makes easier their conversion into diagrammatic notations, such as use case and sequence diagrams. It also helps in reducing the time to identify and specify requirements, in diminishing redundancies, inconsistencies and omissions, and, generally, in producing better requirements.

Recommended Citation

Georgiades, M. (2024). A Use Case Grammar for Requirements Specification. In B. Marcinkowski, A. Przybylek, A. Jarzębowicz, N. Iivari, E. Insfran, M. Lang, H. Linger, & C. Schneider (Eds.), Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era (ISD2024 Proceedings). Gdańsk, Poland: University of Gdańsk. ISBN: 978-83-972632-0-8. https://doi.org/10.62036/ISD.2024.7

Paper Type

Full Paper

DOI

10.62036/ISD.2024.7

Share

COinS
 

A Use Case Grammar for Requirements Specification

This paper proposes a use case grammar for the specification of functional requirements. The proposed grammar is defined in EBNF, tested in ANTLR and provides syntactic and semantic rules for writing use case specifications in semi-formal natural language. Such formalization not only helps to make the expression of requirements more disciplined, understandable, well-structured and validated, but it also makes easier their conversion into diagrammatic notations, such as use case and sequence diagrams. It also helps in reducing the time to identify and specify requirements, in diminishing redundancies, inconsistencies and omissions, and, generally, in producing better requirements.