基于颜色Petri网的Web服务组合建模及应用

给出了用颜色Petri网来对Web服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟Web服务执行的引发规则,从静态、动态两方面描述了Web服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。     

有色Petri网协作模型的BPEL代码实现

Web服务业务流程执行语言（BPEL）提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri（CPNs）可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

基于Petri网的Web服务组合建模

针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

基于Petri网自动化构建BPEL流程的SMV模型

针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法.该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题.实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性.     

基于扩展同步Petri网的BPEL建模

使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。     

基于扩展颜色Petri网的Web服务组合建模及应用

该文提出一个基于扩展颜色Petri网的Web服务组合描述模型,该模型在描述组合流程的控制流和数据流的同时还能描述流程中的参数、操作的语义和服务质量,能较全面地刻画Web服务组合流程;最后通过该建模方法给出一个建模实例。     

基于Petri网的Web服务动态组合

通过Web服务构建复杂应用存在的问题是：Web服务是无状态操作,所以只能提供相对较小的原子应用。但Web服务是可以集成的,这是它的一个重要特征。因此,可以通过原有web服务的组合构成新的更复杂、功能更强大的Web服务。Peri网理论作为组合Web服务的一个主要机制,可以用来快速创建功能更强大的Web服务。该文围绕Petri网理论在web服务组合中的应用,研究如何基于Petri内构建web服务动态组合的模型,从而实现web服务的集成。     

借助Petri网进行流程审计

信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的程序真实地反映了组织的业务流程,也难保证信息使用者所获得的信息是正确的,也就是说对于访问数据的程序,存在外部干扰。引入数据库中的审计表功能,协助信息系统审计人员识别信息系统中数据的形成是否遵循了既定的业务流程。由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。     

基于Petri网业务流程建模及到BPEL4WS的转换

BPEL语言是一种功能强大的描述业务流程的计算机可执行标准语言,在SOA（面向服务）架构中扮演着将服务串联成商业流程的灵魂角色。但是由于它的不够直观和代码冗长等缺点,BPEL不适合直接用于业务流程的抽象建模。因此研究其它抽象模型与BPEL间转换就相当有意义。在对Petri网和BPEL语言深入学习的基础上,定义了Petri网的若干部件及部件与BPEL的对应转换,然后提出了如何将业务流程Petri网模型转换成BPEL的算法,并用实例进行分析,验证该算法的有效性。     

基于OPN的环境约束下Web服务组合正确性分析

为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模.通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性.     

基于逻辑Petri网的Web服务簇模型

在基于聚类的Web服务中,同一服务簇中的服务在参数名称、参数数量和顺序方面不尽一致,具有参数不确定性的特点,导致参数匹配仍需要很大的工作量。因此提出一种基于逻辑Petri网的Web服务簇模型,将服务的参数集合表示为基于服务簇参数集的逻辑向量,建立了服务簇到各个服务的映射关系,实现对服务参数的统一管理。基于语义相似度的参数匹配仅在服务簇层进行,在服务簇内可以用位置向量直接定位参数,通过逻辑比较判断是否匹配,使得参数匹配的规模和计算复杂度大大降低,提高了服务发现效率。     

基于Petri网的语义Web服务流程一致性验证

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性。通过一个实际案例验证了该方法的正确性和有效性。     

正规语言闭包运算的Petri网构造方法

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算“*”的Petri网构造方法,分别给出了Kleene闭包运算“*”的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算“*”的构造是封闭的。     

基于Petri网的哲学思考

近年来,Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.同时,Petri网技术和其它技术的完美结合使其在应用领域如鱼得水.哲学高度深刻分析了Petri网之所以获得成功的思想渊源,通过诠释Petri网思想与哲学思想的诸多相通之处,帮助大家以一种全新的视角重新认识和理解Petri网.     

含不可控变迁的Petri网监控器设计

在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.