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.
منابع مشابه
An Experiment in Applying Ontologies to Augment and Reason about the Correctness of Speciications
In this paper we investigate how software speciications can beneet from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correct-ness of the speciication with respect to formally represented domain knowledge. We present a meta-interpretation technique that allows us to perform checks for conceptual error occurrences in speciications. We...
متن کاملبررسی هستان شناسی های توسعه یافته مبتنی بر اصول هستان شناسی های منبع باز زیست پزشکی
Background and Aim: Ontologies facilitate data integration, exchange, searching and querying. Open Biomedical Ontologies (OBO) Foundry is a solution for creating reference ontologies. In this foundry, the design of ontologies is based on established principles which allow for their interactions as a single system. The purpose of this study is to determine the main features of ontologies develop...
متن کاملApplying Islamic sources in Spain’s medieval histories: a case study of the Historia Arabum and Historia Gothica emphasizing the conquest of Andalusia and the life of Muhammad (PBUH)
Historia Gothica and Historia Arabum written by the Spanish prominent bishop, Rodrigo Jimenez de Rada, are of the most outstanding medieval historical works. Historia Arabum is the first Western work on Islamic history due to attention to Islamic history, which led to the importance of Rodrigo Jimenez among historians. The main question of the article is to what extent Islamic sources have infl...
متن کاملProving composed specifications of clean programs in Sparkle - T ∗
An important class of software systems uses mobile components: components that are downloaded through the network and integrated into a running application. Clean Dynamics can be used for implementing mobile code in a functional programming language. Our goal is to support the verification of correctness of such applications. The correctness of these applications depend on the properties of the...
متن کاملMethodology for Validation of Issuance of Mystical and Ethical Narrations (A Case Study and Discourse Analysis on the Methodology of the Book Sirr ul-asra’)
The Book “the Secret of Prophet Mohammad’s Midnight Journey to the Seven Heavens in Explanation of Al-Mi’raj Hadith” is written by Ayatollah Sa’adatparvar. Analyzing the discourse of a part of its introduction, his recognition method about this hadith has been investigated in this paper. The paper aims at investigating the particular discourse pattern of the author in analyzing the document of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999