%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