Zisman, A;
Emmerich, W;
Finkelstein, A;
(2000)
Using XML to build consistency rules for distributed specifications.
In:
TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN.
(pp. 141 - 148).
IEEE COMPUTER SOC
![[thumbnail of 2.4_conrules.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
2.4_conrules.pdf Download (263kB) |
Abstract
The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an approach for specifying consistency rules for distributed partial specifications with overlapping contents. The approach is based on expressing consistency rules using XML and XPointer. We present a classification for different types of consistency rules, related to various types of inconsistencies and show how to express these consistency, rules using our approach. We also briefly describe a rule editor to support the specification of the consistency rules.
| Type: | Proceedings paper |
|---|---|
| Title: | Using XML to build consistency rules for distributed specifications |
| Event: | 10th International Workshop on Software Specification and Design |
| Location: | SAN DIEGO, CA |
| Dates: | 2000-11-05 - 2000-11-07 |
| ISBN: | 0-7695-0884-7 |
| Open access status: | An open access version is available from UCL Discovery |
| Keywords: | inconsistency, consistency rules, XML, XPointer |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/753 |
Archive Staff Only
 |
View Item |
