A Reflective Framework to Support Adaptive Service Composition under Correctness Constrains | IEEE Conference Publication | IEEE Xplore