Facilitating Service Creation via Partial Specification and Automated Composition | IEEE Conference Publication | IEEE Xplore