The University of Southampton
University of Southampton Institutional Repository

Semantic constructions for the specification of objects

Cirstea, Corina, Jacobs, B., Moss, L., Reichel, H. and Rutten, J.(eds.) (2001) Semantic constructions for the specification of objects Theoretical Computer Science, 260, (1), pp. 3-25.

Record type: Article


Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect (concerned with the initialisation and evolution of their states), their observational aspect (concerned with the observable behaviour of such states), and the relationship between these two aspects. When attention is restricted to the observational aspect, final/cofree algebras provide suitable denotations for the specification techniques employed by hidden algebra. However, when the constructional aspect is integrated with the observational one, the possibility of underspecification prevents the existence of such algebras. It is shown here that final/cofree families of algebras exist in this case, with each algebra in such a family resolving the nondeterminism arising from underspecification in a particular way. The existence of final/cofree families also yields a canonical way of constructing algebras of structured specifications from algebras of their component specifications.

PDF tcs.pdf - Other
Download (334kB)

More information

Published date: 2001
Keywords: algebraic specification, semantics, final algebra, cofree algebra
Organisations: Electronic & Software Systems


Local EPrints ID: 259095
ISSN: 0304-3975
PURE UUID: 7cd1a0bf-5283-4986-9808-45afdb023bf8

Catalogue record

Date deposited: 12 Mar 2004
Last modified: 18 Jul 2017 09:26

Export record


Author: Corina Cirstea
Editor: B. Jacobs
Editor: L. Moss
Editor: H. Reichel
Editor: J. Rutten

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.