أرسل هذا في رسالة قصيرة: Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach