First International Workshop on

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 (Viennna, 24-28 August, 1998)
Workshop held on Friday 28 August, 1998

Proceedings 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 grow in both fields. This is a consequence of:

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 ontologies 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 brought 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". Participants were encouraged to contribute papers on any of the above topics or related areas. A full report on the workshop is available and has been published in Expert Update (1). Workshop proceedings (2) were published as part of thec DEXA workshop proceedings by the IEEE.


2. WORKSHOP SCHEDULE

FRIDAY, AUGUST 28, 1998
9:00 - 10:30 am Open
Invited talk: A.Vermesan; Norway - Verification and Validation Issues in Expert and Database Systems: The View from Industry
Keynote presentation 1: F. Coenen; United Kingdom - Verification and Validation Issues in Expert and Database Systems: The Expert Systems Perspective
B. Eaglestone, M. Ridley; United Kingdom - Verification, Validation and Integrity Issues in Expert and Database Systems: The Database Perspective
10:30 - 11:00 am Coffee Break
11:00 am - 12:30 pm The Database View
H. Ibrahim, W.A. Gray, N.J. Fiddian; United Kingdom - Optimising Fragment Constraints
E. Bugaenko; Ukraine - IDB Principle as a Mechanism of Transaction Verification
I. Millns, B. Eaglestone; United Kingdom - An Integrity Constraint for Database Systems Containing Embedded Neural Networks
12:30 - 2:00 pm LUNCH
2:00 - 3:30 pm The Expert System View
A. Ligeza; Poland - Towards Logical Analysis of Tabular Rule-based Systems
D.E.O'Leary; USA - Verification of Multiple Agent Knowledge-Based Systems
L. Brisoux, L. Sais, E. Gregoire; Belgium, France - Validation of Knowledge-based Systems by Means of Stochastic Search
3:30 - 4:00 pm Coffee Break
4.00 - 5:30 pm Conceptualisation
T.J.M. Bench-Capon; United Kingdom - The Role of Ontologies in the Verification and Validation of Knowledge Based Systems
D. Castelli, S. Pisani; Italy - Ensuring Correctness of Personalised Schema Refinement
Discussion
5:30 pm Closing

3. ORGANISING COMMITTEE

  1. Frans Coenen (Chair), University of Liverpool, UK
  2. Barry Eaglestone, (Co-chair) University of Bradford, UK
  3. Dean Jones, University of Liverpool, UK
  4. Willi Hasselbring, University of Dortmund, Germany
  5. Tim Menzies, University of New South Wales, Australia
  6. Anne Pons, Universite du Quebec a Montreal, Canada
  7. Anca Vermesan, Det Norske Veritas, Norway

4. REFERENCES

  1. Bench-Capon, T., Castelli, D., Coenen, F., Devendeville-Brisoux, L., Eaglestone, B., Fiddian, N., Gray, A., Ligeza, A. and Vermesan, A. (1999). Validation, Verification and Integrity Issues in Expert and Database Systems. Expert Update, 2(1), pp31-35.
  2. Wagner, R.R. (Ed) (1998). Database and Expert Systems Applications. Workshop proceedings DEXA'98 (Vienna), IEEE.
DEXA'98


Created and maintained by Frans Coenen. Last updated 16 September 2000