基于语义服务行为交互模型探索.docVIP

基于语义服务行为交互模型探索 　　【摘要】为了解决服务行为在执行交互时由于动态提出的语义信息不符而无法继续进行的问题，提出了将语义信息附加到服务行为中进行静态建模；通过针对不同类别的语义信息不符情况建立相对应的语义适配器；在附加的语义信息中添加同义词库和转换函数库的方法来保证服务行为在满足语义信息的情况下正常的完成交互。 　　【关键词】基于语义；服务行为；交互模型 　　1、分析行为交互中语义信息不匹配的类型 　　用Fn（）代表服务行为，Fn（）[En]代表附加语义信息的服务行为。在服务行为进行交互时，可能会出现语义等价、语义分解、语义合并、语义传递等情况，以上四种情况下语义适配器中的适配规则描述及对应举例如下： 　　（1）语义等价 　　E1.name= E1.name 　　F1=商品入库（商品）；[E1=质量语义信息=经过质量检查的商品] 　　F1=商品入库（商品）；[E1=质量语义信息=通过质检的商品] 　　R.商品入库（商品）[经过质量检查的产品] 　　{P.商品入库（商品）[通过质检的商品] 　　同时将“经过质量检查的产品”放进“通过质检的商品”的同义词库中；} 　　（2）语义组合 　　E1！= E1，E1= E1+ E2 　　F1=产品入库（商品）；[E1=质量语义信息=经过A部门或B部门质量检查的产品]。F1=产品入库（商品）；[E1=质量语义信息=经过A部门的质量检查的产品]。F2=产品入库（商品）；[E2=质量语义信息=经过B部门质量检查的产品]。R.产品入库（商品）；[质量语义信息=经过A部门或B部门质量检查的产品]。{P. 产品入库（商品）[质量语义信息=经过A部门的质量检查的产品]+ P. 产品入库（商品[质量语义信息=经过B部门的质量检查的产品]} 　　（3）语义分解 　　E1！= E1，E1+E2=E1 　　F1=产品入库（商品）；[E1=经过A部门的质量检查的产品]。F2=产品入库（商品）；[E2=经过B部门的质量检查的产品]。F1=产品入库（商品）；[E1=经过A部门或B部门质量检查的产品]。E11=经过A部门的质量检查的产品= E1。E12=经过B部门的质量检查的产品= E2。 　　Provide service： 　　P.产品入库（商品）[经过A部门或B???门质量检查的产品] 　　{if（经过A部门的质量检查的产品）{P.产品入库[经过A部门的质量检查的产品]}；if（经过B部门的质量检查的产品）{P.产品入库[经过B部门的质量检查的产品]}；} 　　Request service： 　　R. 产品入库[经过A部门的质量检查的产品] 　　{P. 产品入库[经过A部门的质量检查的产品]}；} 　　R. 产品入库[经过B部门的质量检查的产品] 　　{P. 产品入库[经过B部门的质量检查的产品]}；} 　　（4）语义传递 　　E1！= E1 E1=F2（E1） 　　F1（）=产品入库[E1=经过质量检查的产品] 　　F1（）=产品入库[E1=未经过质量检查的产品] 　　F2（）=对产品进行质量检查（如果F2在provide service中存在，则调用，并存储在E1对应的转换函数库中，如果不存在，则检查E1对应的转换函数库中是否有满足需要的转换函数。） 　　R.产品入库[产品经过质量检查] 　　{P.产品入库[经过质量检查的产品=对产品进行质量检查（未经过质量检查的产品）]；} 　　2、服务行为的静态表达 　　2.1建立服务行为的描述模型 　　服务中的一个服务行为表示为一个三元组：F= 　　1）I=是服务行为在执行交互时的输入信息。目标对象分为两种，la代表与其他服务的服务行为进行交互的输入信息。lc代表与同一服务的服务行为进行交互的输入信息。 　　2）O=是服务行为在执行交互时的输出信息。目标对象分为两种，Oa代表与其他服务的服务行为进行交互的输出信息。Oc代表与同一服务的服务行为进行交互的输出信息。 　　3）E=是附加在服务行为上的语义信息。Word代表语义信息链接的同义词库，若行为交互中语义信息不匹配的类型为语义不等价，首先就要查询同义词库，这样可以减少生成语义适配器的次数，从而提高服务行为交互效率。Func代表函数转换库，若行为交互中语义信息不匹配的类型为需要语义传递，首先要查询函数转换库中的函数是否能完成目标服务所需要的函数转换，同样起到减少生成语义适配器次数的作用。 　　2.2基于π演算的服务行为形式化建模 　　利用π演算已有的性质、定理、工具等对上述服务行为的描述模型进行表达和推演，以解决服务行为交互过程中需要解决的语义等价、语义组合、语义分解、语义传递等一系列问题，将服务行为的静态描述模型进一步封装成基