A Novel Logic-Based Adaptive Monitoring for Composite Edge Services | IEEE Conference Publication | IEEE Xplore