Service Composition with Functional Flexibility Using Nondeterministic Service Interface | IEEE Conference Publication | IEEE Xplore