The remaining operations of Multipl

The remaining operations of Multiplexer utilize, as well as the dot notation, operationoperators. These are analogous to the schema operators of Z and enable the specification of more complex operations. The parallel composition operator k used in operations Transfer1 and Transfer2 enables the specification of inter-object communication. Its argument operations are conjoined and communication between them is achieved by equating inputs of one with outputs of the other whenever the basenames of these inputs and outputs are the same — that is, whenever the names of the inputs and outputs are the same apart from the ? or ! decorations. The equated inputs and outputs are then hidden in the resulting operation. The operator is similar to the piping operator of Z except that it allows communication in both directions. The operationTransfer1 models a message leaving the queueobject identified by input1 and joining the queue object identified by output. The transfer of the message is achieved due to the output variable item! ofinput1Leave having the same basename (item) as the input variable item? ofoutputJoin. Similarly, the operation Transfer2 models a message leaving the queue object identified by input2 and joining the queue object identified by output. Since Transfer1 and Transfer2 are not in the class’s interface, they cannot be applied to an object of class Multiplexer. They are used, however, in the definition of the visible operation Transfer. Transfer combines the operations Transfer1 and Transfer2 with the nondeterministic choice operator . This operator is used to model nondeterminism within a class. The operation models either Transfer1 or Transfer2 occurring, but not both. The choice depends on which of the operations are enabled. When only one of the operations is enabled — that is, when only one of the input queues is non-empty — then this operation will be chosen and applied. When both of the operations are enabled — that is, both of the input queues are non-empty — the operation to be applied is chosen nondeterministically. This operator is similar to the schema disjunction operator of Z except that only one operation can occur. With Z schema disjunction, when both operations are enabled, they can occur simultaneously. The choice operator is useful for modelling the internal behaviour of objects. For example, although the occurrenceof the Transfer operation can be controlled by the environment— it could be made to synchronize, when enabled, with a system clock, for example — the choice of which input queue to transfer a message from when both are non-empty is controlled only by the multiplexer object itself. Objects of class Multiplexer can, of course, be used in further system classes as can those system classes themselves. This process can continue indefinitely, resulting in highly structured specifications of systems which can be understood in terms of their simpler components. An understanding of the behaviour of these systems, however, needs to account for the possibility of object aliasing. Aliasing occurs when two or more variables in the specification identify the same object. Multiplexer is free of aliasing since the queue objects are distinct. This is not always the case and, indeed, not always desired. The issues of aliasing will be discussed in more detail in Chapter 2.

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

Các hoạt động còn lại của Multiplexer sử dụng, cũng như ký hiệu dấu chấm, operationoperators. Đây là những tương tự với các nhà khai thác lược đồ của Z và sử sinh hoạt động phức tạp hơn. K điều hành song song các thành phần được sử dụng trong hoạt động Transfer1 và Transfer2 cho phép sinh giữa hai đối tượng giao tiếp. Hoạt động của nó đối số dính và giao tiếp giữa họ là đạt được bằng equating đầu vào của một với kết quả đầu ra của nhau bất cứ khi nào basenames các yếu tố đầu vào và đầu ra là như nhau — có nghĩa là, bất cứ khi nào tên của các yếu tố đầu vào và đầu ra là giống ngoài các? hay! đồ trang trí. Tương đương đầu vào và đầu ra sau đó được ẩn trong các hoạt động kết quả. Các nhà điều hành là tương tự như các nhà điều hành đường ống của Z ngoại trừ việc nó cho phép liên lạc trong cả hai hướng. OperationTransfer1 mô hình thư rời queueobject identified bởi input1 và tham gia hàng đợi đối tượng identified bằng sản lượng. Chuyển thư đạt được do mục biến ra! ofinput1 lại có basename giống nhau (mục) như là thay đổi mục nhập? ofoutput tham gia. Tương tự, các hoạt động Transfer2 mô hình thư rời khỏi hàng đợi đối tượng identified của input2 và tham gia hàng đợi đối tượng identified bằng sản lượng. Kể từ khi Transfer1 và Transfer2 đang không ở trong giao diện của lớp, họ không thể được áp dụng cho một đối tượng của lớp Multiplexer. Họ đang sử dụng, Tuy nhiên, definition có thể nhìn thấy hoạt động chuyển nhượng. Chuyển kết hợp các hoạt động Transfer1 và Transfer2 với các nhà điều hành lựa chọn nondeterministic. Nhà điều hành này được sử dụng để mô hình nondeterminism trong một lớp học. Các hoạt động mô hình hoặc Transfer1 hoặc Transfer2 xảy ra, nhưng không phải cả hai. Sự lựa chọn phụ thuộc vào đó các hoạt động được kích hoạt. Khi chỉ có một trong các hoạt động được kích hoạt — có nghĩa là, khi chỉ có một đầu vào hàng đợi là không có sản phẩm nào- thì thao tác này sẽ được lựa chọn và áp dụng. Khi cả hai trong số các hoạt động được kích hoạt — có nghĩa là, cả hai đầu vào hàng đợi là không có sản phẩm nào-các hoạt động được áp dụng là lựa chọn nondeterministically. Nhà điều hành này là tương tự như các nhà điều hành disjunction giản đồ của Z ngoại trừ rằng chỉ có một hoạt động có thể xảy ra. Với Z schema disjunction, khi hoạt động đều được bật, chúng có thể xảy ra đồng thời. Các nhà điều hành lựa chọn rất hữu ích cho các mô hình hành vi nội bộ của đối tượng. Ví dụ, mặc dù occurrenceof hoạt động chuyển nhượng có thể được kiểm soát bởi môi trường — nó có thể được thực hiện đồng bộ hoá, khi kích hoạt, với một đồng hồ hệ thống, ví dụ:-sự lựa chọn hàng chờ vào đó để chuyển thư từ khi cả hai đều không có sản phẩm nào được kiểm soát chỉ bằng cách đa đối tượng chính nó. Các đối tượng của lớp Multiplexer có thể, tất nhiên, được sử dụng trong hơn nữa hệ thống lớp học là những hệ thống lớp học mình có thể. Quá trình này có thể tiếp tục indefinitely, kết quả là có cấu trúc cao specifications của hệ thống mà có thể hiểu về các thiết bị đơn giản. Sự hiểu biết về các hành vi của các hệ thống này, Tuy nhiên, nhu cầu vào tài khoản cho khả năng của đối tượng răng cưa. Răng cưa xảy ra khi hai hay nhiều biến trong sinh xác định các đối tượng tương tự. Multiplexer là miễn phí của răng cưa kể từ khi các đối tượng xếp hàng là khác biệt. Đây không phải luôn luôn là trường hợp và, quả thật vậy, không phải luôn luôn mong muốn. Các vấn đề về răng cưa sẽ được thảo luận chi tiết hơn trong chương 2.

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

