A VIEWPOINTS MODELING FRAMEWORK BASED ON EPISTEMIC LOGIC

摘要

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.