欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
基于体系结构的软件开发方法以构件作为最小组装粒度，构件通过其自身定义的接口与外界进行交互。连接件作为一种特殊的构件，它主要负责管理构件之间信息的交换。构件与连接件之间通过接口进行数据的传递，因此，如何从体系结构层次上定义构件及连接件接口的交互规则是构件组装的关键所在。在现有动态体系结构描述框架的基础上，定义了端口以及通道的连接规则，并结合实际的案例，采用动态体系结构描述语言D-ADL进行描述，具体说明了这些规则的应用。从而为系统行为的形式化分析、验证和仿真奠定了基础。
英文摘要：
Components as the smallest granularity are used to composite the software systems in architecture - based software developing. And they communicate each other by their interfaces. As a special component, connectors also communicate with components by interface. Therefore, how to define the commmunication rule among components＇ interfaces on the level of architecture is the key to composite components. On the basis of dynamic architecture description framework, the joint rule among ports and channels was defined in this paper. At the same time, these rules are applied to an example and described with D-ADL. These would build up foundation of formal analyzing, examining and emulating the system＇s behaviours.
同期刊论文项目
同项目期刊论文
位置：