An object is defined as a process possibly endowed with initiative and tracedependent attributes. Transactional requirements are analysed within this framework as liveness requirements.
Object aggregation is explained using the general notion of object morphism.
The basic inheritance, overriding and reification mechanisms are also presented, as well as a suitable notion of object-type. Doc 135 An Initial Algebra Approach to the Specification - Goguen, Thatcher et al. The Basic Building Blocks of Information Systems - Sernadas, Fiadeiro et al. Doc 25 Algebraic Implementation of Abstract Data Types - Ehrig, Kreowski et al. A Categorial Theory of Objects as Observed Processes - Ehrich, Goguen et al.