设计任务管理子系统 分析并发性 依据:动态模型 并发性:如果两个对象彼此之间不存在交互, 或同时接受事件,则这两个对象在本质上是 并发的。 控制线:一条遍及状态图集合的路径,在这 条路径上每次只有一个对象是活动的。能够 把若干个非并发的对象归并到一条控制线上 多任务:多个任务并发执行设计任务管理子系统 • 分析并发性 – 依据：动态模型 – 并发性：如果两个对象彼此之间不存在交互， 或同时接受事件，则这两个对象在本质上是 并发的。 – 控制线：一条遍及状态图集合的路径，在这 条路径上每次只有一个对象是活动的。能够 把若干个非并发的对象归并到一条控制线上。 – 多任务：多个任务并发执行