Inconsistency Handling of Viewpoints: An Epistemic Logic-Based Approach
多视点中不一致性的处理：一种基于认知逻辑的方法

One prima factor of measuring achievement of a software system is whether it satisfies the needs for consumers. Software Requirement Engineering (RE)is processes that identifies stakeholders and document those requirements, which can convenient for analyzing. RE also is an inter-discipline and stakeholder-center process. Viewpoints requirement engineering is a branch of RE. Viewpoints approach hopes that stakeholders in a complex system should describe it from their own perspectives and then a more complete requirement specification can be generated. Just because of this characteristic, several stakeholders maybe describe a same problem. These overlapping requirements are the common knowledge among stakeholders. The different interpretations of that common knowledge are source of inconsistency. This paper puts forward requirement modeling framework based on problem-domain and viewpoints. We interpret and reason it with epistemic logic in order to achieve the following goals-to discover and solve the inconsistency which exists in different viewpoints formally.