کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
384150 660841 2012 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An iterative requirements engineering framework based on Formal Concept Analysis and C–K theory
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
An iterative requirements engineering framework based on Formal Concept Analysis and C–K theory
چکیده انگلیسی

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.


► This study proposes an interactive expert system for requirements engineering.
► Using Formal Concept Analysis conceptual models can be iteratively improved.
► CK-theory provides a structure to this iterative requirements engineering process.
► Real life cases studies show the applicability of the proposed approach.
► Normalized class models are the result of our FCA based approach.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Expert Systems with Applications - Volume 39, Issue 9, July 2012, Pages 8115–8135
نویسندگان
, , , ,