Since a class may refer to the attr

Since a class may refer to the attributes of an object it references, it may place constraints on that object’s state. When these constraints occur as part of the state predicate, they must be maintained by each operation of the class. This can cause the possible states an object can be in to be restricted, or a relationship between the attributes of one object and those of another to be maintained. Such dependencies between objects are referred to as object coupling.
Object coupling can be used to simplify specifications. Values derived from the values of the attributes of one or more objects can be represented by a state variable and, hence, accessed directly. This affects the behaviour of the objects, however, and, in many cases, the compositionality of the specification. As an example, consider the following class B where A is a class with a state variable
x : N.

Kết quả (Việt) 1:

Kể từ khi một lớp học có thể tham khảo các thuộc tính của một đối tượng tham chiếu đến nó, nó có thể đặt ràng buộc vào đối tượng đó nhà nước. Khi những hạn chế xảy ra như một phần của vị ngữ bang, họ phải được duy trì bởi mỗi hoạt động của lớp. Điều này có thể gây ra các quốc gia có thể có một đối tượng có thể ở được giới hạn, hoặc một mối quan hệ giữa các thuộc tính của một đối tượng và những người khác phải được duy trì. Như vậy quan hệ phụ thuộc giữa các đối tượng được gọi là khớp nối đối tượng.Khớp nối đối tượng có thể được sử dụng để đơn giản hóa các chi tiết kỹ thuật. Giá trị bắt nguồn từ các giá trị của các thuộc tính của một hoặc nhiều đối tượng có thể được đại diện bởi một nhà nước biến và, do đó, truy cập trực tiếp. Điều này ảnh hưởng đến hành vi của các đối tượng, Tuy nhiên, và trong nhiều trường hợp, compositionality của đặc tả. Ví dụ, hãy xem xét sau trong lớp B nơi A là một lớp học với một biến nhà nướcx: N.

Kết quả (Việt) 2:

Kể từ khi một lớp có thể tham khảo các thuộc tính của một đối tượng mà nó tham chiếu, nó có thể đặt những hạn chế về trạng thái của đối tượng đó. Khi những khó khăn xảy ra như là một phần của các vị nhà nước, họ phải được duy trì bởi mỗi hoạt động của lớp. Điều này có thể gây ra các trạng thái có thể là một đối tượng có thể ở được hạn chế, hoặc một mối quan hệ giữa các thuộc tính của một đối tượng và những người khác được duy trì. Phụ thuộc như vậy giữa các đối tượng được gọi là khớp nối đối tượng.
Đối tượng khớp nối có thể được sử dụng để đơn giản hóa các chi tiết kỹ thuật. Các giá trị có nguồn gốc từ các giá trị của các thuộc tính của một hoặc nhiều đối tượng có thể được đại diện bởi một biến trạng thái và, do đó, truy cập trực tiếp. Điều này ảnh hưởng đến hành vi của các đối tượng, tuy nhiên, và, trong nhiều trường hợp, các compositionality của đặc tả. Như một ví dụ, hãy xem xét các lớp sau B trong đó A là một lớp với một biến trạng thái
x: N.