普适服务冲突检测方法的研究.pdfVIP

第３４卷第 １１期　 　 　 　 　 　 　 　 　 　 　 哈　 尔　 滨　 工　 程　 大　 学　 学　 报　 　 　 　 　 　 　 　 　 　 Ｖｏｌ．３４ №．１１ ２０１３年１１月　 　 　 　 　 　 　 　 　 　 Ｊｏｕｒｎａｌ ｏｆ Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ 　 　 　 　 　 　 　 　 　 　 　 Ｎｏｖ．２０１３ 普适服务冲突检测方法研究 卢涛，刘晓伶 （大连理工大学 系统工程研究所，辽宁 大连 １１６０２４） 摘　 要：针对普适计算环境中，由于普适服务主动性和情境驱动特征而引发的多服务之间的冲突问题，研究了普适服务 冲突检测的方法．使用ＥＣＡ规则描述普适服务逻辑，采用ＳＷＲＬ构建资源消耗和资源状态转换的规则，通过资源消耗和 资源状态转换规则对服务行为进行语义分析，可以识别会产生冲突的服务行为，在此基础上发现和检测ＥＣＡ规则的逻 辑冲突，得到会发生冲突的ＥＣＡ规则集．实例研究表明该方法能够发现多普适服务环境中部分服务逻辑的冲突，部分解 决普适服务的冲突检测问题． 关键词：普适计算；ＥＣＡ规则；ＳＷＲＬ；冲突检测 ｄｏｉ：１０．３９６９／ ｊ．ｉｓｓｎ．１００６⁃７０４３．２０１２１１０４９ 网络出版地址：ｈｔｔｐ：／ ／ ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ ｋｃｍｓ／ ｄｅｔａｉｌ／ ２３．１３９０．Ｕ１３１２．００４．ｈｔｍｌ 中图分类号：ＴＰ３９１　 文献标志码：Ａ　 文章编号：１００６⁃７０４３（２０１３）１１⁃１４０２⁃０７ Ｒｅｓｅａｒｃｈ ｏｎ ｔｈｅ ｕｂｉｑｕｉｔｏｕｓ ｓｅｒｖｉｃｅ ｃｏｎｆｌｉｃｔ ｄｅｔｅｃｔｉｏｎ ｍｅｔｈｏｄ ＬＵＴａｏ，ＬＩＵ Ｘｉａｏｌｉｎｇ （Ｓｙｓｔｅｍ Ｅｎｇｉｎｅｅｒｉｎｇ Ｉｎｓｔｉｔｕｔｅ，Ｄａｌｉａｎ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ，Ｄａｌｉａｎ １１６０２４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｆｏｃｕｓｉｎｇ ｏｎ ｔｈｅ ｐｒｏｂｌｅｍ ｏｆ ｕｂｉｑｕｉｔｏｕｓ ｓｅｒｖｉｃｅ ｃｏｎｆｌｉｃｔｓ，ｗｈｉｃｈ ｉｓ ｃａｕｓｅｄ ｂｙ ａｃｔｉｖｅ ａｎｄ ｃｏｎｔｅｘｔ⁃ｄｒｉｖｅｎ ｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｕｂｉｑｕｉｔｏｕｓｓｅｒｖｉｃｅｉｎｕｂｉｑｕｉｔｏｕｓｃｏｍｐｕｔｉｎｇｅｎｖｉｒｏｎｍｅｎｔｓ，ｔｈｅｕｂｉｑｕｉｔｏｕｓｓｅｒｖｉｃｅｃｏｎｆｌｉｃｔｓｄｅｔｅｃｔｉｏｎ ｍｅｔｈｏｄ ｉｓ ｓｔｕｄｉｅｄ． Ｔｈｅ ｅｖｅｎｔ⁃ｃｏｎｄｉｔｉｏｎ⁃ａｃｔｉｏｎ（ＥＣＡ） ｒｕｌｅ ｉｓ ｕｓｅｄ ｔｏ ｄｅｓｃｒｉｂｅ ｔｈｅ ｓｅｒｖｉｃｅ ｌｏｇｉｃ，ａｎｄ ｓｅｍａｎｔｉｃ ｗｅｂ ｒｕｌｅ ｌａｎｇｕａｇｅ（ＳＷＲＬ） ｉｓｕｓｅｄｔｏｃｏｎｓｔｒｕｃｔｒｕｌｅｓｏｆｒｅｓｏｕｒｃｅｃｏｎｓｕｍｐｔｉｏｎａｎｄｒｅｓｏｕｒｃｅｓｔａｔｅｔｒａｎｓｉｔｉｏｎ．Ｂｙ ａｎａｌｙｚｉｎｇ ｔｈｅ ｓｅｍａｎｔｉｃ ｏｆ ｔｈｅ ｓｅｒｖｉｃｅ ｂｅｈａｖｉｏｒ ｕｓｉｎｇ ｒｅｓｏｕｒｃｅ ｃｏｎｓｕｍｐｔｉｏｎ ａｎｄ ｒｅｓｏｕｒｃｅ ｓｔａｔｅ ｔｒａｎｓｉｔｉｏｎ ｒｕｌｅｓ，ｃｏｎｆｌｉｃｔ ｓｅｒｖｉｃｅ ｂｅｈａｖｉｏｒｓ ａｒｅ ｉｄｅｎｔｉｆｉｅｄ，ｏｎ ｔｈｅ ｂａｓｉｓ ｏｆ ｗｈｉｃｈ ｌｏｇｉｃ ｃｏｎｆｌｉｃｔｓ ｏｆ ＥＣＡ ｒｕｌｅｓ ａｒｅ ｄｅｔｅｃｔｅｄ，ａｎｄ ｔｈｅ ｓｅｔ ｏｆ ｃｏｎｆｌｉｃｔｉｎｇ ＥＣＡ ｒｕｌｅｓ ｉｓ ａｃｑｕｉｒｅｄ． Ｅｘａｍｐｌｅｓ ｓｈｏｗ ｔｈａｔ ｔｈｉｓ ｍｅｔｈｏｄ ｃａｎ ｄｅｔｅｃｔ ｐａｒｔｓ ｏｆ ｓｅｒｖｉｃｅ ｌｏｇｉｃ ｃｏｎｆｌｉｃｔｓ ａｎｄ ｐａｒｔｌｙ ｓｏｌｖｅ ｔｈｅ ｕｂｉｑｕｉｔｏｕｓ ｓｅｒｖｉｃｅ ｃｏｎｆｌｉｃｔ ｄｅｔｅｃｔｉｏｎ ｐｒｏｂｌｅｍｓ ｉｎ ｔｈｅ ｕｂｉｑｕｉｔｏｕｓ ｓｅｒｖｉｃｅ ｅｎｖｉｒｏｎｍｅｎｔ． Ｋｅｙｗｏｒｄｓ：ｕｂｉｑｕｉｔｏｕｓ ｃｏｍｐｕｔｉｎｇ；ＥＣＡ ｒｕｌｅ；ＳＷＲＬ；ｃｏｎｆｌｉｃｔ ｄｅｔｅｃｔｉｏｎ 　 　 普适计算是 Ｍａｒｋ Ｗｅｉｓｅｒ 在 １９９１年提出的设