普适服务冲突检测方法研究
Research on the ubiquitous service conflict detection method作者机构:大连理工大学系统工程研究所辽宁大连116024
出 版 物:《哈尔滨工程大学学报》 (Journal of Harbin Engineering University)
年 卷 期:2013年第34卷第11期
页 面:1402-1408页
核心收录:
学科分类:08[工学] 081203[工学-计算机应用技术] 0817[工学-化学工程与技术] 0807[工学-动力工程及工程热物理] 0827[工学-核科学与技术] 0802[工学-机械工程] 0703[理学-化学] 0825[工学-航空宇航科学与技术] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 0801[工学-力学(可授工学、理学学位)]
基 金:国家自然科学基金资助项目(70771017 71271038)
摘 要:针对普适计算环境中,由于普适服务主动性和情境驱动特征而引发的多服务之间的冲突问题,研究了普适服务冲突检测的方法.使用ECA规则描述普适服务逻辑,采用SWRL构建资源消耗和资源状态转换的规则,通过资源消耗和资源状态转换规则对服务行为进行语义分析,可以识别会产生冲突的服务行为,在此基础上发现和检测ECA规则的逻辑冲突,得到会发生冲突的ECA规则集.实例研究表明该方法能够发现多普适服务环境中部分服务逻辑的冲突,部分解决普适服务的冲突检测问题.