Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2013-11-08

Journal: 哈尔滨工程大学学报

Included Journals: Scopus、CSCD、ISTIC、PKU、EI

Volume: 34

Issue: 11

Page Number: 1402-1408

ISSN: 1006-7043

Key Words: 普适计算;ECA规则;SWRL;冲突检测

Abstract: 针对普适计算环境中，由于普适服务主动性和情境驱动特征而引发的多服务之间的冲突问题，研究了普适服务冲突检测的方法。使用ECA规则描述普适服务逻辑，采用SWRL构建资源消耗和资源状态转换的规则，通过资源消耗和资源状态转换规则对服务行为进行语义分析，可以识别会产生冲突的服务行为，在此基础上发现和检测ECA规则的逻辑冲突，得到会发生冲突的ECA规则集。实例研究表明该方法能够发现多普适服务环境中部分服务逻辑的冲突，部分解决普适服务的冲突检测问题。