许毅
- 作品数:3 被引量:13H指数:2
- 供职机构:复旦大学信息科学与工程学院计算机科学系更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 通用连接器模型及其形式化推导研究被引量:3
- 2005年
- 基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法,给出了通用连接器模型的形式化推导、验证,从而为分析连接器行为,支持连接器自动生成奠定了基础.
- 许毅赵文耘彭鑫张志
- 关键词:软件体系结构连接器体系结构描述语言通信顺序进程
- 基于软件体系结构的版本管理模型的研究
- 软件配置管理是软件开发中的一项基本支持活动,是卡内基梅隆大学软件工程研究所SEI提出的软件能力成熟度模型CMM第二级的一个关键过程域。软件配置管理的目标是在软件生命周期中建立和维护软件项目工作产品的完整性。而版本管理模型...
- 许毅
- 关键词:配置管理事务管理过程管理软件开发
- 文献传递
- 基于通用连接器模型的复合构件的组装被引量:10
- 2006年
- 基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色。现有的连接器模型只能支持特定软件体系结构风格的组装,该文针对构件组装的核心问题:构件间交互的不匹配,采用复合构件组装的方法,提出一种通用连接器模型用以对不同连接器模型进行描述。给出4种复合构件组装机制及各种机制的组装方式,并对复合构件进行扩展,使其具有动态性,能较方便地实现动态体系结构。
- 许毅彭鑫赵文耘
- 关键词:软件体系结构连接器