面向服务合成的访问控制技术研究

主要关注基于BPEL（业务流程执行语言）流程访问控制的实现方法。对现有的基于任务的访问控制（TBAC，task-based access control）模型进行扩展，修改了授权结构体的定义并增加了授权结构体的类型，最终实现了从BPEL定义的流程到新的TBAC模型的映射，提出了一种TBAC（基于任务的访问控制）应用到BPEL中的方法。这种方法使通过BPEL定义的服务合成系统具有从底层支持访问控制的能力。最后讨论了下一步的研究工作。     

基于时态关系代数的工作流引擎

对于工作流系统中普遍存在的时态信息,由于后台关系数据库管理系统难以很好处理,造成工作流引擎需要进行相关的时态信息处理。提出在时态数据库平台上建立工作流管理系统的架构,并采用时态关系代数描述工作流引擎运行中涉及的时态信息,证明了该架构的优势。最后以一个例子分析该架构下的工作流执行过程。