Title | Towards a Model for Asynchronously Communicating Objects |
Publication Type | Conference Proceedings |
Year of Conference | 1996 |
Authors | Denker, G., and J. Küster Filipe |
Conference Name | Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996 |
Pagination | 182-193 |
Publisher | Institute of Cybernetics |
Abstract | In this paper we propose a language-independent model for concurrent distributed object systems where objects interact with each other by asynchronous message passing. Objects are modeled by sequential labelled event structures. These event structures are combined into an asynchronous system model by means of a new relation, the so called communication arrow, that expresses directed asynchronous object interaction. We give an inductive construction of a specific asynchronous system model, and prove that it is sound. This paper is a first step towards denotational semantics of and reasoning about asynchronously communicating object societies. |
Public | no |