技术框架与会话管理.docVIP

第3节 协同控制 本节内容 技术框架 会见管理 访问控制 共享控制 同步控制 协同感知 一 技术框架 1基本概念 成员 成员 成员 成员 控制对象：协作实体和协作关系 实体：主体：群组成员 客体：目标、任务、数据、活动、事件… 关系：主体-主体；主体-客体；客体-客体 控制目标：使协作进程有序（成员管理、访问控制、共享/并发控制、沟通…） 控制方法：建立协同机制，包括 ①协同规则集合： 协同规则描述协作事件之间的逻辑关系 规则形式：ECA规则（on事件if条件then动作[方式、例外处理]） 例：on被叫电话铃响if铃响持续时间5秒then 自动断开连接 事件：现象发生、状态变化、…（真、假） 条件：数值表达式 动作方式：自动执行/交互执行； 本地执行/远程执行 同步执行/异步执行 例外处理---用于故障处理和进程恢复 规则执行：匹配事件→ 匹配条件→ 执行动作 ②规则执行机制： 规则执行方向控制： 正向（匹配条件→执行动作） 数据驱动，可能匹配多个动作 反向（匹配动作→证实条件） 事件驱动 规则执行顺序控制：（条件/无条件）串行、并行、选择、循环； 规则例外处理 … ③协同管理机制： 成员身份鉴别、授权、访问控制 共享空间管理（任务、数据、中间结果/状态的存储、一致性维护、并发控制） 共享感知管理 … ④协同通信机制： 本地通信/远程通信 同步通信/异步通信 点-点通信/广播/组播 推/拉消息传送； … 事件的类型： 按内容分类 时间事件（特定时间、某个时间之后、周期性、…） 空间事件（本地事件、远程事件） 状态事件（等待、激活、挂起、完成、禁止…） 进程事件（顺序、并发…） 成员事件（谁、什么时间、什么地点、做什么、为什么…） … 按执行方法分类：自动事件/交互事件 按事件来源分类：内部事件/外部事件 按构造成分分类：原子事件、复合事件（逻辑组合） 例：on被叫铃响and 呼叫保持if铃响持续时间5秒then 提示无人接听 ECA规则 and 需要事件库和事件复合机制 2 协同技术框架 3 影响协同机制选择的主要因素 ①协作模式：协同目标决定协同模式 → 面向人际沟通/面向问题求解过程 群体组织、成员心态、行为习惯、自治程度、┅ 沟通方式：主动感知/被动感知、显式感知/隐式感知、同步感知/异步感知…； ②响应时间 响应速度 → 决定协作的和谐程度 控制复杂性 → 决定响应时间 → 和谐程度 需要综合考虑 二 会见管理 1 基本概念 会见(Meeting—会见/会合/会议)： 成员会见（加入、退出、角色分配、任务分配…） 会话管理(Session)：建立并保持连接的过程 会见管理(Meeting Management)： 成员注册管理（添加、删除、审计…） 协作任务管理 分配角色/任务 — 参加一个组 创建/发布任务 — 发起一个组 … 数据一致性管理---打开、关闭或保存数据时，保证多副本的逻辑一致性 迟到者问题 ---- 记录历史和要点回放（提高效率） 早退者问题 ---- 任务挂起/继续、转移授权… 2 任务分配机制 – 合同网模型 仿真经济活动中的招标—投标—中标（合同）机制 通过竞争和谈判分配任务。公开、公平、公正 合同网 ：：= 任务分配网络 三类结点： 任务管理者（招标者）：任务的拥有者，负责任务规划、分解、发布、分配（评价并选择任务承担者）…； 任务竞争者（投标者）：所有潜在的任务竞争者，自愿承担全部任务/部分任务； 发布任务 --发标；选择承担者 – 评标 竞争任务、提供求解方案和承诺 --- 投标 任务承担者（中标者）：签订任务合同的任务竞争者 投标值(Bids)作为任务分配的控制变量，选择一个或多个中标者。 多个中标者通过共享任务、资源、结果，合作完成一项任务。 任务分配过程： ⑴任务管理者公布任务（广播招标或邀标），包括任务描述、求解约束、合格的任务竞争者条件… (招标 )； ⑵任务竞争者根据任务要求、自己的能力和资源，向任务管理者报送自己的投标值（资质、方案、条件、工期、承诺…）（投标）； ⑶任务管理者评估收到的所有投标值（评标），选出最合适的一个或多个投标者授予任务（中标）； ⑷ 签订任务合同； ⑸中标者执行合同并向任务管理者提交执行结果