计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2010年
8期
161-166,184
,共7页
林永兴%王鹏英%邱剑锋%徐海长%王玥
林永興%王鵬英%邱劍鋒%徐海長%王玥
림영흥%왕붕영%구검봉%서해장%왕모
语义服务%服务组合%描述逻辑%线性逻辑
語義服務%服務組閤%描述邏輯%線性邏輯
어의복무%복무조합%묘술라집%선성라집
介绍一种自动服务组合模型服务消息语义化匹配验证的方法.该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机.根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证.同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要.
介紹一種自動服務組閤模型服務消息語義化匹配驗證的方法.該方法先從服務描述中提取服務消息模型和服務行為模型,後將服務行為模型轉換為形式化的有限狀態自動機.根據有限狀態自動機中的服務接口可以轉化為本體概唸,服務行為可以轉換為線性邏輯錶達式描述,使用線性邏輯的縯繹方法對服務消息的匹配性和可滿足性進行驗證.同時,對線性邏輯的縯繹定理進行適噹擴展以適應服務組閤的需要.
개소일충자동복무조합모형복무소식어의화필배험증적방법.해방법선종복무묘술중제취복무소식모형화복무행위모형,후장복무행위모형전환위형식화적유한상태자동궤.근거유한상태자동궤중적복무접구가이전화위본체개념,복무행위가이전환위선성라집표체식묘술,사용선성라집적연역방법대복무소식적필배성화가만족성진행험증.동시,대선성라집적연역정리진행괄당확전이괄응복무조합적수요.
