xlinkit

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

xlinkit: a consistency checking and smart link generation service

Full text

Pdf (463 KB)

Source

ACM Transactions on Internet Technology (TOIT) archive
Volume 2 , Issue 2 (May 2002) table of contents

Pages: 151 - 185

Year of Publication: 2002

ISSN:1533-5399

Authors

Christian Nentwich	University College London, London, UK
Licia Capra	University College London, London, UK
Wolfgang Emmerich	University College London, London, UK
Anthony Finkelstein	University College London, London, UK

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 90, Citation Count: 46

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/514183.514186 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Kenneth M. Anderson , Richard N. Taylor , E. James Whitehead, Jr., Chimera: hypertext for heterogeneous software environments, Proceedings of the 1994 ACM European conference on Hypermedia technology, p.94-107, September 19-23, 1994, Edinburgh, Scotland [doi>10.1145/192757.192783]
	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	Robert Balzer, Tolerating inconsistency, Proceedings of the 13th international conference on Software engineering, p.158-165, May 13-17, 1991, Austin, Texas, United States
	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	P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.14-24, November 1988
	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	Peter Buneman , Wenfei Fan , Scott Weinstein, Path constraints in semistructured databases, Journal of Computer and System Sciences, v.61 n.2, p.146-193, Oct. 2000 [doi>10.1006/jcss.2000.1710]
	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	P. Devanbu , Y.-F. Chen , E. Gansner , H. Müller , J. Martin, CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments, Proceedings of the 21st international conference on Software engineering, p.473-482, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302679]
	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	Wolfgang Emmerich, Tool Specification with GTSL, Proceedings of the 8th International Workshop on Software Specification and Design, p.26, March 22-23, 1996
	17	Wenfei Fan , Jérôme Siméon, Integrity constraints for XML, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.23-34, May 15-18, 2000, Dallas, Texas, United States [doi>10.1145/335168.335172]
	18	Martin S. Feather , Stephen Fickas , Anthony Finkelstein , Axel Van Lamsweerde, Requirements and Specification Exemplars, Automated Software Engineering, v.4 n.4, p.419-438, October 1997 [doi>10.1023/A:1008680612960]
	19	Mary F. Fernandez , Daniela Florescu , Alon Y. Levy , Dan Suciu, Verifying Integrity Constraints on Web Sites, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, p.614-619, July 31-August 06, 1999
	20	Mary Fernández , Daniela Florescu , Alon Levy , Dan Suciu, Declarative specification of Web sites with S, The VLDB Journal — The International Journal on Very Large Data Bases, v.9 n.1, p.38-55, March 2000 [doi>10.1007/s007780050082]
	21	Anthony Finkelstein, A Foolish Consistency: Technical Challenges in Consistency Management, Proceedings of the 11th International Conference on Database and Expert Systems Applications, p.1-5, September 04-08, 2000
	22	A. C. W. Finkelstein , D. Gabbay , A. Hunter , J. Kramer , B. Nuseibeh, Inconsistency Handling in Multiperspective Specifications, IEEE Transactions on Software Engineering, v.20 n.8, p.569-578, August 1994 [doi>10.1109/32.310667]
	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	A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986
	26	Andreas Henrich , Dirk Däberitz, Using a Query Language to State Consistency Constraints for Repositories, Proceedings of the 7th International Conference on Database and Expert Systems Applications, p.59-68, September 09-13, 1996
	27	Jelliffe, R. 2000. The Schematron assertion language 1.5. Tech. Rep. (Oct.), GeoTempo Inc.
	28	Mozilla. 2000. Mozilla. http://www.mozilla.org.
	29	Manfred Nagl, Building tightly integrated software development environments: the IPSEN approach, Springer-Verlag New York, Inc., New York, NY, 1996
	30	Bashar Nuseibeh , Steve Easterbrook , Alessandra Russo, Leveraging Inconsistency in Software Development, Computer, v.33 n.4, p.24-29, April 2000 [doi>10.1109/2.839317]
	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	Thomas Reps , Tim Teitelbaum, The synthesizer generator, ACM SIGPLAN Notices, v.19 n.5, p.42-48, May 1984
	34	Wilhelm Schäfer , Herbert Weber, European Software Factory Plan—the ESF profile, Modern software engineering, foundations and current perspectives, Van Nostrand Reinhold Co., New York, NY, 1989
	35	Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.1-13, November 1988
	36	Wadler, P. 1999. A formal semantics of patterns in XSLT. Markup Technologies.
	37	Ross Wilkinson , Alan F. Smeaton, Automatic link generation, ACM Computing Surveys (CSUR), v.31 n.4es, Dec. 1999 [doi>10.1145/345966.346024]

