An integration-oriented approach for designing communication protocols from component-based service specifications | IEEE Conference Publication | IEEE Xplore