Điều kiện tiên quyết có thể miêu tả trạng thái hệ thống (cho một trường hợp sử dụng để rút tiền từ một máy rút tiền tự động, các máy ATM phải chứa tiền), nhưng họ không mô tả mục đích của người dùng ("tôi cần một số tiền mặt").
đang được dịch, vui lòng đợi..