The University of Southampton
University of Southampton Institutional Repository

Error detection in Specifications based on Ontologies

Error detection in Specifications based on Ontologies
Error detection in Specifications based on Ontologies
The problem of conceptual errors in the early stages of a software development is of a great concern for the engineering community. The side effects of these errors are pernicious because they reflect a misunderstanding of the application domain resulting in undesirable behaviour of the software system. They are not easily detected since they may be mathematically elegant but inappropriate to the domain. The field of Ontologies, which forge agreements on the use of terminology for particular domains is, potentially, a prospective solution to the problem. We present a method which is capable of detecting such errors in specifications by utilising ontologies as a supplement to the normal checking procedure.
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930

Kalfoglou, Yannis and Robertson, Dave (1998) Error detection in Specifications based on Ontologies

Record type: Monograph (Project Report)

Abstract

The problem of conceptual errors in the early stages of a software development is of a great concern for the engineering community. The side effects of these errors are pernicious because they reflect a misunderstanding of the application domain resulting in undesirable behaviour of the software system. They are not easily detected since they may be mathematically elegant but inappropriate to the domain. The field of Ontologies, which forge agreements on the use of terminology for particular domains is, potentially, a prospective solution to the problem. We present a method which is capable of detecting such errors in specifications by utilising ontologies as a supplement to the normal checking procedure.

Other
tp46.ps - Other
Download (407kB)

More information

Published date: April 1998
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 260543
URI: http://eprints.soton.ac.uk/id/eprint/260543
PURE UUID: 69f0f516-a18f-4813-9316-535c12cfef47

Catalogue record

Date deposited: 17 Feb 2005
Last modified: 14 Mar 2024 06:39

Export record

Contributors

Author: Yannis Kalfoglou
Author: Dave Robertson

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.

×