The functionality of a role is defi

The functionality of a role is defined by its responsibilities. These re-sponsibilities can be divided into two categories: liveness and safety responsibilities. Liveness responsobilities are those that, intuitively, state that "something will be done", and hence that the agent carrying out the role is still alive. Liveness responsobilities tend to follow certain patterns. For example, the guaranteed response type of achievement goal has the form "a repuest is always followed by a response". The infinite repetition achievement goal has the form "x will happen infinitely often". Note that these types of repuerements have been widely studied in the software engineering literature, where they have provem tobe necessary for capturing properties of reative systems [27].

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

Các chức năng của một vai trò được định nghĩa bởi trách nhiệm của mình. Các re-sponsibilities có thể được chia thành hai loại: trách nhiệm liveness và an toàn. Liveness responsobilities là những người mà, trực giác, nhà nước rằng "một cái gì đó sẽ được thực hiện", và do đó các đại lý thực hiện vai trò là vẫn còn sống. Liveness responsobilities có xu hướng làm theo mô hình nhất định. Ví dụ, loại đảm bảo đáp ứng mục tiêu thành tựu có dạng "repuest một luôn luôn theo sau bởi một phản ứng". Mục tiêu thành tựu lặp lại vô hạn có dạng "x sẽ xảy ra thường xuyên vô hạn". Lưu ý các loại repuerements đã được nghiên cứu rộng rãi trong các tài liệu công nghệ phần mềm, nơi họ có provem tobe cần thiết để thu các thuộc tính của hệ thống reative [27].

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

Các chức năng của một vai trò được định nghĩa bởi các trách nhiệm của mình. Những tái sponsibilities có thể được chia thành hai loại: Trách nhiệm liveness và an toàn. Responsobilities liveness là những người mà, bằng trực giác, trạng thái đó "một cái gì đó sẽ được thực hiện", và vì thế mà các chủ thể thực hiện vai trò là vẫn còn sống. Responsobilities liveness có xu hướng làm theo mẫu nhất định. Ví dụ, các loại phản ứng được bảo đảm các mục tiêu thành tích có dạng "một repuest luôn được theo sau bởi một phản ứng". Mục tiêu đạt được sự lặp lại vô hạn có dạng "x sẽ xảy ra vô thường". Lưu ý rằng các loại repuerements đã được nghiên cứu rộng rãi trong các tài liệu công nghệ phần mềm, nơi họ có tobe provem cần thiết cho việc chụp những thuộc tính của hệ thống reative [27].