Hybrid Group Re ective Architecture for Object-Oriented Concurrent Re ective Programming

The bene ts of computational re ection are the abilities to reason and alter the dynamic behavior of computation from within the language framework. This is more bene cial in concurrent/distributed computing, where the complexity of the system is much greater compared to sequential computing; we have demonstrated various benets in our past research of Object-Oriented Concurrent Re ective (OOCR) architectures. Unfortunately, attempts to formulate re ective features provided in practical re ective systems, such as resource management, have led to some di culties in maintaining the linguistic lucidity necessary in computational re ection. The primary reason is that previous OOCR architectures lack the ingredients for group-wide object coordination. We present a new OOCR language with a hybrid group re ective architecture, ABCL/R2, whose key features are the notion of heterogeneous object groups and coordinated management of group shared resources. We describe and give examples of how such management can be e ectively modeled and adaptively modi ed/controlled with the re ective features of ABCL/R2. We also identify that this architecture embodies two kinds of re ective towers, individual and group.