Measuring similarity between semantic business process models · Study