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.
Paper Type
Full Paper
DOI
10.62036/ISD.2024.7
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.
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