Using XML to Build Consistency Rules for Distributed Specifications

Authors:
Andrea Zisman;Wolfgang Emmerich;Anthony Finkelsteiin
Affiliations:
City University,Department of Computing, Northampton Square, London EC1V 0HB;University College London, Department of Computer Science, Gower Street, London WC1E 6BT;University College London, Department of Computer Science, Gower Street, London WC1E 6BT
Venue:
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Year:
2000

Citing 12
Cited 3

A comparative analysis of methodologies for database schema integration

ACM Computing Surveys (CSUR)
European Software Factory Plan—the ESF profile

Modern software engineering, foundations and current perspectives
“Lazy” consistency: a basis for cooperative software development

CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Automated resolution of semantic heterogeneity in multidatabases

ACM Transactions on Database Systems (TODS)
Using semantic values to facilitate interoperability among heterogeneous information systems

ACM Transactions on Database Systems (TODS)
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing interference

ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Divergent views in goal-driven requirements engineering

ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Managing Conflicts in Goal-Driven Requirements Engineering

IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications

IEEE Transactions on Software Engineering
A Metadata Approach to Resolving Semantic Conflicts

VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
To Be and Not to Be: On Managing Inconsistency in Software Development

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

Consistency Management of Financial XML Documents

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Knowledge Base Approach to Consistency Management of UML Specifications

Proceedings of the 16th IEEE international conference on Automated software engineering
TQL: A query language to support traceability

TEFSE '09 Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.