The functional capabilities of a se

The functional capabilities of a service can be expressed using the capability class, which covers precondition, assumption, post-condition, and effect (state change) axioms, and variables shared among preconditions, post-conditions, assumptions, and effects (see Listing 5-30).

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

Khả năng chức năng của một dịch vụ có thể được thể hiện bằng cách sử dụng khả năng lớp học, trong đó bao gồm điều kiện tiên quyết, giả định, các điều kiện sau, và tiên đề (nhà nước thay đổi) có hiệu lực, và biến được chia sẻ giữa các điều kiện tiên quyết, sau khi điều kiện, giả định, và các hiệu ứng (xem danh sách 5-30).

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

Các khả năng chức năng của một dịch vụ có thể được thể hiện bằng cách sử dụng lớp khả năng, trong đó bao gồm điều kiện tiên quyết, giả định, hậu điều kiện, và có hiệu lực (thay đổi trạng thái) tiên đề, và các biến chia sẻ giữa các điều kiện tiên quyết, hậu điều kiện, giả định, và các hiệu ứng (xem Liệt kê 5 -30).