Loading...
An iterative requirements engineering framework based on formal concept analysis and C-K theory
Poelmans, Jonas Dedene, Guido (+) Snoeck, M. Viaene, Stijn
Poelmans, Jonas
Dedene, Guido (+)
Snoeck, M.
Viaene, Stijn
Citations
Altmetric:
Publication Type
Journal article with impact factor
Editor
Supervisor
Publication Year
2012
Journal
Expert Systems with Applications
Book
Publication Volume
39
Publication Issue
9
Publication Begin page
8115
Publication End page
8135
Publication NUmber of pages
Collections
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.
Research Projects
Organizational Units
Journal Issue
Keywords
Software Engineering, FCA, Expert System, Science & Technology, Technology, Computer Science, Artificial Intelligence, Engineering, Electrical & Electronic, Operations Research & Management Science, Computer Science, Engineering, Quality, UML, Artificial Intelligence & Image Processing, Artificial Intelligence