VERIFICATION, VALIDATION AND INTEGRITY ISSUES
IN EXPERT AND DATABASES SYSTEMS
in conjunction with the
Ninth International Conference on
Database and Expert Systems Applications
(DEXA'98)
to be held in Vienna, 24-28 August, 1998
Workshop proceedings to be published by IEEE
1. TECHNICAL DESCRIPTION
The need for effective verification, validation and
integrity (VVI) technologies is well established in both the
Database (DB) and Expert Systems (ES) communities. VVI
requirements continue to to grow in both fields. This is a
consequence of:
* The exponential growth in potential user populations
made possible by network technology and the Web in par-
ticular, and
* The potential for distributed multi-component systems,
such as multidatabase and intelligent multi-agent sys-
tems.
* The expanding range of applications to which ES and DB
technology can be applied
There is much overlap between the Verification, Validation
and Integrity issues that the ES and DB communities seek to
address. Examples include:
1) The verification of conceptual schema in DB and the onto-
logies concept in ES.
2) Automated and semi-automated schema refinement in DB, and
knowledge refinement in ES.
3) Conflict resolution in the event of updating replicated
data through DB integrity control, and truth maintenance
and reconciliation in ES.
4) Rule checking in Active DB and the classic V&V of rule
bases.
5) Common approaches applicable to both DB and ES V&V.
6) Shared tools, e.g. the use of neural net works for
integrity checking.
The workshop seeks to bring together members of both the DB
and ES communities working in this overlapping area with the
express aim of encouraging the interchange of ideas and
determining "what we can learn from each other". Potential
participants will be encouraged to contribute papers on any
of the above topics or related areas. Papers will also be
welcome which address real problems relating to applications
and provide case study evidence of effectiveness of dif-
ferent theoretical and technological solutions.
2. SUBMISSION DETAILS
All papers will be refereed by at least 2 members of the
program committee. All accepted papers will be published by
the IEEE in a volume of proceedings of the DEXA'98
workshops.
Authors are invited to submit research contributions or
practical experience reports in English. Papers should be
double spaced and no longer than 5000 words. Authors should
submit papers either:
* In the form of MIME or uuencoded PostScript by:
- Email to dexavv@csc.liv.ac.uk, or
- FTP to ftp.csc.liv.ac.uk, using username `dexavv'
and password `dexavv'.
* Alternatively, authors should send 4 copies of their
paper to the Workshop Chair:
Dr Frans Coenen
DEXA V&V Workshop
Department of Computer Science
Chadwick Building
University of Liverpool
PO Box 147
Liverpool L69 3BX, UK
Please note that electronic submission is preferred.
3. IMPORTANT DATES
* Submission deadline: January 23th 1998
* Notification of acceptance: February 20th 1998
* Camera-ready copies: April 9th 1998
4. PROGRAM COMMITTEE AND REFEREEING PANEL
Frans Coenen (Chair), University of Liverpool, UK
Barry Eaglestone (Co-chair), University of Bradford, UK
Willi Hasselbring, University of Dortmund, Germany
Tim Menzies, University of New South Wales, Australia
Anne Pons, Universite du Quebec a Montreal, Canada
Anca Vermesan, Det Norske Veritas, Norway
5. FURTHER INFORMATION
For further information, queries Etc. contact:
Frans Coenen | E-mail: frans@compsci.liverpool.ac.uk
| Phone: +44 151 794 3698
| Fax: +44 151 794 3715
A Workshop WWW page is available at:
"http://dee.csc.liv.ac.uk/~frans/dexaWorkshop"
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------