基于组合连接器的潜在无限动态结构的规范

Specification for Potentially Unbounded Dynamic Structure Using Composite Connector

动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。

A critical issne for complex software architecture design is modeling and analysis of dynamic architecture. This paper argues for an approach to specification of potentially unbounded dynamic structure based on Wright, an architecture description language. To support incursion mechanisms in software architecture specification, it identifies the concepts of composite connector and dynamic role, and illustrates how it can be used to create dynamic extension of structure. It provides mechanisms for designing dynamic architecture in an incremental way, and is available for architectnral connectors reuse.