T ROLL is a language to specify information systems with dynamic behavior. Here, we elaborate on the speciication of object aggregation in T ROLL. We distinguish between two kinds of aggregation, static and dynamic aggregation. Static aggregation means that the composition of objects is described using predicates over constant properties. Dynamic aggregation means that we may alter the composit...
