A Compositional Approach to Concurrent Object-Oriented Programming

This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of methods. It will be shown that this compositional approach to concurrent programming avoids some of the conceptual difficulties that have plagued the integration of concurrency and object-oriented models of programs. The compositional approach to concurrent objectoriented programming leads to declarative and incremental specification of interaction behavior and thus, to object /method definitions that can be readily adapted to different parallel execution environments. The approach supports inheritance of both method and synchronization specifications. It will be shown that compositional programming avoids the so-called "inheritance anomaly."