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.


[img] PDF tcs.pdf - Other
Download (334kB)


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 (print)
Keywords: algebraic specification, semantics, final algebra, cofree algebra
Organisations: Electronic & Software Systems
ePrint ID: 259095
Date :
Date Event
Date Deposited: 12 Mar 2004
Last Modified: 17 Apr 2017 22:33
Further Information:Google Scholar

Actions (login required)

View Item View Item