An illustration of verification and validation in the modelling phase of KBS development
An illustration of verification and validation in the modelling phase of KBS development
Reliability has become a key factor in KBS development. For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle. In this paper, it will be illustrated how the PROLOGA workbench integrates V&V aspects into its modelling environment, such that these techniques can be of assistance in the process of knowledge acquisition and representation. To this end, verification has to be performed incrementally and can no longer be delayed until after the system has been completed. It will be shown how this objective can be realised through an approach that uses the decision table formalism as a modelling instrument.
verification & validation, decision tables, KBS building tools, knowledge modelling
337-352
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Aerts, A.
51de54da-1a30-452e-995f-610f90014be6
1998
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Aerts, A.
51de54da-1a30-452e-995f-610f90014be6
Vanthienen, J., Mues, C. and Aerts, A.
(1998)
An illustration of verification and validation in the modelling phase of KBS development.
Data and Knowledge Engineering, 27 (3), .
(doi:10.1016/S0169-023X(98)80003-7).
Abstract
Reliability has become a key factor in KBS development. For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle. In this paper, it will be illustrated how the PROLOGA workbench integrates V&V aspects into its modelling environment, such that these techniques can be of assistance in the process of knowledge acquisition and representation. To this end, verification has to be performed incrementally and can no longer be delayed until after the system has been completed. It will be shown how this objective can be realised through an approach that uses the decision table formalism as a modelling instrument.
This record has no associated files available for download.
More information
Published date: 1998
Keywords:
verification & validation, decision tables, KBS building tools, knowledge modelling
Organisations:
Management
Identifiers
Local EPrints ID: 36163
URI: http://eprints.soton.ac.uk/id/eprint/36163
ISSN: 0169-023X
PURE UUID: 36cb08a5-02ee-4fac-b7d0-25fde62c5353
Catalogue record
Date deposited: 01 Aug 2006
Last modified: 16 Mar 2024 03:40
Export record
Altmetrics
Contributors
Author:
J. Vanthienen
Author:
A. Aerts
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
