Paper Info
Title
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory
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.
Year
DOI
Venue
2012
10.1016/j.eswa.2012.01.154
Expert Syst. Appl.
Keywords
Field
DocType
c-k theory,iterative requirements engineering framework,requirements engineering process,formal concept analysis,normalized model,c-k design,design time,traditional uml class model,requirements engineering approach,fca lattice visualization,normalized class model,iterative requirements engineering,expert system,software engineering
Data mining,Use case,Unified Modeling Language,C-K theory,Conceptual model,Computer science,Expert system,Requirements engineering,Requirement,Formal concept analysis
Journal
Volume
Issue
ISSN
39
9
0957-4174
Citations 
PageRank 
References 
2
0.45
32
Authors
4
Name
Order
Citations
PageRank
Jonas Poelmans127719.28
Guido Dedene292583.39
Monique Snoeck344066.62
Stijn Viaene472260.17