Efficient and accurate retrieval of business process models through indexing (short paper) · Study