工作流Petri网建模在电子合同系统中的应用.docVIP

工作流Petri网建模在电子合同系统中的应用 　　摘 要：随着互联网的发展，电子商务模式已很大程度取代传统的交易方式，电子合同的使用范围也越来越广泛。本文基于电子签章技术的电子合同系统的设计与实现，通过使用Petri网对电子合同在线签订流程进行并发模型的建模，为系统实现电子合同在线签订时保证至少有两个单位可以进行合同会签，同时保证信息传输的保密、数据交换的完整性、发送信息的不可否认性、交易者身份的确定性，从而保证系统使用的安全性提供了可靠的依据。 　　关键词：Petri网；工作流；电子合同；电子商务 　　中图分类号：TP311.5 　　随着互联网的发展，网络已经成为我们日常生活的一部分，在不经意间已经改变了很多人的工作、生活。为此，国家经过广泛的征求意见和修改，在2005年4月1日已颁布实施了《中华人民共和国电子签名法》，其中第十四条明确指出“可靠的电子签名与手写签名或者盖章具有同等的法律效力”。电子商务蓬勃发展，电子签章已然成为是我国印章史上的一场革命。电子签章系统将数字认证技术应用于印章管理中，强化对电子签章的制作和应用各个环节的管理，确保电子签章持有者身份真实、可靠、安全。现有的电子合同平台如[1]中所提到的，并未使用Petri网对工作流建模来保证电子合同平台系统代码本身的安全性以及可靠性，本文提出使用Petri网对工作流建模，从而保证系统流程的安全、可靠。 　　1 关键技术 　　1.1 工作流技术 　　1.1.1 工作流的基本概念 　　根据工作流管理联盟（WfMC）的定义，工作流的定义是：一类能够完全或部分自动执行的业务过程，在此过程中，文档（Paper）、信息（Information）或其它任务按照事先预定的规则进行流转。业务、工作、办事等人员和应用系统之间相互的协调工作，从而来实现业务流程中所要达到的最终目的。换句话说，工作流就是一些能够自动运行的业务活动，它们是相互关联的、相互衔接的。 　　1.1.2 基于网的工作流建模方法 　　这类方法适用于流程的可视化建模。网中的结点用来表示流程中的活动，网中的边用来表示控制流。使用这类方法的主要问题在于对模型的描述是否有形式化的语义。大多数工作流产品的可视化建模方法都缺乏形式化语义。具有形式化语义的基于网的方法可以转换成其它建模方法，如基于规则的、时序逻辑的和脚本语言的方法等。在基于网的工作流建模方法中，使用最多的是Petri网和状态图（state charts）， Petri网被广泛用于建立工作流模型，Ellis和Nutt在Petit网的基础上提出了工作流CN模型，它实际上是高级Petri网的一个扩展，在其描述中用库所表示活动，用变迁表示活动间状态的转移。Vander Aalst则在Petri网的基础上定义了WF-Net即工作流网。在工作流网中，变迁被用来表示活动而库所则表示活动的可实施条件。Vander Aalst七还把工作流管理联盟在规范中提出的几种基本的工作流原语映射成相应的Petri模型，由此建立了工作流网的基本组件与触发机制。 　　因此Petri网作为一种从过程的角度出发描述和分析复杂系统的模型工具，被广泛地应用工作流的系统建模中，用Petri网工作流建模方法研究，始终是一个非常活跃的领域。 　　1.2 Petri网综述 　　Petri网理论[2][3]首先是在1961年在Carl Adam Petri的博士论文中提出，他在他的博士论文《用自动机通信》中首先提出将用一种网状结构来模拟了通信系统。 　　1.2.1 Petri网的引入原因 　　在分析工作流系统时，我们需要应用数学的分析方法[4]。而Petri网理论正好为我们解决了这些问题。在Petri网理论体系中主要有基于状态方程和代数的分析技术和基于可达树（图）的分析技术的两种建模方法。 　　1.2.2 Petri网的数学描述 　　Petri网是一种数学和图形的描述与分析工具，适合于描述并发、异步、分布、并行、不确定性和随机性的信息处理系统，进行系统模型的构造、分析及评价。下面简单介绍本文将使用的与Petri 网有关的基本概念、定义、术语和性质[5]： 　　定义1（Petri网） 　　（1）基本Petri网是一个三元组N=（P，T，F），其中，P和T分别为有限非空的库所和变迁集合，P∩T= ；F P×T∪T×P是一个有向弧的集合。 　　（2）令Σ= （P，T，F）是一个网，对所有x∈P∪T： x ={y∈P∪T|〈y，x〉∈F}是x的前集；x = {y∈P∪T|〈x，y〉∈F}是x的后集。结点集x的前集（或后集）定义为： 　　。 　　网中任一库所结点在任何时刻都可能含有0个或多个托肯，称为库所的标记。托肯在网中的分布反映了网的状态，称为网的标识，记为M。标识M实