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