Viewpoints consistency management using belief merging operators

作者: Q. Lin

DOI:

关键词:

摘要: Handling inconsistent requirement specifications is a critical and difficult issue in requirements engineering. There has been considerable research interest this topic many methods have proposed implemented the past. This aims at developing an approach to viewpoint merging for management. The recent literature on belief provides several well defined operators that can be useful viewpoints merging. system specified as finite state models, order demonstrate indeed basis We extend of art by providing technique incremental elicitation, addressing problem iterative present viewpoints.

参考文章(44)
Ian Sommerville, Pete Sawyer, Requirements Engineering: A Good Practice Guide ,(1997)
V. S. Subrahmanian, On the Semantics of Quantitative Logic Programs. SLP. pp. 173- 182 ,(1987)
Robert W. Schwanke, Gail E. Kaiser, Living With Inconsistency in Large Systems. SCM. pp. 98- 118 ,(1988)
Sébastien Konieczny, Ramón Pino Pérez, On the logic of merging principles of knowledge representation and reasoning. pp. 488- 498 ,(1998)
David Duffy, Craig MacNish, John McDermid, Philip Morris, A Framework for Requirements Analysis Using Automated Reasoning conference on advanced information systems engineering. pp. 68- 81 ,(1995) , 10.1007/3-540-59498-1_238
Thomas Meyer, Aditya Ghose, Samir Chopra, Syntactic Representations of Semantic Merging Operations pacific rim international conference on artificial intelligence. pp. 620- 620 ,(2002) , 10.1007/3-540-45683-X_88
Kenneth Lauchlin McMillan, Symbolic model checking: an approach to the state explosion problem Ph. D. Thesis, Carnegie Mellon University. ,(1992)
Bashar Nuseibeh, Alessandra Russo, Using Abduction to Evolve Inconsistent Requirements Specification Australasian Journal of Information Systems. ,vol. 6, ,(1999) , 10.3127/AJIS.V6I2.296
Michael Huth, Mark Ryan, Logic in Computer Science Cambridge University Press. ,(2004) , 10.1017/CBO9780511810275
S Easterbrook, A Finkelstein, J Kramer, B Nuseibeh, Coordinating Conflicting ViewPoints by Managing Inconsistency (1994). ,(1994)