Composition of partially observable services exporting their behaviour