浙江省重点科技计划(2004C11053)
- 作品数:4 被引量:32H指数:2
- 相关作者:董金祥尹建伟吴朝晖李莹李长云更多>>
- 相关机构:浙江大学北京神舟航天软件技术有限公司更多>>
- 发文基金:浙江省重点科技计划浙江省科技攻关计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 支持动态调度的工作流D-Flow Engine的设计与实现被引量:1
- 2007年
- 基于流程与活动两个级别考虑,提出支持动态调度的工作流D-Flow Engine;从动态路由和流程多版本方面分析了其动态调度特性。通过在流程建模阶段扩展工作流管理联盟的工作流元模型相关定义,重点分析了动态路由和多版本流程迁移在流程运行阶段的调度实现。实践表明,D-Flow Engine提高了工作流的适应性,满足了企业对工作流动态性的需求。
- 施勇尹建伟周勇军董金祥
- 关键词:工作流动态性元模型
- 基于超图的软件产品线形式化模型
- 2007年
- 特征建模通过领域分析确定共同特征和可变特征,为软件产品开发参与人员提供了领域内唯一可确定的抽象。特征地图及其元模型对特征模型进行扩展,支持特征选取确定可复用框架之上的资产制品快速定位和组装,生成满足依赖关系和约束条件的软件产品家族。通过为特征地图及其元模型分别建立语义超图形式化模型,并提供语义跳转机制实现语义层次之间语义信息的关联,构成纵横交错的语义结构,可满足软件产品线语义多样性表达和一致性验证的需求。
- 李弈远尹建伟高鹏董金祥
- 关键词:元模型超图语义层次
- 面向JMS消息中间件的安全协议MSTP被引量:2
- 2007年
- 针对JMS规范和消息中间件的特点,提出面向JMS消息中间件的安全协议MSTP(包括消息传输协议、认证协议、审计协议、分布式信任协议),为解决消息中间件的安全问题提供了一个可选的方案.在具有自主知识产权的JTang应用服务器上的实验表明,MSTP有效地保障了消息传输和存储的安全,并达到较小的时间开销与可接受的性能.
- 王佳琳尹建伟董金祥
- 关键词:消息中间件JAVA消息服务
- 一个面向服务的支持动态演化的软件模型被引量:29
- 2006年
- 为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的软件模型SASM.SASM是使用反射技术,通过具有因果相联的基层和元层来构造.基层由可运行的服务形成,元层是一个具备树形层次、层间存在求精关系的体系结构空间.该空间反映了需求的层次性,提供给用户不同抽象级别的视图和管理手段.通过对体系结构空间的观察,可获知系统的结构和行为信息.通过对体系结构空间的在线调整可实现对基层的修改进而实现系统的非预设动态演化,而空间中不同层次之间的求精关系保证了应用的完整性和演化的一致性.
- 李长云李莹吴健吴朝晖
- 关键词:软件体系结构
- 基于超图的软件产品线形式化模型
- 特征建模通过领域分析确定共同特征和可变特征,为软件产品开发参与人员提供了领域内唯一可确定的抽象。特征地图及其元模型对特征模型进行扩展,支持特征选取确定可复用框架之上的资产制品快速定位和组装,生成满足依赖关系和约束条件的软...
- 李弈远尹建伟高鹏董金祥
- 关键词:元模型超图语义层次
- 文献传递