City Research Online

Using XML to build consistency rules for distributed specifications

Zisman, A., Emmerich, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2000). Using XML to build consistency rules for distributed specifications. In: Tenth International Workshop on Software Specification and Design. IWSSD-10 2000. 10th International Workshop on Software Specification and Design, 5-7 Nov 2000, San Diego, USA. doi: 10.1109/IWSSD.2000.891135


The work presented 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.

Publication Type: Conference or Workshop Item (Paper)
Publisher Keywords: Science & Technology; Technology; Computer Science, Software Engineering; Engineering, Electrical & Electronic; Computer Science; Engineering; inconsistency; consistency rules; XML; XPointer
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Presidents's Portfolio
[thumbnail of xml consistency.pdf]
Text - Accepted Version
Download (263kB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login