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
June 1999
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).
.
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
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-06-01
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: 14 Mar 2024 05:42
Export record
Contributors
Author:
Yannis Kalfoglou
Author:
David 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