Abstract
RSL language supports the specification of requirements in a systematic, rigorous and consistent way. RSL includes a large set of constructs to produce requirements specifications at different level of abstraction, different writing styles and different types of requirements (e.g., goals, functional requirements, quality requirements, constraints, user stories, and use cases) and tests. This paper focuses only on the RSL views related with use cases, including those constructs directly relevant to the specification of data-intensive information systems, namely: actors, use cases, data entities, state machines, and their respective relationships. The explanation and discussion is held by an illustrative example that shows how to produce such specifications. RSL offers an innovative approach that improves the way requirements specifications are defined and validated. In spite of other proposals, RSL is the first that integrates a large number of inter-related constructs that can be represented in a consistent and systematic way.
Paper Type
Event
Rigorous Specification of Use Cases with the RSL Language
RSL language supports the specification of requirements in a systematic, rigorous and consistent way. RSL includes a large set of constructs to produce requirements specifications at different level of abstraction, different writing styles and different types of requirements (e.g., goals, functional requirements, quality requirements, constraints, user stories, and use cases) and tests. This paper focuses only on the RSL views related with use cases, including those constructs directly relevant to the specification of data-intensive information systems, namely: actors, use cases, data entities, state machines, and their respective relationships. The explanation and discussion is held by an illustrative example that shows how to produce such specifications. RSL offers an innovative approach that improves the way requirements specifications are defined and validated. In spite of other proposals, RSL is the first that integrates a large number of inter-related constructs that can be represented in a consistent and systematic way.
Recommended Citation
da Silva, A. R. (2019). Rigorous Specification of Use Cases with the RSL Language. In A. Siarheyeva, C. Barry, M. Lang, H. Linger, & C. Schneider (Eds.), Information Systems Development: Information Systems Beyond 2020 (ISD2019 Proceedings). Toulon, France: ISEN Yncréa Méditerranée.