Efficiently querying large process model repositories in smart city cloud workflow systems based on quantitative ordering relations · Study