Abstract

. Objects are presented as processes endowed with state-dependent slots. Active objects have non-quiescent states. A morphism between two objects expresses that the source object is part-of the target object, in such a way that the possible observations of the part, considered in isolation, are constrained within the whole. Our semantic domain for object-oriented concepts includes a cocomplete category of objects where several kinds of dynamic interaction like event and memory sharing are reflected by colimits. 1 Introduction According to the object-oriented view [10]: (1) an object has an internal state that can be changed by certain actions (events) and observed through slots (attributes); and (2) an object displays behaviour (at any time some actions are possible and some are not). Therefore, an object is, basically, a process endowed with trace-dependent slots. In [4,5] we find contributions to a semantic domain for objects dealing with aggregation of interacting objects as well as...

Citations