Các hoạt động còn lại của Multiplexer sử dụng, cũng như các ký hiệu dấu chấm, operationoperators. Đây là tương tự như các nhà khai thác lược đồ của Z và cho phép các cation fi cụ thể của hoạt động phức tạp hơn. Các nhà điều hành song song thành phần k được sử dụng trong các hoạt động Transfer1 và Transfer2 phép cation fi cụ thể của thông tin liên lạc liên đối tượng. hoạt động đối số của nó là dính liền và thông tin liên lạc giữa họ đạt được bằng cách đương đầu vào của một với kết quả đầu ra của người khác bất cứ khi nào basenames của các đầu vào và đầu ra đều giống nhau - có nghĩa là, bất cứ khi nào tên của các yếu tố đầu vào và đầu ra đều giống nhau ngoài việc ? hoặc là ! đồ trang trí. Các đầu vào và đầu ra tương đương sau đó được ẩn trong hoạt động kết quả. Các nhà điều hành là tương tự như các nhà điều hành đường ống của Z ngoại trừ việc nó cho phép truyền thông trong cả hai hướng. Các mô hình operationTransfer1 nhắn bỏ rơi queueobject identi fi ed bởi Input1 và tham gia vào đối tượng hàng đợi identi fi ed bởi đầu ra. Việc chuyển giao thông điệp đạt được do mục biến đầu ra! ofinput1? Để lại có basename cùng (item) như mục biến đầu vào? ofoutput? tham gia. Tương tự như vậy, các mô hình hoạt động Transfer2 nhắn rời khỏi đối tượng hàng đợi identi fi ed bởi Input2 và tham gia các đối tượng hàng đợi identi fi ed bởi đầu ra. Kể từ Transfer1 và Transfer2 đang không ở trong giao diện của lớp, họ không thể được áp dụng cho một đối tượng của lớp ghép. Chúng được sử dụng, tuy nhiên, trong các định nghĩa fi de của Chuyển hoạt động nhìn thấy được. Chuyển kết hợp các hoạt động Transfer1 và Transfer2 với các nhà điều hành lựa chọn nondeterministic?. Toán tử này được sử dụng để mô hình nondeterminism bên trong một lớp. Các mô hình hoạt động hoặc Transfer1 hoặc Transfer2 xảy ra, nhưng không phải cả hai. Sự lựa chọn phụ thuộc vào các hoạt động được kích hoạt. Khi chỉ có một trong những hoạt động được kích hoạt - đó là, khi chỉ có một trong các hàng đợi đầu vào là không có sản phẩm nào - thì hoạt động này sẽ được lựa chọn và áp dụng. Khi cả hai hoạt động được kích hoạt - có nghĩa là, cả hai hàng đợi đầu vào là không có sản phẩm nào - các hoạt động để áp dụng được chọn nondeterministically. Toán tử này cũng tương tự như các nhà điều hành giản đồ phân ly của Z ngoại trừ rằng chỉ có một hoạt động có thể xảy ra. Với Z giản đồ phân ly, khi cả hai hoạt động được kích hoạt, chúng có thể xảy ra đồng thời. Các nhà điều hành lựa chọn rất hữu ích cho mô hình hóa các hành vi nội bộ của các đối tượng. Ví dụ, mặc dù occurrenceof các hoạt động chuyển giao có thể được kiểm soát bởi các môi trường chủ nó có thể được thực hiện đồng bộ, khi được kích hoạt, với một đồng hồ hệ thống, ví dụ - sự lựa chọn của đầu vào hàng đợi để chuyển một thông điệp từ khi cả hai đều không trống được điều khiển chỉ bởi các đối tượng đa chính nó. Đối tượng của lớp ghép có thể, tất nhiên, được sử dụng trong các lớp học hệ thống tiếp tục như thể những lớp hệ thống tự. Quá trình này có thể tiếp tục inde fi nitely, kết quả là các cation fi cụ thể cấu trúc cao của hệ thống có thể được hiểu theo nghĩa của các thành phần đơn giản của họ. Một sự hiểu biết về hành vi của các hệ thống này, tuy nhiên, cần phải giải thích cho khả năng của đối tượng răng cưa. Aliasing xảy ra khi hai hay nhiều biến trong các cation fi cụ thể xác định một đối tượng. Multiplexer là miễn phí của răng cưa từ các đối tượng hàng đợi là khác biệt. Đây không phải là luôn luôn như vậy, và thực sự, không phải lúc nào cũng mong muốn. Các vấn đề về răng cưa sẽ được thảo luận chi tiết hơn trong Chương 2.