Object-oriented engineering of distributed applications (abstract)