Abstract:It is a proved fact that the appropriate management of requirements is one of the most influential factors in the success of software development projects. With the advent of the model-driven engineering (MDE) development paradigm, the need for formal gathering mechanisms, which provide the necessary degree of nonambiguity and detail, has led to the proposal of a myriad of requirements metamodels. However, a great disparity exists, both in the concepts/relationships and in the underlying semantics involved in … Show more
“…There is a need for formal gathering mechanisms, which provide the necessary degree of non-ambiguity and detail [106]. These mechanisms can contribute to solve the problem of How to decrease the ambiguity of i* models (C13) cited by 2 studies (1.59%).…”
Section: Rq4: What Judgments Exist About the Scalability Of I* Models?mentioning
i* models have been used for requirements specification in many domains, such as healthcare, telecommunication, and air traffic control. Managing the scalability and the complexity of such models is an important challenge in Requirements Engineering (RE). Scalability is also one of the most intractable issues in the design of visual notations in general: a well-known problem with visual representations is that they do not scale well. This issue has led us to investigate scalability in i* models and its variants by means of a systematic mapping study. This paper is an extended version of a previous paper on the scalability of i* including papers indicated by specialists. Moreover, we also discuss the challenges and open issues regarding scalability of i* models and its variants. A total of 126 papers were analyzed in order to understand: how the RE community perceives scalability; and which proposals have considered this topic. We found that scalability issues are indeed perceived as relevant and that further work is still required, even though many potential solutions have already been proposed. This study can be a starting point for researchers aiming to further advance the treatment of scalability in i* models.
“…The metamodel is extended with general security concepts in [79] in order to define a domain specific language for security requirements. In [62], Molina presents a measurable requirements metamodel which extends the requirements metamodel in [63,64]. The measurable requirements metamodel supports the elicitation of measurable requirements based on the explicit connection of goals, requirements, and measures.…”
a b s t r a c tContext: Following the evolution of the business needs, the requirements of software systems change continuously and new requirements emerge frequently. Requirements documents are often textual artifacts with structure not explicitly given. When a change in a requirements document is introduced, the requirements engineer may have to manually analyze all the requirements for a single change. This may result in neglecting the actual impact of a change. Consequently, the cost of implementing a change may become several times higher than expected. Objective: In this paper, we aim at improving change impact analysis in requirements by using formal semantics of requirements relations and requirements change types. Method: In our previous work we present a requirements metamodel with commonly used requirements relation types and their semantics formalized in first-order logic. In this paper the classification of requirements changes based on structure of a textual requirement is provided with formal semantics. The formalization of requirements relations and changes is used for propagating proposed changes and consistency checking of proposed changes in requirements models. The tool support for change impact analysis in requirements models is an extension of our Tool for Requirements Inferencing and Consistency Checking (TRIC). Results: The described approach for change impact analysis helps in the elimination of some false positive impacts in change propagation, and enables consistency checking of changes. Conclusion: We illustrate our approach in an example which shows that the formal semantics of requirements relations and change classification enables change alternatives to be proposed semi-automatically, the reduction of some false positive impacts and contradicting changes in requirements to be determined.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.