A VIEWPOINTS MODELING FRAMEWORK BASED ON EPISTEMIC LOGIC

Min Jiang, Guoqing Wu

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.

References

  1. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B. (1994), Inconsistency handling in multiperspective specifications. IEEE Trans. on Software Engineering,20(8):569-578.
  2. Zave, P., and Jackson, M. (1993) Conjunction as Composition; Transactions on Software Engineering and Methodology, 2(4), 379-411.
  3. Easterbrook, S., and Chechik, M. (2001), A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. In Proceedings of the 23rd International Conference on Software Engineering(ICSE'01) (Toronto, Ontario, Canada May 12-19, 2001), IEEE Computer Society, 411 - 420
  4. Sabetzadeh, M., & Easterbrook, S. M. (2003), Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. In Proceedings of the 18th IEEE Int. Conf. on Automated Software Engineering(ASE 2003) (Montreal, Canda, Oct. 6-10, 2003), IEEE Computer Society, 12-21
  5. Nuseibeh B, Kramer J, Hunter A. (1994), A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans. on Software Engineering, 1994,20(10):760-773.
  6. Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. (1995), Reasoning About Knowledge. The MIT Press: Cambridge, MA.
Download


Paper Citation


in Harvard Style

Jiang M. and Wu G. (2006). A VIEWPOINTS MODELING FRAMEWORK BASED ON EPISTEMIC LOGIC . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 435-439. DOI: 10.5220/0002444104350439


in Bibtex Style

@conference{iceis06,
author={Min Jiang and Guoqing Wu},
title={A VIEWPOINTS MODELING FRAMEWORK BASED ON EPISTEMIC LOGIC},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={435-439},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002444104350439},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A VIEWPOINTS MODELING FRAMEWORK BASED ON EPISTEMIC LOGIC
SN - 978-972-8865-43-6
AU - Jiang M.
AU - Wu G.
PY - 2006
SP - 435
EP - 439
DO - 10.5220/0002444104350439