TR99-01 (1999) – On the Object Aggregation in CafeOBJ: Three Case Studies

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.

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},
  note = 	 {URL:http://www.infoiasi.ro/~tr/tr.pl.cgi}
}