The object constraint language(OCL),a formal language used to describe expressions on UML models and the elementary theory of specification-based mutation analysis are in-troduced.