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), 3-25.

Download

[img] PDF
Download (326Kb)

Description/Abstract

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.

Item Type: Article
ISSNs: 0304-3975
Keywords: algebraic specification, semantics, final algebra, cofree algebra
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 259095
Date Deposited: 12 Mar 2004
Last Modified: 27 Mar 2014 20:01
Publisher: Elsevier
Further Information:Google Scholar
ISI Citation Count:1
URI: http://eprints.soton.ac.uk/id/eprint/259095

Actions (login required)

View Item View Item