A case study in applying Ontologies to augment and reason about the correctness of Specifications
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) , 64-71.
Download
Full text not available from this repository.
Description/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.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 256428 |
| Date Deposited: | 26 Mar 2002 |
| Last Modified: | 01 Mar 2012 10:47 |
| Contributors: | Kalfoglou, Yannis (Author) Robertson, David (Author) |
| Date: | June 1999 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/256428 |
Actions (login required)
 |
View Item |
