- From: Anthony Finkelstein <a.finkelstein@cs.ucl.ac.uk>
- Date: Wed, 28 Feb 2001 09:54:17 +0000
- To: kifer@cs.sunysb.edu (Michael Kifer), Jeff Chapman <Jeff.Chapman@pervasive.com>
- Cc: www-ql@w3.org
We have been developing an 'assertion language' and an associated checker. See http://www.xlinkit.com for the general approach and http://www.xlinkit.com/dangerzone for the latest version of the language and checker. Though I can see the argument for a clean and elegant syntax, in our experience (which I would argue is strongly analogous to XQuery) the benefits of an XML representation have been overwhelming. Most notable have been (1) visualisation, (2) meta-level assertions, (3) tool building simplicity. Anthony ___________________________________________________________________________ Anthony Finkelstein (Prof.) | TEL: +44 (0)20 7679 7293 (Direct Dial) University College London | FAX: +44 (0)20 7387 1397 Dept. of Computer Science | EMAIL: a.finkelstein@cs.ucl.ac.uk Gower Street, | http://www.cs.ucl.ac.uk/staff/A.Finkelstein London WC1E 6BT | OFFICE: 109, Pearson Building United Kingdom | PGP Key on request ___________________________________________________________________________
Received on Wednesday, 28 February 2001 04:55:11 UTC