Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Semantic Constructions for Hidden Algebra

Corina Cĉirstea?Contact Information

(5)  Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK
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, as well as their observational aspect, concerned with the observable b ehaviour of such states. When attention is restricted to the observational aspect, final/cofree constructions provide suitable denotations for the specification techniques involved. However, when the constructional aspect is integrated with the observatio nal one, the presence of nondeterminism in specifications prevents the existence of final/cofree algebras. It is shown here that final/cofree families of algebras exist in this case, with each algebra in such a family resolving the nondetermi nism in a particular way. Existence of final/cofree families yields a canonical way of constructing algebras of structured specifications from algebras of the component specifications. Finally, a layered approach to specifying complex objects in hidden algebra is presented, with the semantics still involving final/cofree families.
★  Research supported by an ORS Award and an Oxford Bursary.

Contact Information Corina Cĉirstea?
Email: Corina.Cirstea@comlab.ox.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb17
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)