Phương pháp hình thức đặc tả hệ thống hướng đối tượng dựa trên mô hình rCOS

1) Tính nhất quán ngang của mô hình: Nhiều khung nhìn khác nhau của các hệ con khác

nhau trong một hệ thống đòi hỏi phải tương thích với nhau về cú pháp và ngữ nghĩa.

2) Tính nhất quán dọc của mô hình: Khi biến đổi và phát triển một mô hình qua các

bước làm mịn, đòi hỏi các mô hình nhận được ở mỗi bước phải nhất quán và có ngữ nghĩa phù

hợp với nhau;

3) Tính lần vết được của mô hình: Khi chuyển từ một mô hình của một khung nhìn này

sang mô hình theo một khung nhìn khác, hay từ bước làm mịn này sang bước sau phải được chỉ

dẫn cho phép lần ngược lại mô hình loại trước hay mô hình ở bước trước, cũng như có thể lần

xuôi đến các mô hình của bước sau, và đảm bảo sự phù hợp giữa các mô hình đó.