Abstract
We present a model for concurrent objects where obejcts interact
by taking part in common events that are closely matched to form
call-response pairs, resulting in resulting in rendez-vous like
communications. Objects are built from primitive objects by
parallel composition, encapsulation and hiding. The behavour of a
composite object is straightforwardly derived from the behavour of
the constituent objects. Defining refinement as a strengthened
form of trace inclusion, object composition and refinement
togehter form a basis for step-wise development.
Original language | English |
---|---|
Title of host publication | Proc. of 7th Nordic Worshop on Programming Theory |
Place of Publication | Goteborg |
Publisher | Chalmers tekniska högskola |
Publication date | 1996 |
Pages | 473-492 |
Publication status | Published - 1996 |
Event | 7th Nordic Workshop on Programming Theory - Goteborg Duration: 1 Jan 1995 → … |
Conference
Conference | 7th Nordic Workshop on Programming Theory |
---|---|
City | Goteborg |
Period | 01/01/1995 → … |