结构化组合补偿抽象精化性质研究

为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模.定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构.引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质.通过具体业务实例验证了该精化和抽象方法的可行性.     

组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。     

基于Petri网的模型组合方法研究

模型组合是DSS研究应用的重要组成部分,为了分析模型集成过程中数据集成和逻辑集成的关系,定义了一个基于Petri网的模型组合方案,将模型组合的要素映射到Petri网结构。利用Petri网提供的分析技术,辅助复杂业务流程的建模,从而在逻辑上提供了模型组合的性能和正确性验证。     

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

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

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

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

Petri网的组合积网及性能分析

Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 ,为复杂大系统的分析提供了新途径     

逻辑Petri网的S-组合及活性分析

基于Petri网和逻辑Petri网,提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题,给出了S-组合逻辑Petri网活性的判定定理和算法,并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况,提出了相应的利用控制库所实现S-组合逻辑Petri网活性控制的方法。     

基于颜色Petri网的网格服务组合

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。     

基于Petri网的服务可靠性评价方法研究

服务的可靠性研究成为一个研究热点。首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网定义,建立基于服务组合Petri网的模型可靠性评估方法,包含结构关联的可靠性计算方法和交互关联模型可靠性化简和计算方法;最后给出旅游服务系统案例分析,说明了方法的可用性和合理性。     

基于有色Petri网的BPEL中flow活动建模*

面向 Web 服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。     

An aggregation composition compensation method based on paired net

With regard to the failure and cancellation of business logic of web services composition(WSC),this paper propose a novel web services transaction compensation mechanism based on paired net which can dynamically establish agile compensation-triggered process(CSCP-Nets),and satisfy prospective compensation requirements.The related execution semantics of five usual composition compensation patterns based on paired net are analyzed in the situations of successful execution,failure compensation and failure recovery.Paired net based application of trip reservation process(TRP) shows that it is feasible.     

基于OPN的指控能力包服务动态组合方法研究

服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.     

基于补偿事务的业务流程异常处理建模研究

对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。     

基于IDEF3/Petri的导弹营训练任务建模

在对某导弹营装备系统的组成、功能和所执行的训练任务进行简要剖析的基础上,针对训练任务的复杂性,提出复杂任务按任务流程进行层次分解的思想和方法,利用IDEF3系列软件Bpwin对导弹营的训练任务进行分解并建立其过程模型。在此基础上,研究IDEF3技术向Petri网技术的转换规则,将过程模型转换为ExSpect仿真环境下的仿真模型,并给出仿真的信息表单。     

基于可达图的Web服务组合验证

针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法.采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用.     

一种面向服务体系结构的服务组合方案求解方法*

面向服务体系结构的出现为分布式应用集成提供了一种解决方案,如何快速准确地指定具体服务或求解出服务的组合方案的问题尚待解决。根据对抽象服务的输入/输出等功能性属性的描述,完成了抽象服务组合流程建模,为了对抽象层粗粒度服务的求精,提出了一种基于语义Web服务和图规划技术的服务自动组合机制,该方法将Web服务映射为规划动作的形式化描述,形式化推理得出Web服务的组合方案。在具体的服务或方案选择上,利用服务相似度优化服务或服务组合方案的选取。最后通过模拟实验验证了该方法的有效性。     

复杂系统可靠性估计的模糊神经Petri网方法

针对复杂系统可靠性建模难问题,提出了一种新的适用于复杂系统可靠性估计的模糊神经Petri网(简称为FNPN)．文中首先给出了模糊神经Petri网的定义及其引发规则,然后给出了一种学习算法．该FNPN结合了模糊Petri网和神经网络各自的优点,既可以表示和处理模糊产生式规则的知识库系统又具有学习能力,可通过对样本数据学习调整模型中的参数以获得系统内部的等效结构,从而计算出非样本数据的系统的可靠度．最后以一无向网络为例说明该方法是可行的．     

Inheritance of behavior

One of the key issues of object-oriented modeling and design is inheritance. It allows for the definition of subclasses that inherit features of some superclass. Inheritance is well defined for static properties of classes such as attributes and methods. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, captured by their life cycles. This paper studies inheritance of behavior both in a simple process-algebraic setting and in a Petri-net framework. Process algebra is chosen, because it concentrates on behavior, while abstracting from the internal states of processes. The result of the algebraic study is a clear conceptual understanding of inheritance of behavior. It can be expressed in terms of blocking and hiding method calls. The results in the algebraic framework inspire the development of the concept of inheritance of behavior in the Petri-net framework. The Petri-net formalism allows for a graphical representation of life cycles of objects with an explicit representation of object states. In the Petri-net framework, four inheritance rules are defined that can be used to construct life cycles of subclasses from the object life cycles of given (super-)classes. These inheritance rules can be used to structure a design process and they stimulate the reuse of life-cycle specifications. It turns out that the combination of blocking and hiding method calls captures a number of important operators for constructing life cycles of subclasses from life cycles of superclasses, namely choice, sequential composition, parallel composition, and iteration. A small case study validates our approach to inheritance of behavior.