一些常用的固定符号:
C:表示原因(cause); Ef:代表结果(effect); 相等:; 非:; 与: ; 或:;
E: 排他(exclusive); I:at least(inclusive); R:require ; O:only one ; M:强制标记(marking);
实例:
有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币,按下“可乐”、“雪碧”、或“红茶”按钮,相应的饮料就送出来。若投入的是2元硬币,在送出饮料的同时退还5角硬币。
原因编号 |
内容 |
C1 |
投入1元5角硬币 |
C2 |
投入2元硬币 |
C3 |
按下“可乐”按钮 |
C4 |
按下“雪碧”按钮 |
C5 |
按下“红茶”按钮 |
结果编号 |
输出 |
需求 |
Ef1 |
退5角 |
C2∧(C3∨C4∨C5) |
Ef2 |
送“可乐” |
(C1∨C2)∧C3 |
Ef3 |
送“雪碧” |
(C1∨C2)∧C4 |
Ef4 |
送“红茶” |
(C1∨C2)∧C5 |
中间状态 |
内容 |
1 |
已投入硬币 |
2 |
已按下按钮 |
∨
时间: 2024-10-10 17:56:26