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
April 1998
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.
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