数据传输工具DataTrans的设计与实现

为了适应网络分布计算环境下软件应用的需要,开发基于网络的软件支撑平台已成为当务之急。作为网络分布软件支撑平台的一部分,DataTrans在Internet／Intranet环境中为异构数据源之间提供基于多种通信方式的、传送双方彼此独立的、用户界面友好的数据传输功能。文章给出了DataTrans的体系结构和实现特点,阐述了面向对象设计方法和设计模式技术在其中的应用。     

扩充角色层次关系模型及其应用

基于网络的大规模软件应用系统面临着日益复杂的数据资源安全管理的难题.基于角色的访问控制方法(role-based access control,简称RBAC)实现用户与访问权限的逻辑分离和构造角色之间的层次关系,从而方便了数据的安全管理.该文在RBAC96模型的基础上,对角色之间的层次关系进行了扩充,定义了角色的公共权限和私有权限,引入了一般继承和扩展继承机制,形成了一个能描述复杂层次关系的角色访问控制模型EHRBAC(extended hierarchy role-based access contro     

关系型多数据库系统IS-Global的设计与实现

文章主要讨论IS-Global的设计思想和关键的实现技术.IS-Global是一个关系型多数据库系统,其目标是为CIMS(computer integrated manufacture system)环境下企业级应用提供一个集成的、能屏蔽网络、操作系统和数据库系统异构性的全局信息系统.IS-Global的主要特点是：(1) 它是一个紧耦合的系统,具有统一的全局模式,对不同的关系型数据库系统,如Oracle,Sybase和SQL(structured query language) Server等可进行透明访问.(2) IS-Global采用两级客户/服务器结构,支持并发控制和安全性机制,是一个多用户系统.(3)可同时提供图形化界面工具、ODBC(open database connectivity)函数接口和SQL语言交互式访问接口.(4) 能同时支持对多个局部数据库中数据的联合查询.     

对象演算I

对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上。对象比一般意义下的动态实体具有更多和更好的特性,特别是封装性。为此,章引入有效动作的概念,通过对象的有效动作来刻画对象的封装性,即只有对象的有效动作才能访问或修改对象的属性值,从而对Ｔｒａｃｅ演算的语义模型加以限制,得到对象语义解释模型。作为逻辑系统,章还讨论了对象演算的公理化,它是Ｔｒａｃｅ演算     

基于XML的分布式Web应用框架

传统web技术是以HTTP和HTML技术为核心的,不能满足把INTERNET的资源集成到传统的信息处理系统中的需求。文章首先分析和比较基于XML的分布式Web技术发展现状,然后基于这些技术提出自己的分布式Web应用框架。     

分布式多媒体数据库系统

着重分析分布式多媒体数据库系统的特有问题,包括实时性、时空同步以及服务质量的描述与实现等.给出了解决这些问题的策略和方法.研究了各种不同的实现途径——远程调用、中间件和Agent构造的方式;指出了这些实现方法的优点及其不足.     

对象演算Ⅱ

文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统.     

Trace 演算

文章定义了基于踪迹(trace)的逻辑语言L_Trace,它是一阶线性时序逻辑语言的扩充,同时也是“对象演算”研究工作的基础.Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体,语法上由对象标记表示.对象标记Ω=(S,F,A,E)包含4个部分:数据类型S、函数F、属性A和动作E.Σ=(S,F)构成通常代数规范意义下的标记,可将动作看成一广义数据类型,从而得到标记Σ的动作扩充ΣE.对象标记的语义解释结构由关于标记ΣE的代数、映射和动作与踪迹的关系定义.ΣE-代数给出关于数据参数的解释;映射给出属性在动作踪迹中所取的值;而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行.在定义了Trace演算的语法和语义之后,文章给出了Trace演算的公理系统及其可靠性证明.     

移动计算形式理论分析与研究

移动计算是在网络技术发展中涌现出的一种新计算范型,文章旨在从形式抽象的角度来认识移动计算的本质特点,文中分析了网络计算平台的综合特征,总结了移动计算范型的曲型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ,以及Ａｃｔｏｒ扩充模型,针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资     

基于XML的B2B电子商务构架

The B2B (Business-to-Business)e-commerce framework solves the key problem-interoperability between enterprise during e-commerce transactions.Firstly,this paper presents several key factors of B2B e-commerce framework by analyzing the role of frameworks.Moreover,this paper analyzeds and compares several international popular B2B frameworks from from the point of view of these factors.Finally,this paper proposes the design principles,objectives and e-commerce transaction language of cnXML (Chiese e-Commerce XML)frameworks.