Bài báo này trình bày ngữ nghĩa của hệ thống hướng đối tượng với các lớp, tính trực quan, liên kết động và các phương thức đệ qui. Các khai báo lớp và các lệnh như là các thiết kế dựa trên tiền điều kiện và hậu điều kiện và các mối quan hệ của các thành phần trong hệ thống... Cách tiếp cận này sẽ cho thấy rõ ràng mối quan hệ của các thành phần trong hệ thống hướng đối tượng, và các khả năng sử dụng các công cụ và cách thức kiểm tra để cải tiến đặc tả hệ thống được phát triển sau này. Nhờ đó các luật đại số đã được phát triển áp dụng cho việc đặc tả chương trình hướng đối tượng.

Tải file Mô hình đại số quan hệ của hệ thống hướng đối tượng tại đây