陕西省自然科学基金(2005F46)
- 作品数：3 被引量：20H指数：1
- 相关作者：董云卫郝克刚李涛更多>>
- 相关机构：西北工业大学西北大学更多>>
- 发文基金：陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 乐观嵌套工作流事务模型的形式化描述
- 2006年
- 本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。
- 董云卫郝克刚
- 关键词：工作流事务形式化描述
- 一种基于AOSD的工作流管理系统的实现被引量：1
- 2006年
- 采用面向方面软件开发方法建立事务工作流管理系统的软件体系结构。通过提取工作流应用的业务流程业务活动、参业者和事务这四个关注点,利用面向方面的软件开发方法实现并独立封装事务工作流的需求关注,并对这些关注的实现进编织生成事务工作流应用程序,解决不同工作流程之间、不同事务之间信息交换和协同工作,在确保系统执行状态正确的基础上,降低了工作流应用关注间的耦合性,增强了事务管理柔性管理能力。
- 董云卫郝克刚
- 关键词：面向方面软件开发事务工作流工作流管理系统
- 一种嵌入式软件构件模型和构件库被引量：19
- 2006年
- 嵌入式系统的快速增长和嵌入式软件复杂度的增长,对嵌入式软件开发技术的提高提出了迫切的要求。软件开发技术正在向半自动化代码生成以及由构件生成系统的方向发展。基于构件的软件开发(CBSD)技术能够显著地减少软件开发的时间和成本。本文首先讨论了一种嵌入式软件构件模型———CMES,该模型定义了嵌入式领域中构件的使用。为了方便构件的管理和查找,本文还设计并实现了一个基于Web的嵌入式软件构件库———WRES。WRES使用刻面分类法提高构件库的浏览和查询效率。
- 李涛董云卫
- 关键词：嵌入式软件CMES
