The University of Southampton
University of Southampton Institutional Repository

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
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
0169-023X
337-352
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Aerts, A.
51de54da-1a30-452e-995f-610f90014be6
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), 337-352. (doi:10.1016/S0169-023X(98)80003-7).

Record type: Article

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
ORCID for C. Mues: ORCID iD orcid.org/0000-0002-6289-5490

Catalogue record

Date deposited: 01 Aug 2006
Last modified: 16 Mar 2024 03:40

Export record

Altmetrics

Contributors

Author: J. Vanthienen
Author: C. Mues ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×