浙江省科技厅项目(2010C31002)
- 作品数：3 被引量：6H指数：2
- 相关作者：肖刚张元鸣陆佳炜高飞徐俊更多>>
- 相关机构：浙江工业大学更多>>
- 发文基金：浙江省科技厅项目国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种利用功能驱动的构件组装方法研究被引量：2
- 2012年
- 从构件组装研究背景出发,提出一种利用功能驱动的构件组装方法,该方法是建立在一种有向图表示的软件体系结构模型上,以构件为基本元素,以用户的功能需求为驱动目标,以构件连通度和功能冗余度为评价指标,达到构件的自动组装并能提供满足用户需求期望的软件实体.最后根据构件的邻接矩阵和可达矩阵设计了一种组装算法,并给出了实验仿真结果.
- 徐俊王永兴张元鸣陆佳炜肖刚
- 关键词：软件体系结构有向图
- 管理导向的软件产品族变化性建模方法研究被引量：3
- 2011年
- 控制和管理软件产品族变化性对提高软件复用性、满足用户多变需求具有重要意义.提出一种管理导向的软件产品族变化性建模(Management-oriented variability modeling,MOVM)方法,该方法以变化性管理为指导,贯穿于整个软件产品族变化性生命周期以及反馈演化过程,对各阶段设计相应的策略以支持变化性建模,并提出了核心资产配置框架服务于软件产品开发,迭变元素驱动家族模型的演化进程,克服了传统方法未关注模型演化的缺陷.最后,结合一个应用实例说明了MOVM方法的可行性和有效性.
- 张元鸣肖刚王培军高飞陆佳炜
- 关键词：软件产品族管理导向
- 基于逻辑推理的构件行为片段提取与重组研究被引量：1
- 2012年
- 从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。
- 徐俊肖刚张元鸣高飞方赵林
- 关键词：Π演算逻辑推理
