An iterative requirements engineering framework based on formal concept analysis and C-K theory
Name:
Publisher version
View Source
Access full-text PDFOpen Access
View Source
Check access options
Check access options
Publication type
Journal article with impact factorPublication Year
2012Journal
Expert Systems with ApplicationsPublication Volume
39Publication Issue
9Publication Begin page
8115Publication End page
8135
Metadata
Show full item recordAbstract
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.Keyword
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 IntelligenceKnowledge Domain/Industry
Operations & Supply Chain Managementae974a485f413a2113503eed53cd6c53
10.1016/j.eswa.2012.01.154