Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2004)
Sept. 28, 2004 to Sept. 30, 2004
Einar Broch Johnsen , University of Oslo, Norway
Olaf Owe , University of Oslo, Norway
Distributed systems are often modeled by objects that run concurrently, each with its own processor, and communicate by synchronous remote method calls. This may be satisfactory for tightly coupled systems, but in the distributed setting synchronous external calls seem less satisfactory; at best resulting in inefficient use of processor capacity, at worst resulting in deadlock. Furthermore, it is difficult to combine active and passive behavior in concurrent objects. This paper proposes a solution to these problems by means of asynchronous method calls and conditional processor release points. Although at the cost of additional internal non-determinism in the objects, this approach seems attractive in asynchronous or unreliable environments. The concepts are integrated in a small object-oriented language with an operational semantics defined in rewriting logic, and illustrated by an example of a peer-to-peer network.
Einar Broch Johnsen, Olaf Owe, "An Asynchronous Communication Model for Distributed Concurrent Objects", Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), vol. 00, no. , pp. 188-197, 2004, doi:10.1109/SEFM.2004.10017