A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing | IEEE Conference Publication | IEEE Xplore