CITED BY 46

	Perdita Stevens, Small-Scale XMI Programming: A Revolution in UML Tool Use?, Automated Software Engineering, v.10 n.1, p.7-21, January 2003
	Bent G. Christensen , Frank Allan Hansen , Niels Olof Bouvin, Xspect: bridging open hypermedia and XLink, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
	Eric M. Dashofy , André van der Hoek , Richard N. Taylor, An infrastructure for the rapid development of XML-based architecture description languages, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Wolfgang Emmerich, Distributed component technologies and their software engineering implications, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein , Ernst Ellmer, Flexible consistency checking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.28-63, January 2003
	Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein, ViewPoints: meaningful relationships are difficult!, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Claudio Sacerdoti Coen , Paolo Marinelli , Fabio Vitali, Schemapath, a minimal extension to xml schema for conditional constraints, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA
	Rik Eshuis , Pierre Brimont , Eric Dubois , Bertrand Grégoire , Sophie Ramel, EFFICIENT: a tool set for supporting the modelling and validation of ebXML, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	Jan Scheffczyk , Uwe M. Borghoff , Peter Rödig , Lothar Schmitz, Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories, Proceedings of the 2003 ACM symposium on Document engineering, November 20-22, 2003, Grenoble, France
	Luciano Baresi , Carlo Ghezzi , Sam Guinea, Smart monitors for composed services, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA
	Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein, Consistency management with repair actions, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Javier Andrade , Juan Ares , Rafael García , Juan Pazos , Santiago Rodríguez , Andrés Silva, A Methodological Framework for Viewpoint-Oriented Conceptual Modeling, IEEE Transactions on Software Engineering, v.30 n.5, p.282-294, May 2004
	Eric M. Dashofy , André van der Hoek , Richard N. Taylor, A comprehensive approach for the development of modular software architecture description languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.2, p.199-245, April 2005
	Alexander Egyed, Resolving uncertainties during trace analysis, ACM SIGSOFT Software Engineering Notes, v.29 n.6, November 2004
	Chang Xu , S. C. Cheung, Inconsistency detection and resolution for context-aware middleware support, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Qian Feng , Robyn R. Lutz, Bi-directional safety analysis of product lines, Journal of Systems and Software, v.78 n.2, p.111-127, November 2005
	Aaron G. Cass , Leon J. Osterweil, Process support to help novices design software faster and better, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Luciano Baresi , Sebastiano Colazzo , Luca Mainetti, First experiences on constraining consistency and adaptivity of W2000 models, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Alexander Egyed, Instant consistency checking for the UML, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Chang Xu , S. C. Cheung , W. K. Chan, Incremental consistency checking for pervasive context, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Thomas Triebsees , Uwe M. Borghoff, Preservation-centric and constraint-based migration of digital documents, Proceedings of the 2006 ACM symposium on Document engineering, October 10-13, 2006, Amsterdam, The Netherlands
	Dimitrios S. Kolovos , Richard F. Paige , Fiona A.C. Polack, Model comparison: a foundation for model composition and model transformation testing, Proceedings of the 2006 international workshop on Global integrated model management, May 22-22, 2006, Shanghai, China
	Thomas Triebsees , Uwe M. Borghoff, Towards automatic document migration: semantic preservation of embedded queries, Proceedings of the 2007 ACM symposium on Document engineering, August 28-31, 2007, Winnipeg, Manitoba, Canada
	Balder ten Cate , Luc Segoufin, XPath, transitive closure logic, and nested tree walking automata, Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 09-12, 2008, Vancouver, Canada
	Alexander Egyed, UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models, Proceedings of the 29th International Conference on Software Engineering, p.793-796, May 20-26, 2007
	Alexander Egyed, Fixing Inconsistencies in UML Design Models, Proceedings of the 29th International Conference on Software Engineering, p.292-301, May 20-26, 2007
	Jim Whitehead, Collaboration in Software Engineering: A Roadmap, 2007 Future of Software Engineering, p.214-225, May 23-25, 2007
	Shang-Juh Kao , I-Ching Hsu, Semantic Web approach to smart link generation for Web navigations, Software—Practice & Experience, v.37 n.8, p.857-879, July 2007
	Chang Xu , S. C. Cheung , W. K. Chan, Goal-Directed Context Validation for Adaptive Ubiquitous Systems, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.17, May 20-26, 2007
	Mark Truran , James Goulding , Helen Ashman, Autonomous authoring tools for hypertext, ACM Computing Surveys (CSUR), v.39 n.3, p.8-es, 2007
	Alexander Egyed , David S. Wile, Support for Managing Design-Time Decisions, IEEE Transactions on Software Engineering, v.32 n.5, p.299-314, May 2006
	Daniel Conte de Leon , Jim Alves-Foss, Hidden Implementation Dependencies in High Assurance and Critical Computing Systems, IEEE Transactions on Software Engineering, v.32 n.10, p.790-811, October 2006
	Gennaro Costagliola , Vincenzo Deufemia , Filomena Ferrucci , Carmine Gravino, Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators, IEEE Transactions on Software Engineering, v.32 n.3, p.156-175, March 2006
	Altaf Hussain , Michael Huth, On model checking multiple hybrid views, Theoretical Computer Science, v.404 n.3, p.186-201, September, 2008
	Xavier Blanc , Isabelle Mounier , Alix Mougenot , Tom Mens, Detecting model inconsistency through operation-based model construction, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Prawee Sriplakich , Xavier Blanc , Marie-Pierre Gervals, Collaborative software engineering on large-scale models: requirements and experience in ModelBus, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Steven P. Reiss, Incremental Maintenance of Software Artifacts, IEEE Transactions on Software Engineering, v.32 n.9, p.682-697, September 2006
	Dong Zhou , Mark Truran , Tim Brailsford , Helen Ashman , Amir Pourabdollah, Llama-b: automatic hyperlink authoring in the blogosphere, Proceedings of the nineteenth ACM conference on Hypertext and hypermedia, June 19-21, 2008, Pittsburgh, PA, USA
	I-Ching Hsu, SXRS: An XLink-based Recommender System using Semantic Web technologies, Expert Systems with Applications: An International Journal, v.36 n.2, p.3795-3804, March, 2009
	Franco Raimondi , James Skene , Wolfgang Emmerich, Efficient online monitoring of web-service SLAs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Paolo Mancarella , Giacomo Terreni , Francesca Toni, Web Sites Repairing through Abduction, Electronic Notes in Theoretical Computer Science (ENTCS), 235, p.137-152, April, 2009
	Photchanan Ratanajaipan , Ekawit Nantajeewarawat , Vilas Wuwongse, OWL/XDD Application Profiles, IEICE - Transactions on Information and Systems, v.E90-D n.10, p.1611-1620, October 2007
	Franz Weitl , Mirjana Jakšić , Burkhard Freitag, Towards the automated verification of semi-structured documents, Data & Knowledge Engineering, v.68 n.3, p.292-317, March, 2009
	Loredana Afanasiev , Torsten Grust , Maarten Marx , Jan Rittinger , Jens Teubner, Recursion in XQuery: put your distributivity safety belt on, Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, March 24-26, 2009, Saint Petersburg, Russia
	I-Ching Hsu , Yuan Kwei Tzeng , Der-Cheng Huang, OWL-L: An OWL-based language for Web resources links, Computer Standards & Interfaces, v.31 n.4, p.846-855, June, 2009
	Jonathan I. Maletic , Michael L. Collard, TQL: A query language to support traceability, Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering, p.16-20, May 18-18, 2009