The University of Southampton
University of Southampton Institutional Repository

A case study in applying Ontologies to augment and reason about the correctness of Specifications

A case study in applying Ontologies to augment and reason about the correctness of Specifications
A case study in applying Ontologies to augment and reason about the correctness of Specifications
In this paper we investigate how software specifications can benefit from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correctness of the specification with respect to formally represented domain knowledge. We present a meta-interpretation technique that allows us to perform checks for conceptual error occurrences in specifications. We illustrate this approach through a case study: we augmented an existing formal specification presented by Luqi & Cooke with a formal ontology produced by the Information Sciences Institute at USC, the AIRCRAFT ontology. In addition, we explore how we can build and use application specific ontological constraints to detect conceptual errors in specifications.
64-71
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, David
e3624bf2-39c1-4727-824e-48189450e402
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, David
e3624bf2-39c1-4727-824e-48189450e402

Kalfoglou, Yannis and Robertson, David (1999) A case study in applying Ontologies to augment and reason about the correctness of Specifications. 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99). pp. 64-71 .

Record type: Conference or Workshop Item (Paper)

Abstract

In this paper we investigate how software specifications can benefit from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correctness of the specification with respect to formally represented domain knowledge. We present a meta-interpretation technique that allows us to perform checks for conceptual error occurrences in specifications. We illustrate this approach through a case study: we augmented an existing formal specification presented by Luqi & Cooke with a formal ontology produced by the Information Sciences Institute at USC, the AIRCRAFT ontology. In addition, we explore how we can build and use application specific ontological constraints to detect conceptual errors in specifications.

Other
seke99_final.ps - Other
Download (117kB)

More information

Published date: June 1999
Additional Information: Event Dates: June 1999
Venue - Dates: 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99), 1999-05-31
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 256428
URI: http://eprints.soton.ac.uk/id/eprint/256428
PURE UUID: 23f33f7b-766b-4633-9655-f2f04b4c08fc

Catalogue record

Date deposited: 26 Mar 2002
Last modified: 22 Sep 2020 16:49

Export record

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.

×