Spezifizierung Offener Verteilter Systeme aus Sicht des ODP computational viewpointFrank KochÉpuiséPrévenez-moi