Sciweavers

Share
KBSE
2003
IEEE

Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach

10 years 9 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approaches have been proposed as a way to manage incomplete and inconsistent models gathered from multiple sources. In this paper, we propose a category-theoretic framework for the analysis of fuzzy viewpoints. Informally, a fuzzy viewpoint is a graph in which the elements of a lattice are used to specify the amount of knowledge available about the details of nodes and edges. By defining an appropriate notion of morphism between fuzzy viewpoints, we construct categories of fuzzy viewpoints and prove that these categories are (finitely) cocomplete. We then show how colimits can be employed to merge the viewpoints and detect the inconsistencies that arise independent of any particular choice of viewpoint semantics. We illustrate an application of the framework through a case-study showing how fuzzy viewpoints can serv...
Mehrdad Sabetzadeh, Steve M. Easterbrook
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where KBSE
Authors Mehrdad Sabetzadeh, Steve M. Easterbrook
Comments (0)
books