Formally Specifying Requirements with RSL-IL

To mediate and properly support the interplay between the domains of business stakeholders and the development team, requirements must be documented and maintained in a rigorous manner. Furthermore, to effectively communicate the viewpoints of different stakeholders, it is of the utmost importance to provide complementary views that support a better understanding of the intended software system´s requirements. However, the quality of requirements specifications and related artifacts strongly depends on the expertise of whoever performs these human-intensive and error-prone activities. This paper introduces RSL-IL, a domain-specific language that can be used to formally specify the requirements of software systems. The formal semantics of RSL-IL constructs enable further computations on its requirements representations, such as the automatic verification and generation of complementary views that support stakeholders during requirements validation.