%0 Journal Article
%T An Interface Model for Service-Oriented Software Architecture
面向服务软件体系结构的接口模型
%A CHEN Zhen-Bang
%A WANG Ji
%A DONG Wei
%A QI Zhi-Chang
%A
陈振邦
%A 王戟
%A 董威
%A 齐治昌
%J 软件学报
%D 2006
%I
%X 服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的接口进行描述,然后提出了服务接口在3个层面的相容性和可替换性条件,并针对会话接口和协议接口提出了接口规约及其验证方法.该接口模型不仅能够支持准确的事务信息描述,而且还支持灵活、有效的接口规约验证.
%K service-oriented software architecture
%K interface
%K transaction
%K compensation
%K compatibility
%K substitutivity
%K interface specification
面向服务软件体系结构
%K 接口
%K 事务
%K 补偿
%K 相容性
%K 可替换性
%K 接口规约
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=76E6C3234362AC14&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=B31275AF3241DB2D&sid=AA170179913DEBCD&eid=D553E127EB64CF12&journal_id=1000-9825&journal_name=软件学报&referenced_num=9&reference_num=14