Viewpoints consistency management using belief merging operators

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