实时数据集成技术及其应用

随着实时数据库在流程行业的应用和互联网的迅速发展 ,分布实时数据的采集和集成已成为一个迫切要解决的问题 .介绍了实时数据集成的关键技术以及用该技术构造的实时数据集成平台 ISRDIP,包括体系结构、全局模式、数据复制、桌面工具等 .

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

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

对象演算Ⅰ

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

一种基于对象序列图的组件交互协议设计方法

基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件 交互协议来协调组件之间的交互 .基于这种思想 ,探讨运用UML(unifiedmodel inglanguage)的对象序列图 (objectsequencediagram ,简称OSD)方法进行组件交互协议设计的多个方面的研究 ,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法 。

对象演算Ⅱ

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

对象系统的组合交互计算

对象系统的计算是一个开放的、动态并发交互的过程 ,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成 .对象系统的行为变化是系统内、外因有机统一的具体表征 ,因此不能把对象系统的静态组合构造和动态计算行为当作两个孤立的个体分而治之 .从这个统一原则出发 ,研究了基于组合构造模型的对象系统的交互计算 .组合构造模型设计将对象系统的主要计算特征纳入一个统一的抽象基调之中 ,通过定义基调上的一组关系 ,把对象系统的层次结构和内部协同工作有机地结合在一起 .在此基础上 ,给出了一个区分动作类型的交互演算 (S/R演算 ) ,描述了组合对象系统的动态行为和交互 ,较好地刻画出对象封装性、对象计算的事件驱动性、动态绑定以及对象系统内部的交互与并发等固有特征 .

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

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

分布式多媒体数据库系统

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

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

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

Trace演算

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

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

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

移动组件系统模型的分析与描述

移动计算是新兴的分布式计算范型 ,其主要特征是计算组件与计算场所能动态改变绑定关系 ,表现出移动性 ,从而带来许多新的系统设计需求 .从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念 ,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述 .通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制 ,进而抽象出移动系统设计所需的语言结构 ,为移动系统设计和开发提供了分析基础 .

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

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

系统动态行为语义模型及其形式描述

文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文中还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征，包括交互、并发和分布等．文中是以一个全新的角度去审视那些主要的、较为成熟的模型和方法，针对分布对象计算系统的动态行为特点加以分析和比较，为系统地建立分布对象计算系统的计算模型和语义理论打下一定基础．