判断题
任务模型表示法(CTT)是一种基于图形符号的,采用层次的树状结构来组织并表示任务模型的方法。
正确
单项选择题 UAN采用一种表格结构来表示任务,表格分别由()构成。
判断题 UAN属于一种行为模型,它又涉及一定程度的系统行为的描述,因而它兼有行为模型和结构模型的特点。
单项选择题 一旦T2任务被执行,T1便无效(不活动),LOTOS模型中定义是()。