Semantics of trace relations in requirements models for consistency checking and inferencing

Göknil, Arda; Kurtev, Ivan; Berg, Klaas van den; Veldhuis, J.

doi:10.1007/s10270-009-0142-3

Cited by 60 publications

(60 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ingolfo et al [16] use the ACE framework to deal with the compliance of software requirements. In Goknil et al [15], a meta model is proposed to reason about requirements consistency. In their approach, some well-known relationships between requirements are formalized by relying on first-order logic.…”

Section: Examplementioning

confidence: 99%

“…Alternative approaches to argumentation theory are for instance Answer Set Programming, and first-order logic [15]. As underlined by Bagheri and Ensan [3], a drawback of pure logical formalisms for dealing with inconsistency in requirement specifications is that they identify and solve the inconsistency in pure syntactic form without taking into account the semantical information required to solve inconsistency.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach

Mirbel

Villata

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Requirements engineering research has for long recognized the leading role of goals as requirement artifacts during the requirements engineering specification processes. Given the large number of artifacts created during the requirements specification and the continuous evolution of these artifacts, reasoning about them remains a challenging task. Moreover, the rising complexity of the target domain under consideration during the requirements engineering process as well as the growth of geographically distributed projects explain why the number of collected requirements as well as their complexity also increase. In this context, providing support to stakeholders in achieving a common understanding of a set of goal-based requirements, in consolidating them and keeping them consistent over time is another challenging task. In this paper, we propose an approach to detect consistent sets of goal-based requirements and maintain their consistency over time. Our approach relies on argumentation theory which allows to detect the conflicts among elements called arguments. In particular, we rely on meta-argumentation, which instantiates abstract argumentation frameworks, where requirements are represented as arguments and the standard Dung-like argumentation framework is extended with additional relations between goal-based requirements.

show abstract

Section: Examplementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach

Mirbel

Villata

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…In our previous work [38,36], we use a representation of requirements and the relations among them as models conforming to a requirements metamodel. The metamodel contains concepts commonly found in the literature and that reflect how most requirements documents are structured.…”

Section: Introductionmentioning

confidence: 99%

“…Second, requirements models can be automatically checked for consistency of the relations. Tool for Requirements Inferencing and Consistency Checking (TRIC) [38,92] is developed to support both activities. The details about the metamodel, the semantics and the tool are already reported in [38].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Change impact analysis for requirements: A metamodeling approach

Göknil

Kurtev²,

Berg

et al. 2014

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Internet information triangulation: Design theory and prototype evaluation

Wijnhoven

Brinkhuis

2014

Asso for Info Science & Tech

View full text Add to dashboard Cite

Many discussions exist regarding the credibility of information on the Internet. Similar discussions happen on the interpretation of social scientific research data, for which information triangulation has been proposed as a useful method. In this article, we explore a design theory-consisting of a kernel theory, metarequirements, and meta-designs-for software and services that triangulate Internet information. The kernel theory identifies 5 triangulation methods based on Churchman's inquiring systems theory and related meta-requirements. These meta-requirements are used to search for existing software and services that contain design features for Internet information triangulation tools. We discuss a prototyping study of the use of an information triangulator among 72 college students and how their use contributes to their opinion formation. From these findings, we conclude that triangulation tools can contribute to opinion formation by information consumers, especially when the tool is not a mere fact checker but includes the search and delivery of alternative views. Finally, we discuss other empirical propositions and design propositions for an agenda for triangulator developers and researchers. In particular, we propose investment in theory triangulation, that is, tools to automatically detect ethically and theoretically alternative information and views.

show abstract

Semantics of trace relations in requirements models for consistency checking and inferencing

Cited by 60 publications

References 34 publications

Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach

Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach

Change impact analysis for requirements: A metamodeling approach

Internet information triangulation: Design theory and prototype evaluation

Contact Info

Product

Resources

About