基于角色的安全控制系统(RBAC)实践Ⅰ-系统体系架构

该文介绍了国际上日渐流行的一个用户管理系统模型，并提出了一些改进。应用这个改进的模型，笔者已经在实际应用中获得了一些成果。     

Web服务组合的有色网模型及运算性质

定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．     

一种支持大规模数据的多维可视化分析框架

以Hadoop为代表的可扩展大规模数据库难以进行多维可视化分析。为此,设计基于B/S架构的可视化分析框架Bizard。数据模型通过封装底层数据接口以支持业界多维数据访问协议XMLA,从而在展现层易于接入支持XMLA的传统分析工具,同时采用视图物化技术提高分析性能,利用互联网技术丰富用户分析体验。实验结果表明,该框架能在高达千万条记录级的数据上进行多维可视化分析。     

Web service的事务协调框架研究与实现

提出并实现了一种Web服务的事务协调框架,DTCF(Distributed Transaction Coordination Framework)。该模型基于嵌套事务模型和协调思想,将局部事务的实现细节进行封装,不同局部事务可采用不同的并发控制和恢复技术,而对全局事务则采用完全分布的管理机制进行管理。DTCF是一种可重用的框架,实验结果表明其可用性。     

移动进程的蛰伏性及空间逻辑

界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质.然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的.分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑.该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的.同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则.     

面向嵌入式系统的功耗管理硬件抽象层

由于缺乏面向嵌入式系统的功耗管理硬件标准接口，嵌入式操作系统在不同硬件平台上的功耗管理功能缺乏可移植性。该文针对嵌入式系统提出了一种功耗管理硬件抽象层模型，同时引入了抽象功耗可管理组件模型，为操作系统提供了统一的功耗状态转移函数。基于此抽象层，可屏蔽不同硬件结构的功耗管理细节，有效地提高嵌入式操作系统的可移植性。     

SOA事务处理系统设计与实现*

给出了一种适用于SOA环境的事务处理系统--DTPS.它能够适应SOA的松耦合环境,完成商用事务的并发控制与恢复.首先给出DTPS系统的整体结构与功能;然后详细讨论了其并发控制算法及消息传递机制.     

基于角色的安全控制系统(RBAC)实践I——系统体系架构

该文介绍了国际上日渐流行的一个用户管理系统模型,并提出了一些改进。应用这个改进的模型,笔者已经在实际应用中获得了一些成果。