复合服务选择工具设计.docVIP

复合服务选择工具设计 系统输入 流程结构——by BPD BPMN或BPEL文件 流程属性表——by BPD 属性名 Weight MAX MIN Price RTime SRate Reputation 可选服务——by UDDI 属性聚合函数表 属性名 Positive EPath SubPaht 操作 系数 操作 系数 Price 0 SUM RTime 0 MAX SRate 1 PRODUCT Reputation 1 SUM 系统输出 系统输出可以分成3部分 目标表达式( max ……) 约束条件表达式 约束条件表达式由属性约束条件，线性化约束条件，和默认约束条件构成。 QOS约束条件，是根据聚合函数生成的属性的表达式（eg. p=……） 线性化约束条件，是由于将多项式线性化而产生的约束条件。 默认约束条件，每个可选服务中有且仅有一个被选中。 变量类型说明(INT x11, free p……) 算法 算法的关键可分成三步：一生成目标表达式（2.1）；二生成QOS约束条件（2.2.1）；三线性化并生成线性化约束条件（2.2.2）。 目标表达式 首先，在一条执行路径中，根据公式 对其中的每一项，将的表达式带入并整理可得的： 当positive为1时, 该表达式为 当positive为0时, 该表达式为 两式中，前项为常数项，后项为a的多项式。经过累加运算，每个式子中的前项相加构成了中的常数项，后项相加够成了中的带有变量的项。 再考虑不同执行路径的执行概率，以positive为1的情况为例，表达式变为，其中为第j条执行路径的执行概率。 因为各条执行路径的概率和为1，经累加后常数项的值与概率无关。 另外，在算法的线性化过程中可以发现如下规律：当操作中出现乘积时，线性化后f中的max, min都以其ln值带入计算。因此，对于对每个QOS属性的1.2表进行预处理，若其1.4表中的操作出现乘积，则将对应的1.2表中的max, min用其ln值进行替换。 常数项： For (用户关心的每一个QOS属性i) { double con = 0; if (i.positive =1) // positive根据1.4中的表查 con += // w, max, min的值根据1.2中的表查 else con += } 非常数项： 非常数项表达式与常数项类似。 另外，需要根据执行路径和QOS属性生成非常数项中的变量a。同一执行路径中不同QOS属性的聚集函数表达式不同。不同执行路径中抽象服务的集合不同，因此同一QOS属性在不同执行路径中聚合函数的表达式也不同，所以为每条执行路径中的每个QOS属性分别生成不同的变量（使用变量表进行管理）。 For(每条执行路径j) For (用户关心的每一个QOS属性i) { double con = 0; if (i.positive =1) // positive根据1.4中的表查 con += else con += } 非常数项即为在lingo软件中输入的max目标表达式。 QOS约束条件 对每条执行路径上的每个QOS属性，生成其对应的聚合函数表达式。 关联规则表 关联规则表是根据下述定理，在某一执行路径的可选服务范围内，对服务的每个QOS属性生成的关联规则。 同一可选服务在不同执行路径下的关联规则不同，因为不同执行路径中的可选服务集不同，而关联规则与可选服务集RS相关。因此对每一执行路径中的可选服务，生成不同的关联规则表。 服务QOS属性：Price 可选服务 规则 Value () FS1 —— 0.2 FS2 —— 0.25 FS2 X21 0.15 …… …… …… 对于QOS属性price，sRate, rTime分别生成对应的关联规则表。 对执行路径i上的每个可选服务j，生成关联规则的算法如下： 输入：服务质量描述模型，执行路径i，QOS属性a 输出：关联规则 算法：For (执行路径i上的每一个可选服务j) For (服务j的关于QOS属性a的描述规则rule) { getExpression(rule) } getExpression(rule)可看成一个rule的编译器，其中rule为形如”DBLocation = USA”的字符串。 QOS约束条件表 此表是根据QOS属性的聚合函数生成的QOS属性的多项式表达式， 属性对应的变量 符号 多项式表达式 Price = rTime SRate = Reputation = 根据公式： 若QOS属性的聚合函数中含有乘操作，则实际带入计算的变量为lnq,化简后