Bảng 3.4 trình bày mƣời luật giới hạn còn lại R17-R25 và R26, giới hạn việc sử dụng các từ khóa để chỉ định các cấu trúc điều khiển.
R26 đặc biệt quy định rằng mỗi luồng cơ bản (basic flow) và luồng thay thế (alternative flow) phải có hậu điều kiện (post-condition) riêng của nó.
R17 và R18 chỉ định các từ khóa để mô tả các ca sử dụng trong trƣờng hợp phụ thuộc bao gồm (include) và mở rộng (extend). Các câu có chứa các từ khóa INCLUDE USE CASE và EXTENDED BY USE CASE đƣợc gọi là câu phụ thuộc.
R19 chỉ định từ khóa RFS, đƣợc sử dụng trong một luồng thay thế cụ thể (hoặc có giới hạn) để tham chiếu đến số bƣớc (hoặc tập hợp số bƣớc) của bƣớc luồng tham chiếu mà luồng thay thế này phân nhánh.
R20-R23 chỉ định các từ khóa đƣợc sử dụng để chỉ định các câu logic có điều kiện (IF-THEN-ELSE-ELSEIF-ENDIF), câu đồng thời (MEANWHILE), câu kiểm tra điều kiện (VALIDATES THAT) và câu lặp (DO-UNTIL). Từ khóa IF-THEN-ELSE-ELSEIF-ENDIF có thể đƣợc sử dụng theo ba cách khác nhau (những cách này đƣợc chỉ định dƣới dạng ngữ pháp):
(1) IF-THEN-ENDIF: chỉ xuất hiện trong một luồng
(2) IF-THEN-ELSE- ENDIF: mọi thứ nằm trong một luồng hoặc IF-THEN đƣợc sử dụng trong các luồng cơ bản, trong khi ELSE đƣợc sử dụng trong các luồng thay thế.
(3) IF-THEN-ELSEIF-THEN-ENDIF: mọi thứ nằm trong một luồng hoặc IF- THEN thì đƣợc sử dụng trong các luồng cơ bản, trong khi ELSEIF-THEN- ENDIF đƣợc sử dụng trong các luồng thay thế.
R22 chỉ định từ khoá VALIDATES THAT có nghĩa là điều kiện đƣợc hệ thống đánh giá và phải đúng để thực hiện bƣớc tiếp theo. Luật này cũng yêu cầu một luồng thay thế mô tả điều gì sẽ xảy ra khi xác thực không thành công (điều kiện không giữ). Luật R20 và R22 là hai luật phức tạp và tổng hợp, khi so sánh với các luật khác của cùng một bộ luật, vì cả hai luật này đều yêu cầu các nhà thiết kế UCS xem xét nhiều bƣớc trong hai luồng khác nhau: luồng cơ bản và luồng thay thế.
R24 và R25 chỉ định các từ khóa ABORT và RESUME STEP để mô tả một hành động thoát bất thƣờng và khi một luồng thay thế quay trở lại luồng cơ bản tƣơng ứng của nó. Hai luật này cũng chỉ định rằng một luồng thay thế kết thúc
24
bằng ABORT hoặc RESUME STEP, có nghĩa là bƣớc cuối cùng của luồng thay thế phải chỉ định rõ ràng liệu luồng có quay trở lại luồng cơ bản hay không và ở đâu (sử dụng từ khóa RESUME STEP theo sau là quay lại số bƣớc) hoặc kết thúc (sử dụng từ khóa ABORT).
R17-R21 và R23 đã đƣợc đề xuất trong tài liệu và chúng tôi đã sử dụng lại chúng với một số biến thể. R22, R24 và R25 mới đƣợc đề xuất trong nghiên cứu này nhằm mục đích làm cho toàn bộ các giới hạn hoàn chỉnh nhất có thể để các luồng sự kiện và tƣơng tác giữa luồng cơ bản và các lựa chọn thay thế có thể đƣợc chỉ định rõ ràng và ngắn gọn.
Việc áp dụng bộ luật này tạo điều kiện thuận lợi cho quá trình xử lý ngôn ngữ tự nhiên (NL) một cách tự động và tạo ra các mô hình phân tích, đặc biệt là biểu đồ trình tự cũng giúp giảm thiểu sự mơ hồ của đặc tả ca sử dụng.
Bảng 3.4: Bộ luật giới hạn của RUCM (R17-R26)
# Mô tả # Mô tả
R17 INCLUDE USE CASE R22 VALIDATE THAT R18 EXTENDED BY USE CASE R23 DO-UNTIL R19 RFS R24 ABORT R20 IF-THEN-ELSE- ELSEIF-ENDIF R25 RESUME STEP
R21 MEANWHILE R26 Mỗi luồng cơ bản và luồng thay thế phải có các hậu điều kiện riêng.