A posting from Christian Nentwich references an updated online application of 'xlinkit' for software engineering called the 'xlinkit UML Checker': "you can submit your UML document to this service in XMI format; the document will be checked for inconsistencies according to the rules set out in the UML Standard, as defined by the OMG. The well-formedness rules are expressed in the 'xlinkit' rule language, which allows arbitrary first order logic expressions, restricted to equality as the only function and finite sets of DOM nodes as the only type of set allowed." The 'xlinkit' tool represents a "lightweight application service which provides rule-based link generation and checks the consistency of distributed documents and web content. The tool leverages standard Internet technologies, notably XML and XLink.

From the white paper: "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 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 method for generating links based on the result of the checks and we give an account of our content management strategy. We present the architecture of our service and the results of a substantial real-world' evaluation... The operation of xlinkit is quite simple. It is given a set of distributed XML resources and a set of potentially distributed rules that relate the content of those resources. The rules express consistency constraints across the resource types. xlinkit returns a set of XLinks, in the form of a linkbase, that support navigation between elements of the XML resources. The precise link generation behaviour is determined by link building annotations on the rules. xlinkit leverages standard Internet technologies. It supports document distribution and can support multiple deployment models. It has a formal basis and evaluation has shown that it scales, both in terms of the size of documents and in the number of rules."