UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Flexible consistency checking

Nentwich, C; Emmerich, W; Finkelstein, A; Ellmer, E; (2003) Flexible consistency checking. ACM T SOFTW ENG METH , 12 (1) 28 - 63.

Full text not available from this repository.


The problem of managing the consistency of heterogeneous, distributed software engineering documents is central to the development of large and complex systems. We show how this problem can be addressed using xlinkit, a lightweight framework for consistency checking that leverages standard Internet technologies. xlinkit provides flexibility, strong diagnostics, and support for distribution and document heterogeneity. We use xlinkit in a comprehensive case study that demonstrates how design, implementation and deployment information of an Enterprise JavaBeans system can be checked for consistency, and rechecked incrementally when changes are made.

Title:Flexible consistency checking
Keywords:design, languages, verification, CASE tools, consistency management, constraint checking, multiple perspectives
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
UCL > School of BEAMS > Faculty of Engineering Science > Engineering Science Faculty Office

Archive Staff Only: edit this record