Nhiều kết quả nghiên cứu hình thức trước đây đã chỉ ra sự cần thiết của phương pháp hướng đối tượng và phương pháp hình thức trong việc xây dựng và phát triển các hệ thống phần mềm. He Jifeng và cộng sự đã đề xuất mô hình tính toán rCOS cho hệ thống thành phần và hệ thống hướng đối tượng. Dựa trên mô hình này, chúng tôi đã phát triển các phương pháp mới đặc tả các lớp và quan hệ giữa chúng trong hệ thống, làm cơ sở xây dựng các công cụ hỗ trợ thiết kế hệ thống hướng đối tượng. Bài báo này trình bày phương pháp đặc tả thiết kế theo hướng đối tượng và các thuật toán làm mịn  liên quan bằng tệp văn bản.

Tải file Một cách đặc tả thiết kế hướng đối tượng dựa trên mô hình rCOS tại đây