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)


  author = 	 {Dorel Lucanu},
  title = 	 {On Object Aggregation in {{sf CafeOBJ}}: Three Case
  institution =  {University ``A.I.Cuza'' of Iac{s}i, Faculty of
Computer Science},
  year = 	 {1999},
  number = 	 {TR 99-01},
  note = 	 {URL:}