Distributed Object Communities
MSc thesis in Applied Mathematics,
IST 1996.
Supervisor:
Prof. Amílcar Sernadas.
ABSTRACT
We review the basic notions of the theory of event structures, systems of communicating sequential agents and their temporal axiomatisations.
We obtain a temporal institution of objects and a canonical semantics of object specifications after identifying an object with a labelled sequential event strucuture.
Analogously, we obtain a temporal institution of object communities and a canonical semantics of communities specified as sets of interacting objects
after identifying an object community with a labelled system of communicating sequential agents.
On the way we obtain and make use of some compositionality results.
Finally, we establish a distributed semantics for a significant fragment of the object-oriented specification language
Gnome
via a translation into the object community logic.