We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Composition of Default Specifications.
- Authors
Guerra, Sofia
- Abstract
In this paper we develop a theory of composition of default specifications. This theory generalizes the work by Goguen and Burstall, where specifications written in an arbitrary logical system (institution) are structured as combinations of theories. It extends the classical composition by allowing partial re-use (and overriding) of specification modules. The modularisation units are hierarchic specifications, i.e. axioms and defaults organized by priority levels. The semantics are given by default institutions, which are a generalisation of institutions in order to enable partial reuse of specifications. Composition is formalized by the use of appropriate categories, both at the syntactic and semantic levels. The theory of composition with overriding is illustrated with an example of an object-oriented specification.
- Subjects
TECHNICAL specifications; DEFAULT reasoning; SEMANTICS (Philosophy)
- Publication
Journal of Logic & Computation, 2001, Vol 11, Issue 4
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/11.4.559