【摘 要】
：
随着事务处理建模、协同处理、工作流等相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有强有力的描述能力又有丰富的系统分析技术等诸多优点也被应用
论文部分内容阅读
随着事务处理建模、协同处理、工作流等相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有强有力的描述能力又有丰富的系统分析技术等诸多优点也被应用于这一新兴领域,来对工作流理论基础进行研究.该文首先将利用Petri网来描述和分析工作流的各种模式,通过比较模式之间的异同,并对模式进行合并和重划分.其次该文将把UniNet——这种结合了UNITY和传统Petri网的优点的独特的描述方法,引入到工作流的语义分析中.UniNet不仅描述工作流过程的静态特征,同时也描述了它的动态特征,使得从逻辑到语义的建模系统化.同时该文还将通过实际例子,利用传统Petri网和UniNet来分别为它们建立逻辑层和语义层模型,将原本逻辑和语义混合在一起的分析重新划分开来,清晰而且简单.最后该文将使用UniNet再一次对工作流的各种模式进行语义上的分析,把复杂的工作流模式通过简单模式的组合进行重构.因此,在逻辑层的建模中可以使用比以前更少的模式,从而合理地将Petri网和UniNet的优势应用到工作流逻辑和语义的分析中去.
其他文献
随着计算机网络和通信技术的飞速发展，数字媒体（包括数字图像、数字视频、数字音频）已得到了广泛的应用，随之而来的数字媒体的信息安全、知识产权保护和认证等问题也变得日益突出
计算机网络的出现使世界的联系变得更加紧密。但是，开放式网络上和分布式系统上不断增长的各种应用尤其是电子商务的蓬勃发展，对系统的安全提出了巨大挑战，不能有效地解决计算机
软件复用是解决软件危机、实现软件产业工业化生产方式的有效途径.软件复用活动包含两个相关的阶段:可复用软件资产的生产阶段和基于可复用软件资产的应用系统开发阶段.领域
网络服务是当前最引人关注的计算机技术之一.随着网络服务需求的不断增长,选择好的网络服务显得越来越重要.服务选择是指调用者在拥有相同接口的多个网络服务中做出合适选择
信息社会的发展、网络及计算机技术的进一步普及，使得对网络上提供高质量的视频/音频等多媒体服务的需求越来越大。视频会议技术就是一种让身处异地的人们通过某种传输介质实
地理信息产业是信息产业的一个重要组成部分，地理信息技术是IT技术的一个重要分支，地理信息系统软件是一类特殊的计算机信息系统软件，它是以各类空间数据及其属性为基础，为各种应
近年来，社交网站和社会媒体等在线社会关系网络逐渐成为互联网服务和应用的主流。人人参与信息的产生、传播和获取，人们信息传播和信息共享的诉求得到了极大程度地满足，获得了前
随着计算技术和通信技术的发展,不仅台式计算机变得非常普及,非PC设备也正以惊人的速度成为市场的主流,计算已经不只限于桌面,它渗透到人们生活和工作的各个环节,这就是所谓
目前,在社会化标签系统中推荐搜索研究主要聚焦在标签的推荐。也就是说给定一个用户和一个资源,推荐系统预测用户用什么样的标签来解释这个资源,怎样去开发面向资源的个性化
随着Internet的技术的发展，到2005和2015年之间就会面临着IPv4地址耗尽的问题，为此IETF开发了IP协议的一个新版本——IPv6，它使70年代设计的IPv4更具有现代化。人们预期随着Inte