工业控制计算机
工業控製計算機
공업공제계산궤
INDUSTRY CONTROL COMPUTER
2011年
4期
73-74,77
,共3页
服务组合%描述逻辑%线性逻辑
服務組閤%描述邏輯%線性邏輯
복무조합%묘술라집%선성라집
介绍一种服务组合模型中服务消息语义化匹配验证的方法.该方法先介绍基于服务行为模型的服务组合,并将其转换为形式化的有限状态自动机.利用有限状态自动机中服务行为可以转换为线性逻辑表达式描述的原理,使用线性逻辑的演绎方法对服务消息的匹配性可满足性进行验证.
介紹一種服務組閤模型中服務消息語義化匹配驗證的方法.該方法先介紹基于服務行為模型的服務組閤,併將其轉換為形式化的有限狀態自動機.利用有限狀態自動機中服務行為可以轉換為線性邏輯錶達式描述的原理,使用線性邏輯的縯繹方法對服務消息的匹配性可滿足性進行驗證.
개소일충복무조합모형중복무소식어의화필배험증적방법.해방법선개소기우복무행위모형적복무조합,병장기전환위형식화적유한상태자동궤.이용유한상태자동궤중복무행위가이전환위선성라집표체식묘술적원리,사용선성라집적연역방법대복무소식적필배성가만족성진행험증.
