OCL (Object Constraint Language)

แปลว่า(Software Engineering) a supplement to UML, this formal language allows a software engineer to construct unambiguous statements about the characteristics of various design model elements