Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 11, Issue 4, pp. 559-578: Abstract.

Composition of Default Specifications

Sofia Guerra

Adelard, Drysdale Building, Northampton Square, London EC1V 0HB, UK. E-mail: aslg@adelard.co.uk

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.

Keywords: Institutions, formal specifications, default specifications, non-, monotonic reasoning

  Full-Text PDF  (214 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2001.