Ngôn ngữ mô hình hóa UML được sử dụng phổ biến nhất trong công nghệ phần mềm nhưng lại khôngđủ chặt chẽ và chưa có công cụ hỗ trợ kiểm tra tính đúng đắn của đặc tả.Do vậy, chúng ta thường phải kết hợp với các ngôn ngữ đặc tả khác để thu được bản đặc tả hệ thống vừa trực quan, dễ hiểu vừa có ngữ nghĩa chặt chẽ, được kiểm tra tự động bởi các côngcụ. Và trong quá trình áp dụng các mẫu thiết kếđể thu được một mô hình thiết kế tối ưu hơn, ta có thể gặp phải những sai sót. Do vậy, ta cần phải kiểmtra xem mô hình thu đượccó thỏa mãn các tính chất của mẫu hay không. Điều đó rất quan trọng để có thể giảm thiểu rủi ro và tăng hiệu quả trong quá trình phát triển phần mềm. Trong khóa luận này, tôi sẽ vậndụng các quy tắc chuyển đổi đặc tả UML sang OWL, từ hai mô hình thiết kế ban đầu và sau khi áp dụng mẫu, ta sẽ thu được hai đặc tả OWL, từ đó ta kết hợpvới các ràng buộc được viết bằng ngôn ngữ đặc tả OCL hoặc Prolog, và với các công cụ kiểm tra tự động, ta sẽ kiểm tra hai đặc tả OWL có tương đương nhau hay không, cũng tức là hai mô hình đó có tương đương nhau hay không.Do đó, khóa luận của tôi sẽ tập trung vào quy trình chuyển từ đặc tả UML sang đặc tả OWL,kết hợp với các ngôn ngữ đặc tả OCL, Prolog để cho ngữ nghĩa của các đặc tả chặt chẽ hơn. Nócũng tiến hành thử nghiệm ứng dụng quy trình này để kiểm tra kết quả áp dụng mẫu thiết kế trong phát triểnphần mềm hướng đối tượng