解放军理工大学学报（自然科学版）
解放軍理工大學學報（自然科學版）
해방군리공대학학보（자연과학판）
JOURNAL OF PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION)
2013年
2期
182-189
,共8页
范大娟%黄志球%李清%陈哲%柯昌博
範大娟%黃誌毬%李清%陳哲%柯昌博
범대연%황지구%리청%진철%가창박
Web服务%行为路径%相容性%语义接口协议扩展的DFA
Web服務%行為路徑%相容性%語義接口協議擴展的DFA
Web복무%행위로경%상용성%어의접구협의확전적DFA
针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法.通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在此基础上,给出了服务之间3种相容性的形式化定义.利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性,并计算其相容度证明了该方法的正确性,通过实例分析表明了方法的有效性.
針對已有方法不支持同時對服務的語義、接口和協議層進行相容性分析的問題,提齣瞭一種基于語義、接口和協議信息的服務相容性分析及相容度計算方法.通過對確定有限自動機DFA進行語義接口協議擴展以建模服務的語義、接口和協議信息,在此基礎上,給齣瞭服務之間3種相容性的形式化定義.利用服務之間行為路徑對的對偶關繫來分析2箇服務之間的相容性,併計算其相容度證明瞭該方法的正確性,通過實例分析錶明瞭方法的有效性.
침대이유방법불지지동시대복무적어의、접구화협의층진행상용성분석적문제,제출료일충기우어의、접구화협의신식적복무상용성분석급상용도계산방법.통과대학정유한자동궤DFA진행어의접구협의확전이건모복무적어의、접구화협의신식,재차기출상,급출료복무지간3충상용성적형식화정의.이용복무지간행위로경대적대우관계래분석2개복무지간적상용성,병계산기상용도증명료해방법적정학성,통과실례분석표명료방법적유효성.
