From Algebras to Objects: Generation and Composition

Citation:
Cruz A, Barbosa LS, Oliveira JN.  2005.  From Algebras to Objects: Generation and Composition. Journal of Universal Computer Science. 11:1580–1612.

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.

Citation Key:

CBO05

DOI:

10.3217/jucs-011-10-1580

PreviewAttachmentSize
jucs_11_10_1580_1612_cruz_lsb.pdf358.68 KB