CAJ | 학술논문

针对普适计算环境中，由于普适服务主动性和情境驱动特征而引发的多服务之间的冲突问题，研究了普适服务冲突检测的方法。使用ECA规则描述普适服务逻辑，采用SWRL构建资源消耗和资源状态转换的规则，通过资源消耗和资源状态转换规则对服务行为进行语义分析，可以识别会产生冲突的服务行为，在此基础上发现和检测ECA规则的逻辑冲突，得到会发生冲突的ECA规则集。实例研究表明该方法能够发现多普适服务环境中部分服务逻辑的冲突，部分解决普适服务的冲突检测问题。
침대보괄계산배경중，유우보괄복무주동성화정경구동특정이인발적다복무지간적충돌문제，연구료보괄복무충돌검측적방법。사용ECA규칙묘술보괄복무라집，채용SWRL구건자원소모화자원상태전환적규칙，통과자원소모화자원상태전환규칙대복무행위진행어의분석，가이식별회산생충돌적복무행위，재차기출상발현화검측ECA규칙적라집충돌，득도회발생충돌적ECA규칙집。실례연구표명해방법능구발현다보괄복무배경중부분복무라집적충돌，부분해결보괄복무적충돌검측문제。
Focusing on the problem of ubiquitous service conflicts, which is caused by active and context-driven characteristics of ubiquitous service in ubiquitous computing environments, the ubiquitous service conflicts detection method is studied. The event-condition-action(ECA) rule is used to describe the service logic, and semantic web rule language(SWRL) is used to construct rules of resource consumption and resource state transition. By analyzing the semantic of the service behavior using resource consumption and resource state transition rules, conflict service behaviors are identified, on the basis of which logic conflicts of ECA rules are detected, and the set of conflicting ECA rules is acquired. Examples show that this method can detect parts of service logic conflicts and partly solve the ubiquitous service conflict detection problems in the ubiquitous service environment.