A Query Language for Analyzing Business Processes Execution · Study