Efficient and accurate retrieval of business process models through indexing