xlinkit
ACM Transactions on Internet TechnologyPublished 1 May 2002
Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelsteiin
Citations274
SJR quartileQ1
SJR score1.00
SNIP1.35
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A novel semantics for first-order logic that produces links instead of truth values is described and a content management strategy is given to validate UML models supplied by industrial partners.
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.
Keywords
Computer Science
IEEE Transactions on Software EngineeringInconsistency handling in multiperspective specifications
533 Citations1994Anthony Finkelstein, Michael Gabbay +3 more
This paper presents the technique for inconsistency handling in the ViewPoints framework by using simple examples and combines two lines of existing research: the View points framework for perspective development, interaction and organization, and a logic-based approach to inconsistency handling.
International Journal of Software Engineering and Knowledge EngineeringVIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT
527 Citations1992Anthony Finkelstein, Jennifer Kramer +3 more
This paper outlines a framework which supports the use of multiple perspectives in system development, and provides a means for developing and applying systems design methods.
Centaur: the system
337 Citations1988Patrick Borras, Dominique Clément +5 more
This paper describes the organization of the CENTAUR system and its main components, which are a database component that provides standardized representation and access to formal objects and their persistent storage; a logical engine that is used to execute formal specifications; an object-oriented man-machine interface that gives easy access to the system's functions.
IEEE Transactions on Software EngineeringGandalf: Software development environments
301 Citations1986A. N. Habermann, David Notkin
Gandalf environments integrate programming and system development, permitting interactions not available in traditional environments, and the structure and function of several existing environments are covered.
XQuery
285 Citations2003Donald D. Chamberlin
This tutorial will provide an overview of the syntax and semantics of XQuery, as well as insight into the principles that guided the design of the language.
Foundations for the Arcadia environment architecture
244 Citations1988Richard N. Taylor, Frank C. Belz +6 more
The Arcadia research project is investigating the construction of software environments that are tightly integrated, yet flexible and extensible enough to support experimentation with alternative software processes and tools.
International Conference on Software EngineeringTolerating inconsistency
240 Citations1991Robert Balzer
ComputerLeveraging inconsistency in software development
184 Citations2000Bashar Nuseibeh, Steve Easterbrook +1 more
The authors assert that maintaining consistency at all times is counterproductive and advocate using inconsistency to highlight problem areas, using it as a tool to improve the development team's shared understanding, direct the process of requirements elicitation, and assist with verification and validation.
Journal of Computer and System SciencesIntegrity constraints for XML
152 Citations2003Wenfei Fan, Jérǒme Simèon
ComputerSoftware Development Environments
148 Citations1987Dart, Ellison +2 more
Issues relevant to the transition of promising technologies and projects to be undertaken by the Software Engineering Institute to address those issues are discussed.
The VLDB JournalDeclarative specification of Web sites with S
129 Citations2000Mary Fernández, Daniela Florescu +2 more
This paper contains a comprehensive description of the Strudel system and details the benefits of declarative site specification and describes three different, but complementary, systems that extend and improve uponStrudel's original ideas.
Chimera
127 Citations1994Kenneth M. Anderson, Richard N. Taylor +1 more
The paper describes the approach and presents an architecture which supports it, experience with the Chimera prototype and its relationship to other systems is described.
Lecture notes in computer scienceBuilding Tightly Integrated Software Development Environments: The IPSEN Approach
119 Citations1996Manfred Nagl
This paper presents a meta-modelling framework for graph grammar specifications that automates the very labor-intensive and therefore time-heavy and therefore expensive and expensive process of graph grammar modeling.
Document Object Model (DOM) Level 2 Specification
113 Citations1999Lauren Wood, Vidur Apparao +6 more
Concurrent EngineeringCoordinating distributed ViewPoints: the Anatomy of a Consistency Check
105 Citations1994Steve Easterbrook, Anthony Finkelstein +2 more
It is argued that striving to maintain complete consistency at all points in the development process is unnecessary, and an approach based on tolerance and management of inconsistency can be adopted instead.
Automated Software EngineeringRequirements and Specification Exemplars
94 Citations1997Martin S. Feather, Stephen Fickas +2 more
This paper considers the purposes that exemplars may serve, and explores the incompatibilities inherent in trying to serve several of them at once, and examines the use of exemplars not only for writing specifications, but also for the requirements engineering process itself.
A formal semantics of patterns in XSLT
63 Citations2000Philip Wadler
A formal semantics of the pattern language of XSLT was developed using standard techniques from the programming language community, and this article provides a tutorial introduction to these techniques.
Journal of Computer and System SciencesPath Constraints in Semistructured Databases
52 Citations2000Peter Buneman, Wenfei Fan +1 more
The decidability of the implication and finite implication problems for several fragments of the path constraint language are established and it is demonstrated that these fragments suffice to express important semantic information such as extent constraints, inverse relationships, and local database constraints commonly found in object-oriented databases.
ACM Computing SurveysAutomatic link generation
46 Citations1999Ross Wilkinson, Alan F. Smeaton
In order to access any kind of stored information, one may store it at a specific location, and in the case of electronic information this could be a file name or a Web address, and thus these two areas of hypertext and information retrieval are tightly related.
Lecture notes in computer scienceA Foolish Consistency: Technical Challenges in Consistency Management
46 Citations2000Anthony Finkelstein
The area of consistency management is outlined and a motivating example is presented to support the argument, and the key technical challenges for research in this area are set out.
Verifying Integrity Constraints on Web Sites
43 Citations1999Mary Fernández, Daniela Florescu +2 more
This paper addresses the problem of specifying and verifying integrity constraints on a Web site's structure by describing a language that can capture many practical constraints and an accompanying sound and complete verification algorithm.
ACM SIGSOFT Software Engineering NotesCentaur: the system
36 Citations1988Patrick Borras, Dominique Clement +5 more
ACM SIGSOFT Software Engineering NotesFoundations for the Arcadia environment architecture
30 Citations1988Richard N. Taylor, Frank C. Belz +6 more
CHIME
25 Citations1999Prémkumar Dévanbu, Y.-F. Chen +3 more
The CHIME framework provides a flexible, customizable platform for inserting HTML links into software documents using information generated by existing software analysis tools, and enables tool builders to offer customized browsing support with a well-known GUI.
Consistency Management of Distributed Documents using XML and Related Technologies
17 Citations1999Ernst Ellmer, Wolfgang Emmerich +3 more
An approach and associated techniques for managing consistency of distributed documents that takes advantage of XML (eXtensible Markup Language) and related technologies are described and an account of a toolkit which demonstrates the approach is given.
International Workshop on Software Specification and DesignTool specification with GTSL
16 Citations1996Wolfgang Emmerich
eScholarship (California Digital Library)Hypertext for heterogeneous software environments
14 Citations1993Kenneth M. Anderson, Richard N. Taylor +1 more
Lecture notes in computer scienceUsing a query language to state consistency constraints for repositories
6 Citations1996Andreas Henrich, Dirk Däberitz
This paper presents a pragmatic approach to express various levels of consistency for the data maintained in such a repository by means of a query language, and presents a general classification schema for consistency constraints.