反射中间件技术及其发展     

钱忠胜 《科技广场》2009,(1)

针对传统中间件的不足,探讨了融入反射特性的反射中间件,给出它的层次体系结构并对其用形式语言Z进行了描速,接着综述了该领域的研究成果.  相似文献   

基于对象-关系数据模型的范式研究   总被引：1，自引：0，他引：1  

钱忠胜 《情报杂志》2007,26(1):21-24

先回顾了关系模型的有关规范化理论,而后遵循ODMG-93的标准,给出了对象-关系数据库(Object-Re-lational Database,ORDB)的两个重要范式,即划分范式与嵌套范式。探讨了与嵌套关系模式相对应的模式树的概念,定义了与嵌套关系等价的非嵌套关系,通过引理予以构造,并进行了证明。在总结关系模型范式理论的基础上,提出了对象—关系数据库中对象k范式的概念,同时给出了定理和几个规则。  相似文献   

基于π-演算的web服务流的分析与建模     

何涛  缪淮扣  钱忠胜 《东南大学学报》2006,22(3):315-318

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.  相似文献