Dorel Lucanu

Aggregation is the “part-whole” relationship in which objects representing the components are associated with a composite objectrepresenting the entire ensemble. In this paper we propose a methodology for specifying composite objects in algebraic specificationlanguages like CafeOBJ.

We study three kinds of aggregation: aggregation of concurrent objects, aggregation of synchronizedobjects, and aggregation of communicating objects.

We show that the methodology is safe in the sense that if we refine a component then the result composite object refines the initial composite object.

Full Document (PS)

Bibtex

@TechReport{objagr:tr,
    author =	{Dorel Lucanu},
    title = 	{On Object Aggregation in {{sf CafeOBJ}}: Three Case Studies},
    institution = {University ``A.I.Cuza'' of Iac{s}i, Faculty of Computer Science},
    year = 	{1999},
    number = 	{TR 99-01},
    url = 	{https://publications.info.uaic.ro/technical-reports/archive/tr99-01-1999-on-the-object-aggregation-in-cafeobj-three-case-studies/}
}