Static consistency checking for distributed specifications.
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS.
(pp. 115 - 124).
IEEE COMPUTER SOC
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.
|Title:||Static consistency checking for distributed specifications|
|Event:||16th IEEE Annual International Conference on Automated Software Engineering (ASE 2001)|
|Location:||CORONADO ISL, CA|
|Dates:||2001-11-26 - 2001-11-29|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science
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