单项选择题
下列UML图形中，可用来刻画系统实时需求的是（）。
A.交互图B.用例图C.类图D.流程图
单项选择题 由一般性的命题推出特殊命题的推理方法是（）。
单项选择题 描述系统内与值的变化有关系的系统属性是（）。
填空题 根据建模手段和目标，可以将DEDS模型分为三个层次，分别为（）、（）、（）。
