Semantic constructions for the specification of objects
Semantic constructions for the specification of objects
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.
algebraic specification, semantics, final algebra, cofree algebra
3-25
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Moss, L.
71cd3406-88ce-4cb9-aa72-59821ed364e1
Reichel, H.
8dc80504-8da3-42d9-90b9-4f1f71a7994f
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1
2001
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Moss, L.
71cd3406-88ce-4cb9-aa72-59821ed364e1
Reichel, H.
8dc80504-8da3-42d9-90b9-4f1f71a7994f
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1
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), .
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.
More information
Published date: 2001
Keywords:
algebraic specification, semantics, final algebra, cofree algebra
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 259095
URI: http://eprints.soton.ac.uk/id/eprint/259095
ISSN: 0304-3975
PURE UUID: 7cd1a0bf-5283-4986-9808-45afdb023bf8
Catalogue record
Date deposited: 12 Mar 2004
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Editor:
B. Jacobs
Editor:
L. Moss
Editor:
H. Reichel
Editor:
J. Rutten
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