互斥约束工作流可满足性决策的匹配剪枝模式回溯法
2019-01-08翟治年卢亚辉王中鹏吴茗蔚
中国机械工程 2018年24期
关键词:资源
翟治年 卢亚辉 万 健,3 王中鹏 吴茗蔚
1.浙江科技学院信息与电子工程学院,杭州,310023 2.深圳大学计算机与软件学院,深圳,518060 3.复杂系统建模与仿真教育部重点实验室,杭州,310018
0 引言
云制造是一种面向服务的网络化制造新模式,它将分布式制造资源通过云平台集约化运营,使客户可根据需求灵活租用资源,快速组织定制化的生产。在这种模式下,资源的多源性和虚拟性给客户的业务过程带来了更严重的安全隐患。
云制造业务依赖于平台的服务注册、匹配、组合、执行等支撑功能[1]。通常,制造需求可分解为若干有序的步骤,形成一个工作流。对它进行授权规划,根据每个步骤的制造功能要求,在注册服务中进行搜索,为其匹配若干候选的服务资源。由于同一步骤的候选服务功能相同,因此须根据客户的非功能需求进行服务组合,即定义服务质量优化目标和约束条件,求解相应的资源分配问题,为每个步骤指定唯一的执行服务。服务组合是满足客户需求的关键。不过,有关研究多强调一定业务指标或系统特性的优化,例如完工时间、资源利用率、可靠性等[2-4],而忽略了业务的安全性要求。特别地,服务提供者在完成步骤时可获取相关业务数据,有非法使用的可能。然而服务由大量第三方以虚拟资源形式提供,客户很难对提供者进行有效鉴别。为了降低有关安全隐患,客户往往需要在特定步骤之间施加某种职责分离约束,例如禁止关键零件的加工步骤使用同一执行服务,以免产品设计被组合破解。……
登录APP查看全文
