电子商务协议研究综述

电子商务协议是电子商务实施的技术基础.对电子商务协议研究进行综述,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模)以及对若干著名电子商务协议的描述和分析.  

事务工作流的建模和分析

事务工作流由若干个事务组成，其执行满足松弛原子性．只有良构的事务工作流才能保证所有执行均满足松弛原子性．事务具有不同的可补偿特性和可重复特性，在包含多种控制结构的复杂事务工作流中，事务之间组合失配问题可能造成事务工作流的非良构性．该文给出了事务工作流模型及良构性的形式化定义，提出了一个良构性判断定理，通过一种构造性的方法来有效地验证事务工作流的良构性，还设计了事务工作流的描述语言ISWDL并实现了良构性验证器．  

网格环境下的一种事务协调机制及其补偿技术

事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一，用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力，基于Gtobus Toolkit和代理技术，提出了一种能够同时管理原子事务和聚合事务的事务协调机制，研究了相应的可以容错各种失败的协调算法，通过自动产生和执行补偿事务，聚合事务协调机制可以满足网格计算中对长事务的处理要求。  

基于工作流对象的网络办公软件设计

通过对政府、企业日常办公的深入研究，确立了工作流的概念，进而提出了基于工作流的网络办公软件设计方法。工作流法较好地实现了软件的原子性和自组织性。以工作流法设计的系统具有很强的生命力和良好的动态性。  

一个安全、原子的电子商务协议及其形式化验证

电子商务的普及与接受主要取决于下述属性的解决：安全、原子、隐私与匿名，形式化描述和分析是描述电子商务协议并验证它各性的有效方法，面向物理商品交易的电子商务协议需要具备３个属性：安全、原子和隐私，介绍了一个安全、可靠的电子商务协议ＢＥＡＲＣＡＴ及其形式化描述，并龙有人侵者的情况下，通过用ＢＡＮ类型的逻辑证明所期望的属性的方式对协议的强度和正确性作形式化分析。  

三维交互网络虚拟原子吸收实验室的构建

基于VRML和JAVA技术的结合构建了网络三维交互原子吸收虚拟实验室。利用VRML技术构建虚拟仪器部分，实现了可控制的非线性的场景与视角变换、仪器的仿真操作等多种功能，以此取代实际环境中的各种硬件。利用JAVA技术构建工作站部分，实现了对虚拟仪器中各种部件的控制及参数设定功能，完整实现了虚拟硬件与工作软件之间的数据传送等功能。据此建立的原子吸收网络虚拟实验室可在网络上顺利运行。  

SET协议系统缺陷及其改进方案

电子商务的流行与接受主要取决于下述属性：安全、原子、匿名和不可否认性。文章对现在流行的安全电子交易SET标准进行分析，指出SET协议存在不满足数字商品交易的原子性以及确认发送原子性等缺陷。并在原有SET基础上对其协议流程进行改进，使其不仅具有交易原子性，而且还使用交易双方具有不可否认性以及公平交易等特点。  

Netbill协议原子性的符号模型检验分析

电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题，采取一定的方法对协议进行分析检验是协议开发过程中一个必要环节。论文在对Nelbill协议及其原子性进行形式化描述的基础上，基于符号模型检验器(SMV)从钱原子性和商品原子性两个角度对Netbill协议进行了分析和检验，从而表明了用SMV对电子商务协议分析和验证的可行性。  

扩展型关联规则和原关联规则及其若干性质

已有的关联规则模型所反映的基本上是频繁事件中所隐藏的一种积极或肯定关系，而没有反应其隐含的否定关系，在实际应用中，这种否定关系与肯定关系一样也是很重要的，在此论述的扩展型关联规则模型就能反映上述两种关系，据此可以得到更多的规则知识，此外，由于Aproiri关联规则生成方法产生的关联规则具有较大的冗余性，论述的原关联规则可以消除关联规则的这种冗余特性，挖掘原关联规则既能大大减少关联规则的数,目,又能节省规则生成时间，把扩展型关联规则和原关联规则相结合，可使得对扩展关联规则的挖掘更加有效，实验结果也支持了上述结论。  

从面向对象模型到关系模型

文章首先概述了面向对象模型设计的方法，然后着重讨论了将面向对象模型的转换为关系模型及关系模型优化的问题，最后给出一个应用实例。