试题详情
简答题简述LOTOS模型中定义了哪些基本算符，并简述这些算符的含义。
  • T1〣T2（交替Interleaving）：T1和T2两个任务相互独立执行，可按任意顺序执行，但永远不会同步。
    T1[]T2（选择Choice）：需要在T1，T2中选择一个执行，一旦选择某一个后，必须执行它直到结束，在这中间另一个再无执行机会。任务如何来选择，并没有给出一定的形式化描述。
    T1∣[a1，...，an]∣T2（同步Synchronization）：任务T1，T2必须在动作（a1，……，an）处保持同步。
    T1[>T2（禁止Deactivation）：一旦T2任务被执行，T1便无效（不活动）。
    T1>>T2（允许Enabling）：当T1成功结束后才允许T2执行。

  • 关注下方微信公众号，在线模考后查看

热门试题