Software engineering in a distributed, heterogeneous environment is faced with a number of challenges. With distribution comes the need for synchronisation, transactions, and fault-tolerance while support for different ...