Large scale, type-compatible service composition | IEEE Conference Publication | IEEE Xplore