Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to
your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Flexible consistency checking
-
Publication Type:Journal article
-
Publication Sub Type:Article
-
Authors:Nentwich C, Emmerich W, Finkelstein A, Ellmer E
-
Publisher:ACM Press
-
Publication date:01/01/2003
-
Pagination:28, 63
-
Journal:ACM Transactions on Software Engineering Methodology (TOSEM)
-
Volume:12
-
Issue:1
-
Print ISSN:1049-331X
-
Keywords:design, languages, verification, CASE tools, consistency management, constraint checking, multiple perspectives
-
Notes:Imported via OAI, 7:29:01 3rd Aug 2005 Flexible consistency checking 152
Abstract
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.
› More search options
UCL Researchers