What, not how: A generative approach to service composition | IEEE Conference Publication | IEEE Xplore