Composition of Partially Observable Services Exporting their Behaviour