An Optimized Derivation of Event Queries to Monitor Choreography Violations · Study