Service Description and Analysis From a Type Theoretic Approach | IEEE Conference Publication | IEEE Xplore