For example, in describing secure s

For example, in describing secure system designs you must relate the security level of each component, but not, say, the number of ports or their security levels. Furthermore, the connectivity of components should be stated before their functionality. In the ow analyzer text, the security levels of the components need not be communicated at all, but if a component (other than the nal component of the path) downgrades information, it must be stated whether and
why the component is secure. This very precise knowledge about which domain information needs to communicated and in what order cannot simply be derived from general principles. We have also argued that in many existing text planning systems, such DCK has been encoded implicitly. In the interest of eciency, modularity and portability we have decided to represent DCK explicitly in Joyce.

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

Ví dụ:, trong việc miêu tả thiết kế hệ thống an toàn bạn phải liên quan mức độ bảo mật của mỗi thành phần, nhưng không, nói, số lượng cổng hoặc mức độ bảo mật của họ. Hơn nữa, các kết nối của thành phần nên được nêu trước khi chức năng của họ. Trong các ow văn bản phân tích, mức độ bảo mật của các thành phần cần không được truyền đạt ở tất cả, nhưng nếu một thành phần (khác hơn so với các thành phần nal của đường dẫn) hạ thông tin, nó phải nói cho dù vàtại sao các thành phần là an toàn. Kiến thức này rất chính xác về thông tin tên miền mà cần phải truyền đạt và theo thứ tự chỉ đơn giản là không thể được bắt nguồn từ nguyên tắc chung. Chúng tôi cũng đã cho rằng trong nhiều văn bản hiện có kế hoạch hệ thống, DCK như vậy đã được mã hóa ngầm. Vì lợi ích của e ciency, mô đun và tính di động, chúng tôi đã quyết định để đại diện cho DCK một cách rõ ràng trong Joyce.

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

Ví dụ, trong mô tả thiết kế hệ thống an toàn, bạn phải liên quan mức độ bảo mật của mỗi thành phần, nhưng không phải, nói, số lượng các cảng, mức độ bảo mật của họ. Hơn nữa, các kết nối của các thành phần cần phải được nêu trước khi chức năng của họ. Trong văn bản ow phân tích, mức độ bảo mật của các thành phần không cần phải được thông báo ở tất cả, nhưng nếu một thành phần (trừ các thành phần nal của con đường) hạ bậc thông tin, nó phải được quy định hay không và
lý do tại sao thành phần này là an toàn. Điều này kiến thức rất chính xác về những thông tin tên miền cần phải truyền đạt và trong những gì để có thể không chỉ đơn giản được bắt nguồn từ nguyên tắc chung. Chúng tôi cũng cho rằng trong nhiều hệ thống văn bản quy hoạch hiện có, DCK như đã được mã hóa hoàn toàn. Trong sự quan tâm của e? Tính hiệu, mô đun và tính di động, chúng tôi đã quyết định để đại diện cho DCK rõ ràng trong Joyce.