An Approach for Describing and Querying Service Behavior in Distributed Systems | IEEE Conference Publication | IEEE Xplore