多视点中不一致性的处理:一种基于认知逻辑的方法

Inconsistency Handling of Viewpoints: An Epistemic Logic-Based Approach

衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源。不一致性是多视点需求工程中一个必须解决的问题。本文提出了基于问题域的多视点需求建模框架,并利用认知逻辑对该框架进行解释和推理,希望可以用形式化的方法来发现和解决存在于不同视点间的不一致性。

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.