article

xlinkit: a consistency checking and smart link generation service

Authors:

Christian Nentwich,

Wolfgang Emmerich,

Anthony FinkelsteiinAuthors Info & Claims

ACM Transactions on Internet Technology (TOIT), Volume 2, Issue 2

Pages 151 - 185

https://doi.org/10.1145/514183.514186

Published: 01 May 2002 Publication History

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.

References

[1]

Anderson, K. M., Taylor, R. N., and Whitehead, E. J. 1994. Chimera: Hypertext for heterogeneous software environments. In Proceedings of the European Conference on Hypermedia (Edinburgh, UK, Sept. 1994).]]

[2]

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.]]

[3]

Balzer, R. 1991. Tolerating inconsistency. In Proceedings of the 13th International Conference on Software Engineering (Austin, TX, May 1991), 158--165. IEEE Computer Society Press.]]

[4]

Boarder, J., Obbink, H., Schmidt, M., and Völker, A. 1989. Advanced techniques and methods of system production in a heterogeneous, extensible, and rigorous environment. In Proceedings of the 1st International Conference on System Development Environments and Factories (Berlin, 1989), N. Madhavji, W. Schäfer, and H. Weber, Eds. 199--206. Pitman Publishing.]]

[5]

Borras, P., Clément, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., and Pascual, V. 1988. CENTAUR: The system. ACM SIGSOFT Soft. Eng. Notes 13, 5, 14--24.]]

[6]

Bray, T., Paoli, J., Sperberg-McQueen, C. M., and Maler, E. 2000. Extensible markup language. Recommendation http://www.w3.org/TR/2000/REC-xml-20001006 (Oct.), World Wide Web Consortium.]]

[7]

Buneman, P., Fan, W., and Weinstein, S. 2000. Path constraints in semistructured databases. J. Comput. Syst. Sci. 61, 2, 146--193.]]

[8]

Chamberlin, D., Florescu, D., Robie, J., Simeon, J., and Stefanescu, M. 2001. XQuery: A query language for XML. Working draft (Feb.), World Wide Web Consortium (W3C). http://www.w3.org/TR/xquery/.]]

[9]

Clark, J. 1999. XSL transformations (XSLT). Tech. Rep. http://www.w3.org/TR/xslt (Nov.), World Wide Web Consortium.]]

[10]

Clark, J. and DeRose, S. 1999. XML path language (XPath) version 1.0. Recommendation http://www.w3.org/TR/1999/REC-xpath-19991116 (Nov.), World Wide Web Consortium.]]

[11]

Consortium, W. W. W. 2000. Amaya. http://www.w3.org/Amaya/.]]

[12]

DeRose, S., Maler, E., and Orchard, D. 2001. XML linking language (XLink) version 1.0. W3C recommendation http://www.w3.org/TR/xlink/ (June), World Wide Web Consortium.]]

[13]

Devanbu, P., Chen, Y.-F., Gansner, E., Muller, H., and Margin, J. 1999. CHIME---Customizable hyperlink insertion and maintenance engine for software engineering environments. In Proceedings of the 21st International Conference on Software Engineering (Los Angeles, CA, May 1999), 473--482. ACM Press.]]

[14]

Easterbrook, S., Finkelstein, A., Kramer, J., and Nuseibeh, B. 1994. Coordinating distributed ViewPoints: The anatomy of a consistency check. Int. J. Concurrent Eng. Res. Appl. 2, 3, 209--222.]]

[15]

Ellmer, E., Emmerich, W., Finkelstein, A., Smolko, D., and Zisman, A. 1999. Consistency management of distributed documents using XML and related technologies. Res. Note 99--94, Dept. of Computer Science, University College London.]]

[16]

Emmerich, W. 1996. GTSL---An object-oriented language for specification of syntax directed tools. In Proceedings of the 8th International Workshop on Software Specification and Design (1996), 26--35. IEEE Computer Society Press.]]

[17]

Fan, W. and Simeon, J. 2000. Integrity constraints for XML. In Proceedings of the Symposium on Principles of Database Systems (2000), 23--34.]]

