A涉众等同于参与者B每个用例都应有前置条件和后置条件C前置条件必须在用例开始执行前就能检测到D编写用例的事件流时应尽可能细化各种实现细节