Bây giờ chúng ta xem xét chỉ định cùng một hàng đợi như là một lớp trong Object-Z. lớp ObjectZ giới thiệu, cũng như mô đun, một ý niệm chính xác về giao diện. Giao diện của một lớp de fi nes những cách thức mà các đối tượng của lớp đó tương tác với môi trường của họ. Nó xác định cách thức mà đối tượng của lớp có thể được sử dụng trong một hệ thống cụ thể cation fi. Chính xác hơn, nó de nes fi mà biến trạng thái có thể được truy cập, cho dù điều kiện ban đầu có thể được kiểm tra, và trong đó hoạt động có thể được áp dụng. Z không có khái niệm chính thức của giao diện. Thông thường, để cho phép dữ liệu tái fi nement, nó được giả định rằng chỉ có các lược đồ ban đầu nhà nước và các hoạt động, và không phải là biến trạng thái, của một cation fi cụ thể có thể truy cập trong môi trường của nó. Tuy nhiên, thường là một Z cụ thể fi cation sẽ bao gồm các lược đồ hoạt động phụ trợ, mà không phải là bản thân hoạt động của các cation fi cụ thể, nhưng được sử dụng để xây dựng các hoạt động đó. lược đồ hoạt động phụ trợ như vậy không có ý định trở thành một phần của giao diện fi cụ thể cation nhưng không được chính thức phân biệt từ những lược đồ hoạt động được. Trong Object-Z, khái niệm về giao diện được thực hiện chính xác bởi sự bao gồm trong một lớp học của một danh sách khả năng hiển thị. Hãy để chúng tôi giả định rằng giao diện của hàng đợi gồm các số biến trạng thái, lược đồ trạng thái ban đầu và các hoạt động tham gia và chỉ lại. Đó là, các mặt hàng biến trạng thái của một đối tượng hàng đợi hiện thông tin nội bộ mà không thể được truy cập trong hệ thống, trong đó có đối tượng đó. Hàng đợi được mô hình hóa bởi QueueItem lớp ?.
đang được dịch, vui lòng đợi..
![](//viimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)