The Programming Paradigm in OZ++ : an Object-Oriented Distributed Environment