Lightweight Checking for UML Based Software Development

Abstract

This paper describes the application of xlinkit, a generic tool for managing the consistency of distributed documents, to consistency checking in the context of UML modelling and software development. In particular, we report how we have developed an application of xlinkit to the UML Core package Well-Formedness Rules [9]. We first give an overview of how xlinkit works. We then expand on the specific application of xlinkit to the UML, and discuss our report generator ‘Pulitzer’. Simple examples are used for illustration.