[18]

Feather, M., Fickas, S., Finkelstein, A., and van Lansweerde, A. 1997. Requirements and specification exemplars. Automated Soft. Eng. 4, 4.]]

[19]

Fernandez, M., Florescu, D., Levy, A., and Suciu, D. 1999. Verifying integrity constraints on Web sites. In Proceedings of the 16th International Joint Conference on Articial Intelligence (1999), 614--619.]]

[20]

Fernandez, M., Florescu, D., Levy, A., and Suciu, D. 2000. Declarative specification of Web sites with strudel. VLDB J. 9, 1, 38--55.]]

[21]

Finkelstein, A. 2000. A foolish consistency: Technical challenges in consistency management. In Proceedings of the 11th International Conference on Database and Expert Systems Applications (DEXA). (London, Sept. 2000), 1--5. Springer Verlag.]]

[22]

Finkelstein, A., Gabbay, D., Hunter, H., Kramer, J., and Nuseibeh, B. 1994. Inconsistency handling in multiperspective specifications. IEEE Trans. Soft. Eng. 20, 8, 569--578.]]

[23]

Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., and Goedicke, M. 1992. Viewpoints: A framework for integrating multiple perspectives in system development. Int. J. Soft. Eng. Knowl. Eng. 2, 1, 21--58.]]

[24]

Gurdel, G. 2001. FpML version 1.0. http://www.fpml.org.]]

[25]

Habermann, A. N. and Notkin, D. 1986. Gandalf: Software development environments. IEEE Trans. Soft. Eng. 12, 12, 1117--1127.]]

[26]

Henrich, A. and Däberitz, D. 1996. Using a query language to state consistency constraints for repositories. In Database and Expert Systems Applications (1996), 59--68.]]

[27]

Jelliffe, R. 2000. The Schematron assertion language 1.5. Tech. Rep. (Oct.), GeoTempo Inc.]]

[28]

Mozilla. 2000. Mozilla. http://www.mozilla.org.]]

[29]

Nagl, M., Ed. 1996. Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS vol. 1170, Springer Verlag.]]

[30]

Nuseibeh, B., Easterbrook, S., and Russo, A. 2000. Leveraging inconsistency in software development. IEEE Computer 33, 4 (April), 24--29.]]

[31]

Object Management Group. 2000a. Unified Modeling Language Specification. Object Management Group.]]

[32]

Object Management Group 2000b. XML Metadata Interchange (XMI) Specification 1.1. Object Management Group, Framingham, MA.]]

[33]

Reps, T. W. and Teitelbaum, T. 1984. The synthesizer generator. ACM SIGSOFT Soft. Eng. Notes 9, 3, 42--48.]]

[34]

Schäfer, W. and Weber, H. 1989. European software factory plan---The ESF-profile. In Modern Software Engineering---Foundations and Current Perspectives, P. A. Ng and R. T. Yeh, Eds., Ch. 22, Van Nostrand Reinhold, 613--637.]]

[35]

Taylor, R. N., Selby, R. W., Young, M., Belz, F. C., Clarce, L. A., Wileden, J. C., Osterweil, L., and Wolf, A. L. 1988. Foundations of the Arcadia Environment Architecture. ACM SIGSOFT Soft. Eng. Notes 13, 5, 1--13.]]

[36]

Wadler, P. 1999. A formal semantics of patterns in XSLT. Markup Technologies.]]

[37]

Wilkinson, R. and Smeaton, A. 1999. Automatic link generation. ACM Comput. Surv. 31, 4es (Dec.). Article 27.]]

Cited By

Gao MWang HXu C(2024)Testing Constraint Checking Implementations via Principled Metamorphic Transformations2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER60148.2024.00096(884-895)Online publication date: 12-Mar-2024
https://doi.org/10.1109/SANER60148.2024.00096
Marchezan LAssunção WHerac EShafiq SEgyed A(2024)Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER60148.2024.00023(147-158)Online publication date: 12-Mar-2024
https://doi.org/10.1109/SANER60148.2024.00023
Mayr-Dorn CRatiu CMarchezan de Paula LKeplinger FEgyed AWalden G(2024)Actionable light-weight process guidanceJournal of Systems and Software10.1016/j.jss.2024.112064214(112064)Online publication date: Aug-2024
https://doi.org/10.1016/j.jss.2024.112064
Show More Cited By

