Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies