xlinkit: A Consistency Checking and Smart Link Generation Service

Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein

Dept. of Computer Science
University College London
Gower Street
London, WC1E 6BT
{c.nentwich|l.capra|w.emmerich|a.finkelstein} at cs.ucl.ac.uk

 
 

Abstract:

xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technologies, notably XML, XPath and XLink. xlinkit can be used as part of a consistency management scheme or in applications that require smart link generation, including portal construction and management of large document repositories. In this paper we show how consistency constraints can be expressed and checked. We describe a novel semantics for first order logic that produces links instead of truth values and give an account of our content management strategy. We present the architecture of our service and the results of two substantial case studies that use xlinkit for checking course syllabus information and for validating UML models supplied by industrial partners.


[ Home ] [ Profile ] [ Research ] [ Publications ]


Updated on: 05/02/02
Wolfgang Emmerich