Authors:
Min Jiang
1
and
Guoqing Wu
2
Affiliations:
1
Computer School of Wuhan University, City University of HongKong Shenzhen Research Institute,Shenzhen Virtual, University Park, China
;
2
Computer School of Wuhan University, China
Keyword(s):
Viewpoints, overlapping requirement, common knowledge, inconsistency, epistemic logic.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Engineering Methodologies
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Requirements Analysis And Management
;
Software Engineering
;
Systems Engineering
Abstract:
The approach of viewpoints-oriented requirement engineering hopes that stakeholders in a complex system should describe it from their own perspectives and then generate a more complete requirement specification. Just because of this characteristic, several stakeholders may describe a same problem. These overlapping requirements are the source of inconsistency. This paper puts forward a requirements modeling framework based on problem-domain and viewpoints. We interpret and reason it with epistemic logic in order to make requirements more structured and help stakeholders formally discover those inconsistent overlapping requirements.