文档介绍：维普资讯
年月安徽大学学报自然科学版 ∞
第卷第期．．
体系结构描述语言— —
一．，张久彪安伦斌弋
关键词软件佳系结构．元件连轰接器．体萎系蒹结构互联实现了结构设计幅靴上厶一
，
。引弓：言髅号硎” 工链 ⋯丁，『乙，
传统的模块互联语言和接口定义语言提供了描述接口计算单元和模块合
成技巧功能。使之易于管理大型软件系统的分解，而且通过对每个模块的特性理解来了
解整体特性。
／的设计一个关键问题是结合的性质。目前采用基于定义，调用组合的合成形
式。在这个模型中，模块定义是指提供给其它模块使用的一系列功能，模块调用是指使用
其它模块提供的功能。结合的目标是解决定义调用的关系。该模型能很好的映射到当
前的编程语言这些功能支持过程调用和数据共享，同时支持自动检查如类型检查和
形式推理如根据前导或后续条件。
然而。基于定义／调用的／不能区分模块问的关系“实现”与“交互”。它们仅适
合定义，调用依赖性描述系统及实现关系，而不适于描述体系结构交互计算组件之同通
讯的性质。在模型里，计算组件和其它组件使用良好定义的通汛线路，即连接
器。连接器定义成具有所期望的模块问通讯模式的协议。这将导出一个更加适合体系结
构关系的方案，它允许模块交互的形式化定义，并支持它自己的自动检查和形式化推理。
实现与交互
在系统设计级上。模块间的“实现”关系是指一个特定的模块在其它模块提供的功能
上定义如一个模块可能需要引入字符串包以用来实现内部数据表示。模块间的“交互”
关系是指模块之间通讯，系统描述成一系列计算组件和组件间的连接。交互关系通常用
— 、管道过滤器组织或事件广播通讯等术语描述。这些描述将组件看成独立的
实体