2.3 Modularity and Compositionality

2.3 Modularity and Compositionality

A modular specification is one which comprises a number of separate parts, or modules, each of which can be understood in isolation. For example, an object- oriented specification is modular due to the structure provided by its classes. Re- lated to modularity is the notion of compositionality. A compositional specifica- tion is one which is modular and where the meaning of the overall specification can be determined from the meaning of its modules.
Compositionality enables the processes of refining and reasoning about speci- fications to be simplified. A compositional specification can be refined by refining one or more of its modules in isolation – that is, without reference to the rest of the specification. Similarly, properties of such a specification may be derived from the properties of the modules derived in isolation. Due to its reference semantics, however, not all specifications in Object-Z are compositional

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

2.3 mô đun và CompositionalityMột đặc tả mô-đun là một trong đó bao gồm một số phần riêng biệt, hoặc mô-đun, mỗi trong số đó có thể được hiểu trong sự cô lập. Ví dụ, một đối tượng-theo định hướng đặc tả là mô-đun do cấu trúc được cung cấp bởi các lớp học của mình. Re-lated để mô đun là khái niệm compositionality. Một sáng tác specifica-tion là một mà là mô-đun và nơi mà ý nghĩa của đặc điểm kỹ thuật tổng thể có thể được xác định từ ý nghĩa của các mô-đun của nó.Compositionality cho phép quá trình tinh chế và lý luận về speci-fications để được đơn giản hóa. Một đặc điểm kỹ thuật sáng tác có thể được tinh chế bằng cách tinh chỉnh một hay nhiều mô-đun của nó trong sự cô lập – có nghĩa là, nếu không có tham chiếu đến phần còn lại của đặc điểm kỹ thuật. Tương tự như vậy, tính chất của một đặc tả có thể xuất phát từ tính chất của các mô-đun có nguồn gốc trong sự cô lập. Do tài liệu tham khảo ngữ nghĩa, Tuy nhiên, không phải tất cả các chi tiết kỹ thuật trong đối tượng-Z đang sáng tác

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

2.3 Mô đun và Compositionality Một đặc điểm kỹ thuật mô-đun là một trong đó bao gồm một số bộ phận riêng biệt, hoặc mô-đun, mỗi trong số đó có thể được hiểu trong sự cô lập. Ví dụ, một đặc điểm kỹ thuật hướng đối tượng là mô-đun do cấu trúc được cung cấp bởi các lớp của nó. Tái lated để mô đun là khái niệm của compositionality. Một quan đặc tả thành phần là một trong đó là mô-đun và nơi ý nghĩa của các đặc điểm kỹ thuật tổng thể có thể được xác định từ các ý nghĩa của mô-đun của nó. Compositionality cho phép các quá trình tinh chế và lý luận về fications chỉ tường được đơn giản hóa. Một đặc điểm kỹ thuật về thành phần có thể được tinh chế bằng cách chỉnh lại một hoặc nhiều thành phần của nó trong sự cô lập - tức là không có tham chiếu đến phần còn lại của các đặc điểm kỹ thuật. Tương tự như vậy, các thuộc tính của một đặc điểm kỹ thuật này có thể được bắt nguồn từ các thuộc tính của các mô-đun có nguồn gốc trong sự cô lập. Tuy nhiên, do ngữ nghĩa tham chiếu của nó, không phải tất cả các chi tiết kỹ thuật trong Object-Z là thành phần