C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, "xlinkit: A Consistency Checking and Smart Link Generation Service," ACM Trans. Internet Technology, vol. 2, no. 2, pp. 151-185, 2002.  Home/Search   Document Details and Download   Summary   Related Articles   Check

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151--185, 2002.

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151--185, May 2002.

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. Research Note RN/00/66, University College London, Dept. of Computer Science, 2000. Submitted for Publication.

....[21] The novel contribution of this paper is a systematic classification of the classes of constraints that need to be checked when electronic derivative data is exchanged. We describe how these constraint classes can be expressed using xlinkit, an XML based first order logic rule language [18] that we have developed over the last three years. While doing so, we elaborate on how the xlinkit concepts, such as plug in operators, are used in practice. We have used xlinkit to describe all validation constraints for FpML 1.0. Xlinkit rules are executed by an e#cient rule engine and we show ....

....and attributes. xlinkit also contains a document management mechanism and an engine that can check the documents against the constraints. A full description of xlinkit, including a formal specification of its semantics and its scalability is beyond the scope of this paper and can be found in [18]. xlinkit has been implemented as a lightweight mechanism on top of XML and creates hyperlinks to support diagnostic by linking inconsistent elements. Because it was built on XML, xlinkit is flexible and can be deployed in a variety of architectures. It has also been applied in a variety of ....

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2002. To appear.

....first order logic, for expressing constraints between such documents, a document management mechanism and an engine that checks the documents against the constraints. A full description of xlinkit, including a formal specification of its semantics, its scalability and an evaluation can be found in [25]. xlinkit has been implemented as a lightweight mechanism on top of XML and makes use of hyperlinks as a diagnostic to pinpoint inconsistent elements by linking them. Because it was built on XML, xlinkit is very flexible and can be deployed in a variety of architectures, for example as a ....

....included in the link. xlinkit is thus able to provide much better diagnostic information to the user, who can now see which combination of elements causes an inconsistency rather than just get information if a particular element has violated a rule. xlinkit s semantics has been formally specified [25] and evaluated in a number of case studies and has produced good results in each case. docSet= file: DocumentSet.xml ruleSet= file: RuleSet.xml xmlns:xlink= http: www.w3.org 1999 xlink xmlns:xlinkit= http: www.xlinkit.com xlinkit:State consistent xlinkit:State ....

[Article contains additional citation context not shown here]

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2001. To appear.

....forcing changes. Our most recent work is aimed at providing developers with a range of choices for repairing documents, and at addressing problems of scalability in checking distributed documents. 2 Consistency Checking To support the kind of activity outlined above we have developed xlinkit [2], a generic technology for checking the consistency of distributed, heterogeneous documents. xlinkit is a fully implemented, working system that has been used in several industrial case studies and can be downloaded at http: www.xlinkit.com. While xlinkit can be used in many application domains, ....

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2001. To appear.

....XPath [Clark and DeRose, 1999] language) and of generating hyperlinks for diagnostic purposes. In addition, the thesis presents numerous significant advances since the publication of the paper mentioned above. Two new languages for rule specification have been proposed, an intermediate language [Nentwich et al. 2000] based on set filtering operations, and a language based on first order logic with nested quantifiers [Nentwich et al. 2001] which raises the level of expressiveness considerably. The introduction of arbitrary nesting complicates link generation, enabling the expression of relationships between ....

....nesting of quantifiers has also eliminated the restriction to pair wise consistency checking and our language allows the expression of global properties. The implementation of our language as a web based service is novel. We have also demonstrated significant performance improvements (see [Nentwich et al. 2000]) since the first implementation. Further work in the group has suggested the construction of hierarchical document sets and hierarchical sets of rules, as detailed in [Nentwich et al. 2000] This approach has been adopted as it is for the thesis, with the added capability of retrieving checking ....

[Article contains additional citation context not shown here]

Nentwich, C., Capra, L., Emmerich, W., and Finkelstein, A. (2000). xlinkit: a Consistency Checking and Smart Link Generation Service. Research Note RN/00/66, University College London, Dept. of Computer Science. Submitted for Publication.

....100 kilobytes to 6 megabytes. The rules given in Appendix A are rules from the UML Foundation Core package. We have expressed all but 8 rules. Of those rules, some are enforced by the XMI DTD an do not have to be checked, some require transitive closure, which we have implemented in the past [17] but not ported to our new implementation yet, and some cannot be checked because the required information is not exported by XMI. All results listed below were obtained by executing our check engine on a single processor Intel machine running at 750 Mhz and using the IBM JDK 1.2 for Linux. We ....

....measures have been applied to link generation. Our approach makes use of the semantics exposed by the structure of XML and the rules in order to provide linkbases that are guaranteed to be meaningful. Finally, our language and its implementation are the successors of previous prototype schemes [6, 17] and have been considerably improved with respect to expressiveness, by the introduction of first order logic with arbitrarily nested quantifiers and the removal of link generation annotation, and performance. 11. FUTURE WORK Our current approach is static, meaning that it checks all documents ....

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. Research Note RN/00/66, University College London, Dept. of Computer Science, 2000. Submitted for Publication.

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, "xlinkit: A Consistency Checking and Smart Link Generation Service," ACM Trans. Internet Technology, vol. 2, no. 2, pp. 151-185, 2002.

No context found.

C. Nentwich, L. Capra, W. Emmerich, A. Finkelstein. xlinkit: a consistency checking and smart link generation service, ACM Trans. Internet Technol. 2 (2) (2002) 151--185.

No context found.

C. NENTWICH, L. CAPRA, W. EMMERICH, AND A. FINKELSTEIN. xlinkit: a consistency checking and smart link generation service. ACM Trans. Internet Technol. 2(2), pp. 151--185, 2002.

No context found.

C. NENTWICH, L. CAPRA, W. EMMERICH, AND A. FINKELSTEIN. xlinkit: a consistency checking and smart link generation service. ACM Trans. Internet Technol. 2(2), pp. 151--185, 2002.

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151--185, 2002. URL: http://www.xlinkit.com.

No context found.

Christian Nentwich, Licia Capra, Wolfgang Emmerich, and Anthony Finkelstein. xlinkit: A consistency checking and smart link generation service. Transactions on Internet Technology, 2(2):151--185, 2002.

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, "Xlinkit: A Consistency Checking and Smart Link Generation Service," (Research Note,) Department of Computer Science - University College London, London, UK 2000. Web Site: http://www.xlinkit.com/.

No context found.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT), 2(2):151--185, 2002.

No context found.

C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein "Xlinkit: A Consistency Checking and Smart Link Generation Service," ACM Transactions on Internet Technology 2001.

No context found.

Nentwich, C., Capra, L., Emmerich, W., and Finkelstein, A. XLINKIT: A consistency checking and smart link generation service. ACM Transactions on Internet Technology, 2002.

No context found.

Christian Nentwich, Licia Capra, Wolfgang Emmerich, and Anthony Finkelstein. "xlinkit: A Consistency Checking and Smart Link Generation Service". ACM Transactions on Internet Technology. To appear. Available at www.cs.ucl.ac.uk/staff/A.Finkelstein/ papers, 2002.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC