An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory

  • Authors:

  • Jonas Poelmans;Guido Dedene;Monique Snoeck;Stijn Viaene

  • Affiliations:

  • KULeuven, Faculty of Business and Economics, Naamsestraat 69, 3000 Leuven, Belgium;KULeuven, Faculty of Business and Economics, Naamsestraat 69, 3000 Leuven, Belgium and Universiteit van Amsterdam Business School, Roeterstraat 11, 1018 WB Amsterdam, The Netherlands;KULeuven, Faculty of Business and Economics, Naamsestraat 69, 3000 Leuven, Belgium;KULeuven, Faculty of Business and Economics, Naamsestraat 69, 3000 Leuven, Belgium and Vlerick Leuven Gent Management School, Vlamingenstraat 83, 3000 Leuven, Belgium

  • Venue:
  • Expert Systems with Applications: An International Journal
  • Year:
  • 2012

Quantified Score

Hi-index 12.05

Visualization

Abstract

In this paper, we propose an expert system for iterative requirements engineering using Formal Concept Analysis. The requirements engineering approach is grounded in the theoretical framework of C-K theory. An essential result of this approach is that we obtain normalized class models. Compared to traditional UML class models, these normalized models are free of ambiguities such as many-to-many, optional-to-optional or reflexive associations which cause amongst others problems at design time. FCA has the benefit of providing a partial ordering of the objects in the conceptual model based on the use cases in which they participate. The four operators of the C-K design square give a clear structure to the requirements engineering process: elaboration, verification, modification and validation. In each of these steps the FCA lattice visualization plays a pivotal role. We empirically show how the strategy works by applying it to a set of case studies and a modeling experiment in which 20 students took part.