JUCS - Journal of Universal Computer Science 11(10): 1580-1612, doi: 10.3217/jucs-011-10-1580
From Algebras to Objects: Generation and Composition
expand article infoA. M. Cruz‡, Luís Soares Barbosa§, José N. Oliveira|
‡ Sidereus, Consultoria Informática, Porto, Portugal§ Universidade do Minho, Portugal| Universidade do Minho, Braga, Portugal, Senior R&D Partner, Porto, Portugal

Corresponding author: A. Cruz ( mcz@sidereus.pt )

© A. Cruz, Luís Barbosa, José Oliveira.
This article is freely available under the J.UCS Open Content License.
Citation: Cruz AM, Barbosa LS, Oliveira JN (2005) From Algebras to Objects: Generation and Composition. JUCS - Journal of Universal Computer Science 11(10): 1580-1612. https://doi.org/10.3217/jucs-011-10-1580
Open Access
Abstract
This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the 'implicit objects' explicit. Criteria for such objectification are formalized and implemented in a runnable prototype tool which embeds Vdm-sl into Vdm++. The paper also includes a quick presentation of a (coinductive) calculus of such generated objects, framed as generalised Moore machines.
Keywords
software formal specification, object­orientation, object composition