Towards a formal specification of an object-oriented architecture for parallel computing

Parallel computing needs communication between processes to stimulate computation. With an object-oriented parallel language many objects can call each others' methods, using a different type of communication to promote computation. The architecture presented in this paper allows methods to intercommunicate freely among different processors without having to explicitly synchronise messages. Because the architecture uses asynchronous communication the danger of deadlock is small although memory may be exhausted if communication levels are high. A method can migrate to another computer if there is enough data present at this new location to warrant the move. This architecture also enables us to implement inheritance using message passing. Apart from facilitating the execution of object-oriented applications if lends ilself to formal definition.