论文部分内容阅读
针对普适计算环境中,由于普适服务主动性和情境驱动特征而引发的多服务之间的冲突问题,研究了普适服务冲突检测的方法.使用ECA规则描述普适服务逻辑,采用SWRL构建资源消耗和资源状态转换的规则,通过资源消耗和资源状态转换规则对服务行为进行语义分析,可以识别会产生冲突的服务行为,在此基础上发现和检测ECA规则的逻辑冲突,得到会发生冲突的ECA规则集.实例研究表明该方法能够发现多普适服务环境中部分服务逻辑的冲突,部分解决普适服务的冲突检测问题.
Aiming at the problem of pervasive service conflict caused by pervasive service initiative and situation-driven feature in multi-service, this paper studies pervasive service conflict detection using ECA rules to describe pervasive service logic and SWRL Resource consumption and resource state transition rules, semantic analysis of service behaviors through resource consumption and resource state transition rules can identify the service behaviors that will generate conflicts, and based on this, discover and detect the logical conflict of ECA rules and obtain the conflict The ECA rule set is obtained.The case study shows that this method can find some service logic conflicts in DPS environment and partially solve the problem of pervasive service conflict detection.