Trace-Based Verification of Rule-Based Service Choreographies | IEEE Conference Publication | IEEE Xplore