Querying business processes with BP-QL · Study