Optimal top-k query evaluation for weighted business processes · Study