Affiliation:
1. University College London, London, UK
Abstract
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed Web content. It leverages standard Internet technologies, notably XML, XPath, and XLink. xlinkit can be used as part of a consistency management scheme or in applications that require smart link generation, including portal construction and management of large document repositories. In this article we show how consistency constraints can be expressed and checked. We describe a novel semantics for first-order logic that produces links instead of truth values and give an account of our content management strategy. We present the architecture of our service and the results of two substantial case studies that use xlinkit for checking course syllabus information and for validating UML models supplied by industrial partners.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications
Reference35 articles.
1. Apparao V. Byrne S. Champion M. Isaacs S. Jacobs I. Hors A. L. Nicol G. Robie J. Sutor R. Wilson C. and Wood L. 1998. Document Object Model (DOM) level 1 specification. W3C Recommendation http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001 (Oct.) World Wide Web Consortium.]] Apparao V. Byrne S. Champion M. Isaacs S. Jacobs I. Hors A. L. Nicol G. Robie J. Sutor R. Wilson C. and Wood L. 1998. Document Object Model (DOM) level 1 specification. W3C Recommendation http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001 (Oct.) World Wide Web Consortium.]]
2. Centaur: the system
Cited by
107 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Incremental-concurrent fusion checking for efficient context consistency;Journal of Systems and Software;2024-01
2. Fulfilling Industrial Needs for Consistency Among Engineering Artifacts;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05
3. A Formal Approach for Consistency Management in UML Models;International Journal of Software Engineering and Knowledge Engineering;2023-04-19
4. INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion;2022 IEEE International Conference on Software Maintenance and Evolution (ICSME);2022-10
5. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10