软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2006年
6期
1459-1469
,共11页
陈振邦%王戟%董威%齐治昌
陳振邦%王戟%董威%齊治昌
진진방%왕극%동위%제치창
面向服务软件体系结构%接口%事务%补偿%相容性%可替换性%接口规约
麵嚮服務軟件體繫結構%接口%事務%補償%相容性%可替換性%接口規約
면향복무연건체계결구%접구%사무%보상%상용성%가체환성%접구규약
服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的接口进行描述,然后提出了服务接口在3个层面的相容性和可替换性条件,并针对会话接口和协议接口提出了接口规约及其验证方法.该接口模型不仅能够支持准确的事务信息描述,而且还支持灵活、有效的接口规约验证.
服務接口描述是麵嚮服務軟件體繫結構描述的關鍵問題之一,形式化描述方法是保證服務接口描述準確性的重要手段.目前的接口模型併不支持事務信息的描述.通過對已有Web服務接口模型進行擴展,提齣瞭通過錯誤處理和補償支持事務信息描述的接口模型,能夠分彆在特徵層、會話層和協議層3箇層麵對服務的接口進行描述,然後提齣瞭服務接口在3箇層麵的相容性和可替換性條件,併針對會話接口和協議接口提齣瞭接口規約及其驗證方法.該接口模型不僅能夠支持準確的事務信息描述,而且還支持靈活、有效的接口規約驗證.
복무접구묘술시면향복무연건체계결구묘술적관건문제지일,형식화묘술방법시보증복무접구묘술준학성적중요수단.목전적접구모형병불지지사무신식적묘술.통과대이유Web복무접구모형진행확전,제출료통과착오처리화보상지지사무신식묘술적접구모형,능구분별재특정층、회화층화협의층3개층면대복무적접구진행묘술,연후제출료복무접구재3개층면적상용성화가체환성조건,병침대회화접구화협의접구제출료접구규약급기험증방법.해접구모형불부능구지지준학적사무신식묘술,이차환지지령활、유효적접구규약험증.