软件体系结构中接口连接规则研究.pdfVIP

维普资讯 第 l8卷．第8期 计 算 机 技 术 与发 展 Vo1．18 No．8 2008年 8月 CoM UTERTECHNOLOGY ANDDEVELOPMENT Aug． 2008 软件体系结构中接 口连接规则研究 何频捷，李 伟，李玉龙，李长云 (湖南工业大学，湖南株洲 412008) 摘 要：基于体系结构的软件开发方法以构件作为最小组装粒度，构件通过其 自身定义的接 口与外界进行交互。连接件 作为一种特殊的构件，它主要负责管理构件之间信息的交换。构件与连接件之间通过接 口进行数据的传递，因此，如何从 体系结构层次上定义构件及连接件接口的交互规则是构件组装的关键所在。在现有动态体系结构描述框架的基础上，定 义了端口以及通道的连接规则，并结合实际的案例 ，采用动态体系结构描述语言D—ADL进行描述 ，具体说 明了这些规则 的应用。从而为系统行为的形式化分析、验证和仿真奠定了基础。 关键词：软件体系结构 ；接 口；D—ADL；连接规则 中图分类号：P311．52 文献标识码 ：A 文章编号：1673—629X(2008)08—0121—05 ResearchonInterfaceConnectingRuleinSoftwareArchitceture HEPin-jie，LIWei，LIYu—long，LIChang-yun (HunanUniversityofTechnology。Zhuzhou412008，China) Abstract：Componentsasthesmallestgranularityareusedtocompositethesoftwaresyst~ inarchitecture—basedosfwt aredeveloping． Andtheycommunicateeachohterbytheirinterfaces．Asaspecialcomponent，corlnecotl~alsoctxnmtmicatewithcomportnetsbyintre． face．Threefore，how otdefinehteectam~ icatoinruleamong componnets’niterfacesonhtelevelofarchitectureisthekeytocomp~ite components．Onthehaspsofdynamicarchitecturedescriptionframework，thejointruleamong portsandchannelswasdefinedinthispa． per．Athtess~trletime，theserulesareappliedtoarIexampleanddescribedwithD—ADL．Th esewouldbuildupfoundationofformalan． alyzing ，examining andemulating thesystme ’Sbehaviours． Keywords：sofwt arearchitecture；interface；D—ADL；oonneetingurle O 引 言 个独立的计算逻辑实体，可以是一个程序模块，也可以 目前，基于体系结构的软件开发方法越来越被人 是一个独立的系统。连接件可以被看作一种特殊的构 们所关注。它以构件作为最小的组装粒度，通过大量 件 ，可以是过程调用、管道、远程过程调用等，用于表示 复用经过实践的体系结构以及标准化构件来提高软件 构件之间的相互作用。约束一般为对象连接