Index Terms

Recommendations

Flexible consistency checking

The problem of managing the consistency of heterogeneous, distributed software engineering documents is central to the development of large and complex systems. We show how this problem can be addressed using xlinkit, a lightweight framework for ...
Maintaining islands of consistency via versioned links
SIGDOC '11: Proceedings of the 29th ACM international conference on Design of communication

One of the core tasks of technical communication and knowledge management is maintaining the internal and external consistency of document collections. The design of (technical) communication infrastructures has to take this into account from the start. ...
Towards Inconsistency Handling of Object-Oriented Behavioral Models

With the Unified Modeling Language being used in diverse contexts, the ability of defining and checking customized consistency conditions is of increasing importance. Often, consistency checks rely on existing formal analysis tools such as model ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Internet Technology

ACM Transactions on Internet Technology Volume 2, Issue 2

May 2002

107 pages

ISSN:1533-5399

EISSN:1557-6051

DOI:10.1145/514183

Issue’s Table of Contents

Copyright © 2002 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2002

Published in TOIT Volume 2, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

200
Total Citations
View Citations
1,389
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)3

Reflects downloads up to 07 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gao MWang HXu C(2024)Testing Constraint Checking Implementations via Principled Metamorphic Transformations2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER60148.2024.00096(884-895)Online publication date: 12-Mar-2024
https://doi.org/10.1109/SANER60148.2024.00096
Marchezan LAssunção WHerac EShafiq SEgyed A(2024)Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER60148.2024.00023(147-158)Online publication date: 12-Mar-2024
https://doi.org/10.1109/SANER60148.2024.00023
Mayr-Dorn CRatiu CMarchezan de Paula LKeplinger FEgyed AWalden G(2024)Actionable light-weight process guidanceJournal of Systems and Software10.1016/j.jss.2024.112064214(112064)Online publication date: Aug-2024
https://doi.org/10.1016/j.jss.2024.112064
Zhang LWang HChen CXu CYu P(2024)Incremental-concurrent fusion checking for efficient context consistencyJournal of Systems and Software10.1016/j.jss.2023.111852207:COnline publication date: 1-Jan-2024
https://dl.acm.org/doi/10.1016/j.jss.2023.111852
Chen CWang HZhang LXu CYu P(2024)MG+: Towards Efficient Context Inconsistency Detection by Minimized Link GenerationSoftware Testing, Verification and Reliability10.1002/stvr.1899Online publication date: 13-Oct-2024
https://doi.org/10.1002/stvr.1899
Wen HWu JJiang JTang GHong Z(2023)A Formal Approach for Consistency Management in UML ModelsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402350013433:05(733-763)Online publication date: 19-Apr-2023
https://doi.org/10.1142/S0218194023500134
Marchezan LAssunção WHerac EKeplinger FEgyed ALauwerys CLiu AMuccini H(2023)Fulfilling Industrial Needs for Consistency among Engineering ArtifactsProceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP58684.2023.00028(246-257)Online publication date: 17-May-2023
https://dl.acm.org/doi/10.1109/ICSE-SEIP58684.2023.00028
Marchezan LAssuncao WKretschmer REgyed A(2022)Change-Oriented Repair PropagationProceedings of the International Conference on Software and System Processes and International Conference on Global Software Engineering10.1145/3529320.3529330(82-92)Online publication date: 19-May-2022
https://dl.acm.org/doi/10.1145/3529320.3529330
Chen CWang HZhang LXu CYu P(2022)Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00013(13-24)Online publication date: Oct-2022
https://doi.org/10.1109/ISSRE55969.2022.00013
Zhang LWang HXu CYu P(2022)INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion2022 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME55016.2022.00025(187-198)Online publication date: Oct-2022
https://doi.org/10.1109/ICSME55016.2022.00025
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents