Spezifizierung Offener Verteilter Systeme aus Sicht des ODP computational viewpointFrank KochEsauritoAvvisami