UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Static consistency checking for distributed specifications

Nentwich, C; Emmerich, W; Finkelstein, A; (2001) Static consistency checking for distributed specifications. In: 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS. (pp. 115 - 124). IEEE COMPUTER SOC

Full text not available from this repository.


Software engineers building a complex system make use of a number of informal and semi-formal notations. We describe a framework, xlinkit, for managing the consistency of development artifacts expressed in such notations. xlinkit supports distributed software engineering by providing a distribution-transparent language for expressing constraints between specifications. It specifies a semantics for those constraints that permits the generation of hyperlinks between inconsistent elements. We give a formal semantics for link generation, and show how we expressed the rules of the UML Foundation/Core modules in our language. We outline how we implemented xlinkit as a light-weight web service using open standard technology and present the results of an evaluation against several sizeable UML models provided by industrial partners.

Type: Proceedings paper
Title: Static consistency checking for distributed specifications
Event: 16th IEEE Annual International Conference on Automated Software Engineering (ASE 2001)
Dates: 2001-11-26 - 2001-11-29
ISBN: 0-7695-1427-8
URI: http://discovery.ucl.ac.uk/id/eprint/153910
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