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
Open Access
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.
software formal specification, object­orientation, object composition