Werkzeuge zum Entwurf von verteilten Informationssystemen.