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.

Type: Article
Title: Flexible consistency checking
Keywords: design, languages, verification, CASE tools, consistency management, constraint checking, multiple perspectives
URI: http://discovery.ucl.ac.uk/id/eprint/153886
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item