Web服务组合到有色Petri网的模型转化方法
【专利摘要】本发明公开了一种Web服务组合到有色Petri网模型的转化方法，包括：形式化定义所获取的采用OWL-S语言描述的Web服务组合和有色Petri网；基于有色Petri网，对形式化定义后的Web服务组合进行建模；对建模后的Web服务组合进行结构转化和数据流转化以获取相应的有色Petri网模型。本发明的转化方法，其中包括控制结构的绑定、参数绑定的转化，参数绑定主要针对基于资源描述框架模式的参数类型到CPN模型中颜色令牌的转化。相对于原来形式化转化方法，本发明更注重有色Petri模型与原Web服务组合的一致性，不仅支持结构化的转化方式，还支持参数类型检查、表达式映射的功能。
【专利说明】Web服务组合到有色Petri网的模型转化方法
【技术领域】
[0001]本发明涉及语义web服务及Petri网(Petri Net, PN)领域,尤其涉及一种Web服务组合到有色Pepri网(Colored Petri Net, CPN)的模型转化方法。
【背景技术】
[0002]服务组合是语义Web的重要组成部分，其功能是将简单的、分布式的单个服务编排为复杂的组合服务。此过程需要Web服务发现、Web服务执行、Web服务组合和可用性验证等步骤。
[0003]当前，基于服务的本体描述语言(OntologyWeb Language For Service,0WL-S)提出了使用本体来描述特定服务，将服务的语义与实现联系在一起，并且提供了组合Web服务的语义，目标是完成服务自动发现、服务自动组合、服务自动调用等功能。
[0004]但是描述语言的表达能力有限，难以翻译成其他的基于流程的语言，因此需要形式化的方法对其进行建模、验证。从本质上来说，基于Web服务的体系结构属于分布式、并发的架构，目前的形式化模型中，Petri网具有强大的分布式模拟能力、成熟的数学验证模型，是目前验证服务组合可用性的主要方法。因此很多研究机构与个人致力于Web服务描述语言OWL-S到有色Petri网的转化。
[0005]综合分析国内外研究学者所建立的转化模型，发现虽然这些理论和工具已经证明了通过有色Petri网模型对服务组合建模的可行性，但是其并没有考虑到参数以及表达式到有色Petri模型转化；更重要的是，现有理论生成的模型实际上是不可模拟运行的有色Petri网模型，与原Web服务模型有偏差，从而不能利用现有有色Petri网的理论和工具，影响了验证流程。
[0006]因此，扩展和完善现有的基于OWL-S的Web服务组合模型到CPN模型的转化方法是非常有必要的。
【发明内容】
[0007]本发明所要解决的技术问题之一是需要提供一种Web服务组合到有色Petri网模型的转化方法，该方法能够实现有色Petri模型与原Web服务组合的一致性，不仅支持结构化的转化方式，还支持参数类型检查、表达式映射的功能。
[0008]为了解决上述技术问题，本发明提供了一种Web服务组合到有色Petri网模型的转化方法，包括:形式化定义所获取的采用OWL-S语言描述的Web服务组合和有色Petri网；基于有色Petri网，对形式化定义后的Web服务组合进行建模；对建模后的Web服务组合进行结构转化和数据流转化以获取相应的有色Petri网模型。
[0009]在一个实施例中，在对建模后的Web服务组合进行数据流转化的步骤中，进一步包括:将建模后的Web服务组合中的绑定转化到有色Petri网中；将建模后的Web服务组合中的表达式转化到有色Petri网中。
[0010]在一个实施例中，在绑定类型为ValueOf时，在将建模后的Web服务组合中的绑定转化到有色Petri网中的步骤中,进一步包括:
[0011]步骤10，生成关于该Web组合服务的开始库所、标签、结束库所和结束绑定变迁；
[0012]步骤20,对于该Web组合服务中所有输入Input1, Input2...1nputn,使用ML语言定义一个如下颜色集:
[0013]colsetcol_name = productcontrol氺Iinput1^input2氺...^inputn
[0014]其中，control是一种特殊的类型，其类型为C0NTR0L_T0KEN，用于控制组合服务流程，对于原子服务，control总为真,并将开始库所的类型定义为col_name, product表示后面的表达式产生输出结果，*表不兀素之间组合的关系；
[0015]步骤30,对于该Web组合服务的所有输出Output1, Output2...0utputn,使用ML语
言定义一个颜色集:
[0016]colset' col_name = productcontrol氺Output1^Output2氺...^outputn,
[0017]其中，control是一种特殊的类型，其类型为C0NTR0L_T0KEN，用于控制组合服务流程，对于原子服务，control总为真,并将结束库所的类型定义为col_name ；
[0018]步骤40，连接开始库所到标签，以及结束绑定变迁到结束库所；
[0019]步骤50， 获得该Web组合服务的所有组合结构，如果组合结构为原子服务，则使用第一算法，否则使用第二算法，生成每个子有色Petri网模型；
[0020]步骤60，根据组合结构的类型的不同，生成不同的控制库所，进而控制有色Petri网的结构化模型；
[0021]步骤70，根据该Web组合服务的生成，连接所有与结果相关的库所到结束绑定变迁。
[0022]在一个实施例中，在绑定类型为ValueOf时，在将建模后的Web服务组合中的绑定转化到有色Petri网中包括:
[0023]步骤11，根据第二算法生成该Web服务组合中所有执行所对应的过程有色Petri网模型的集合M ;
[0024]步骤21，生成输入绑定变迁和输出绑定变迁，并建立输入绑定变迁到输入库所，以及输出库所到输出绑定变迁的弧，且每个弧上的ML表达式为:
[0025]兀组(control, Input1, input2...1nputj
[0026]步骤31，找到每个执行的所有输入，在过程有色Petri网模型的集合M中找到每个输入所对应的执行的过程有色Petri网模型m;
[0027]步骤41，在有向图G中创建节点，节点的键为执行的序列号；
[0028]步骤51，对于执行所有的输入，在有向图G中寻找源执行节点，如果该源执行节点与现节点没有边，则进入步骤61，否则进入步骤71 ；
[0029]步骤61，创建从源执行节点到现节点的边，并且初始化边的向量表；
[0030]步骤71，向边的向量表中添加输入的序列号；
[0031]步骤81，对于执行的所有的输入，生成哈希对，令键为输入的通用资源标识符，取值为执行所对应的过程有色Petri网模型，加入到哈希表中；
[0032]步骤91，判断是否还有执行未被处理，若存在则返回步骤11 ；
[0033]步骤101，广度优先遍历有向图G，对于每个边，生成参数绑定变迁的库所，库所类型和弧的表达式为:[0034]兀组(control, Input1, input2...1nputj
[0035]其中，Inputi作为有向图边上向量表的集合。
[0036]在一个实施例中，所述第二算法包括:
[0037]步骤521，根据所述第一算法生成该Web服务组合所有执行所对应的过程有色Petri网模型的集合M ；
[0038]步骤522，生成输入绑定变迁和输出绑定变迁，并建立输入绑定变迁至输入库所，以及输出库所至输出绑定变迁的弧，令每个弧上的ML表达式为:
[0039]兀组(control, Input1, input2...1nputj ；[0040]步骤523，找到每个执行的所有输入，在过程有色Petri网模型的集合M中找到每个输入所对应的执行的过程有色Petri网模型m;
[0041]步骤524，生成一个参数绑定变迁的库所p，将每个输入所对应的执行的过程有色Petri网模型m中的输出绑定变迁与库所p，以及库所P与过程有色Petri网模型的集合M中的输入绑定变迁连接；
[0042]步骤525，对于执行的所有输入，生成哈希对，令键为输入的通用资源标识符，取值为执行所对应的过程有色Petri网模型，加入到哈希表中。
[0043]在一个实施例中，所述第一算法包括以下步骤:
[0044]步骤511，生成关于该Web组合服务的输入库所、输出库所和Web服务执行变迁；
[0045]步骤512，生成分别连接输入库所至Web服务执行变迁以及Web服务执行变迁至输出库所的输入弧和输出弧；
[0046]步骤513,对于该Web组合服务中所有输入Input1, Input2...1nputn,使用ML语言定义一个如下颜色集colset:
[0047]colsetcol_name = productcontrol氺Iinput1^input2氺...^inputn
[0048]其中，control是一种特殊的类型，其类型为C0NTR0L_T0KEN，用于控制组合服务流程，对于原子服务，control总为真,并将输入库所的类型定义为col_name, product表示后面的表达式产生输出结果，*表不兀素之间组合的关系；
[0049]步骤514,对于该Web组合服务的所有输出Output1, Output2...0utputn,使用ML语言定义一个颜色集colset’:
[0050]colset' col_name = productcontrol氺Output1^Output2氺...氺Outputn
[0051]其中，control是一种特殊的类型，用于控制组合服务流程，对于原子服务，control总为真,并将输出库所的类型定义为col_name。
[0052]在一个实施例中，在将建模后的Web服务组合中的表达式转化到有色petri网中，包括:
[0053]步骤12，读取该Web服务组合的SWRL表达式，分析SWRL结构，将其分解为属性集
和变量集；
[0054]步骤22，生成状态变迁；
[0055]步骤23，分析变量集中变量属性来源，若变量为变量名，进入步骤24，否则进入步骤25 ；
[0056]步骤24，在全局变量表中查找变量的源执行，并且建立从该源执行的输出绑定变迁到状态变迁，并将状态变迁的警备变迁设置为该逻辑表达式，算法结束；[0057]步骤25，若变量为常量，且常量输入为xsd类型，则直接转化为字符常量。
[0058]在一个实施例中，还包括:在有色Petri网模型中调用OWL-S服务；对调出的OffL-S服务进行模拟运行和验证。
[0059]在一个实施例中，在有色Petri网模型中调用0WL-S服务的步骤中，进一步包括:
[0060]在生成原子服务模型时，在Web组合服务的变迁中自动嵌入Web服务调用模块，并且同时在服务端生成监听有色Petri网模型的代码，在每次有色Petri网模型请求Web服务调用时，自动解析输入并且执行Web组合服务的OWL-S服务的输出。
[0061]在一个实施例中，对调出的OWL-S服务进行模拟运行和验证的步骤中，进一步包括:对OWL-S服务进行单步执行/或多步执行的模拟运行；对该有色Petri网模型的可达性、有界性和参数一致性进行验证。
[0062]本发明提出了服务组合模型到CPN模型的转化方法，其中包括控制结构的绑定、参数绑定的转化；控制结构的转化主要针对基于结构的Sequence、Split+Join、Repeat、If-Then-Else以及基于参数控制的执行与生成，参数绑定主要针对基于资源描述框架模式(Resource Description Framework Schema, RDFS)的参数类型，到 CPN 模型中颜色令牌的转化。相对于原来的形式化转化方法，本发明更注重有色Petri模型与原Web服务组合的一致性，不仅支持结构化的转化方式，还支持参数类型检查、表达式映射的功能。
[0063]本发明的其它特征和优点将在随后的说明书中阐述，并且，部分地从说明书中变得显而易见，或者通过实施本发明而了解。本发明的目的和其他优点可通过在说明书、权利要求书以及附图中所特别指出的结构来实现和获得。
【专利附图】
【附图说明】
[0064]附图用来提供对本发明的进一步理解，并且构成说明书的一部分，与本发明的实施例共同用于解释本发明，并不构成对本发明的限制。在附图中:
[0065]图1是根据本发明一实施例的Web服务组合模型到CPN模型的转化方法的流程图；
[0066]图2是原子服务的CPN模型示意图；
[0067]图3是将Web服务组合的顺序结构转化为CPN模型的示意图；
[0068]图4是将Web服务组合的Split+Join结构转化为CPN模型示意图。
[0069]图5是将Web服务组合的If-Then-Else结构转化为CPN模型示意图；
[0070]图6是Web服务组合的Itepeat-Until结构转化为CPN模型示意图；
[0071]图7是将OWL-S的绑定(Binding)到CPN模型转化示意图；
[0072]图8是将输入绑定的警备表达转化为ML表达式的说明示意图；
[0073]图9是利用CPN工具对CPN模型中的Web服务进行单步执行的示意图。
【具体实施方式】
[0074]以下将结合附图及实施例来详细说明本发明的实施方式，借此对本发明如何应用技术手段来解决技术问题，并达成技术效果的实现过程能充分理解并据以实施。需要说明的是，只要不构成冲突，本发明中的各个实施例以及各实施例中的各个特征可以相互结合，所形成的技术方案均在本发明的保护范围之内。[0075]另外，在附图的流程图示出的步骤可以在诸如一组计算机可执行指令的计算机系统中执行，并且，虽然在流程图中示出了逻辑顺序，但是在某些情况下，可以以不同于此处的顺序执行所示出或描述的步骤。
[0076]图1是根据本发明一实施例的Web服务组合模型到CPN模型的转化方法的流程图，下面参考图1来详细说明本实施例的各个步骤。
[0077]步骤S110、形式化定义所获取的采用OWL-S语言描述的Web服务组合与有色Petri 网 ο
[0078]首先说明对Web服务组合的形式化定义。
[0079](I)服务S形式化定义
[0080]S = (Name，TextDesc, ID, Profile, Process, Grounding)
[0081]其中，Name是指Web服务(Web Service)的名称，这里是非形式化的字符串；
[0082]TextDesc是指非形式化的描述，用于服务发现；ID是指RDF ID，用来定义全网唯一的服务；Profile是指Web服务的概貌；Process是指Web服务的过程模型；Grounding是指Web服务的实现。
[0083]( 2 ) OWL-S过程P形式化定义
[0084]P = (Input，Output，Precondition, Local, Effect，Participation, Model)
[0085]其中，Input= (Input1 Π Input2 Π...1nputJ，n ≥ 0，Input 是一个服务的有限输入集合；0utput = (Output1 Π Output2 Π...0utputJ，η > 0，Output 是一个服务的有限输出集合；Precondition = (PreCond1 Π PreCond2 Π...PreCondJ，n ^ 0，Precondtion是一个服务的有限先决条件集合；Local = (Local1 Π Local2 Π...LocalJn≥0，Local是一个服务的本地变量集合；Effect = (Effect1 Π Effect2 Π...EffectJ，η > 0，Effect是一个服务的有限影响集合；Participation = (Participation1 Π Participation2 Π...ParticipationJ，η≥2，Participation是一个服务的有限参与者集合，参与者数量必须大于等于2 ；Model是指任何实现过程从先决条件和输入映射到输出和影响的集合，即￥m e Model: m = (Precondition, Input) — (Effect, Output)^
[0086](3) Web 服务简单过程(Web Service Simple Process)形式化定义
[0087]SP= (Ser υ er, Realizer, P)
[0088]其中，Server是实现此原子服务所在的服务器，Server有且仅有一个；Realizer是原子服务的实际执行者，可能是WSDL或者REST等，对应OWL-S中的执行者(PerfonneiO;P = (Input，Output，Precondition，Locals，Effect，Participation，Model)是过程 P 的服务原型。
[0089](4) Web 服务复杂过程(Web Service Composite Process)形式化定义
[0090]CP = (Componets，ControIConstruct, P)
[0091]其中，Components (P)是实现此组合服务的所有子服务；Control Construct是各个 Components 之间执行顺序的控制结构；P = (Input, Output，Precondition, Locals，Effect，Participation, Model)是过程 P 的服务原型。
[0092]下面说明有关有色Petri网络CPN的形式化定义。
[0093]在本实施例中，将有色Petri网CPN定义为一个7元组，如下所示:
[0094]CPN = (C，P，T，F，K，G，E)[0095]其中，C是有限的颜色集合C = IColori IColori是令牌(Token)的颜色}，对应着所有的Web服务信息(Web Service Message)的类型集合；P (Place)是库所的集合,对应Web服务所处的状态；T (Transition)是变迁的集合，对应Web服务处理输入产生输出的过程；F e (Place X Transition) U (Trasition X Place),是指 Web 服务在状态与运行之间变迁；κ是一个数据类型映射函数，K =P-C是指每个库所上的令牌颜色对应的数据类型都是C的一个子集；G是一个变迁到颜色集合的表达式集合，VteTransitiom G(t) e Colors,对应着Web服务执行的先决条件，即一个变迁发生的条件；E是一个状态转化(F)的表达式集合，￥fe.F:G(f) e (Input Output)，对应着Web服务的输入和输出。
[0096]下面说明从Web服务中的一个过程P到有色Petri网络CPN的转化:
[0097]Transform = (P, CPN, I, O)
[0098]其中，P指代过程，CPN代表CPN模型；I是输入库所，I= {m j (mj) eF AFe C PN) = 0，输入库所没有任何输入弧(来自于其他的过程，并非来自本过程P) ；0是输出库所，0= {m I (i,w) e F Λ F e CPN) = 0，输出库所没有任何输出变迁弧(输出到其他过程，但并非来自本过程P )。
[0099]步骤S120、基于有色Petri网，对形式化定义后的Web服务组合进行建模。
[0100]在有色Petri网中，Web服务组合中的主要元素(可称为服务元素)都会转化为对应的CPN模型，在本实施例中，下面基于令牌、库所、变迁这三个元素来说明如何实现Web服务元素在CPN模型中 的建模。
[0101]库所:图形表示为一个圆形节点，代表系统的一个状态，每个库所可以包含多个令牌；
[0102]变迁:图形表示为一个方形节点，代表状态之间的跃迁，一个变迁的发生有以下两个条件:输入库所满足条件、警备表达式(Guard Expression)为真；
[0103]令牌:库所中的动态对象，在变迁发生时从一个库所转移到另一个库所，在CPN中,令牌还包含颜色属性；
[0104]空转换ε:空服务是指不包含任何操作的服务，即输入、输出、先决条件、本地变量、影响、参与者和模式都为空，对应的CPN模型中P，C，K，F也为空；
[0105]原子服务转换:原子服务转换中Transform = (SP, CPN, I, 0)
[0106]SP为只读，不能发生任何变化
[0107]对于CPN 模型 CPN = (C，P, T, F，K, G, E)
ηη
[0108] = Un j m r (J Input. j\JOulpul.\ ’即每个输入和输出类型对应一种颜色；
Ir=I?=?
[0109]P = Pinput U Poutput
[0110]T — Tservice U TinputBin(jing U T0UtpUtBinding「01111 F = ?Ρ V τ τ y ρ )
Lwi 」 1input 1 service^ 1 service r output J
ηft
[0112]K - (..'(U Input,) x Ρ:?!;α；:C(|J on (put,) x
1-1i~l
[0113]一个典型的Web原子服务转化的Petri网模型如图2所示。
[0114]在这部分提出的服务结构，仅仅是结构化转化，不包含任何的数据流信息，仅仅是结构的信息。图2中的开始库所和结束库所并不代表任何的信息，在这里只是为了代指“外界”，否则的话，原子服务的模型的输入绑定变迁和输出绑定变迁，是不符合CPN语义的。
[0115]步骤S130、对建模后的Web组合服务的各种控制结构进行结构转化。
[0116]在本步骤中主要是对各种控制结构例如顺序结构(Sequence)、Split+Join结构、Split结构、If-Then-Else结构、选择结构(Choice)等进行转化。
[0117](I)有关顺序结构
[0118]Sequence的XML语义可定义为如下:
[0119]
【权利要求】
1.一种Web服务组合到有色Petri网模型的转化方法，其特征在于，包括: 形式化定义所获取的采用OWL-S语言描述的Web服务组合和有色Petri网； 基于有色Petri网，对形式化定义后的Web服务组合进行建模； 对建模后的Web服务组合进行结构转化和数据流转化以获取相应的有色Petri网模型。
2.根据权利要求1所述的转化方法， 其特征在于，在对建模后的Web服务组合进行数据流转化的步骤中，进一步包括: 将建模后的Web服务组合中的绑定转化到有色Petri网中； 将建模后的Web服务组合中的表达式转化到有色Petri网中。
3.根据权利要求2所述的转化方法，其特征在于，在绑定类型为ValueOf时，在将建模后的Web服务组合中的绑定转化到有色Petri网中的步骤中，进一步包括: 步骤10，生成关于该Web组合服务的开始库所、标签、结束库所和结束绑定变迁； 步骤20,对于该Web组合服务中所有输入Input1, Input2...1nputn,使用ML语言定义一个如下颜色集:
colsetcol_name = productcontrol氺!Lnput1^input2*...^inputn其中，control是一种特殊的类型，其类型为C0NTR0L_T0KEN，用于控制组合服务流程，对于原子服务，control总为真,并将开始库所的类型定义为col_name, product表示后面的表达式产生输出结果，*表不兀素之间组合的关系； 步骤30,对于该Web组合服务的所有输出Output1, Output2...0utputn,使用ML语言定义一个颜色集:
colset' col_name = productcontrol氺Output1^Output2氺...^outputn, 其中，control是一种特殊的类型，其类型为C0NTR0L_T0KEN，用于控制组合服务流程，对于原子服务，control总为真,并将结束库所的类型定义为col_name ； 步骤40，连接开始库所到标签，以及结束绑定变迁到结束库所； 步骤50，获得该Web组合服务的所有组合结构，如果组合结构为原子服务，则使用第一算法，否则使用第二算法，生成每个子有色Petri网模型； 步骤60，根据组合结构的类型的不同，生成不同的控制库所，进而控制有色Petri网的结构化模型； 步骤70，根据该Web组合服务的生成，连接所有与结果相关的库所到结束绑定变迁。
4.根据权利要求2所述的转化方法，其特征在于，在绑定类型为ValueOf时，在将建模后的Web服务组合中的绑定转化到有色petri网中包括: 步骤11，根据第二算法生成该Web服务组合中所有执行所对应的过程有色Petri网模型的集合M ; 步骤21，生成输入绑定变迁和输出绑定变迁，并建立输入绑定变迁到输入库所，以及输出库所到输出绑定变迁的弧，且每个弧上的ML表达式为:
兀组(control, inputs input2...1nputn) 步骤31，找到每个执行的所有输入，在过程有色Petri网模型的集合M中找到每个输入所对应的执行的过程有色Petri网模型m ； 步骤41，在有向图G中创建节点，节点的键为执行的序列号；步骤51，对于执行所有的输入，在有向图G中寻找源执行节点，如果该源执行节点与现节点没有边，则进入步骤61，否则进入步骤71 ； 步骤61，创建从源执行节点到现节点的边，并且初始化边的向量表； 步骤71，向边的向量表中添加输入的序列号； 步骤81，对于执行的所有的输入，生成哈希对，令键为输入的通用资源标识符，取值为执行所对应的过程有色Petri网模型，加入到哈希表中； 步骤91，判断是否还有执行未被处理，若存在则返回步骤11 ； 步骤101，对有向图G进行广度优先遍历，对于每个边，生成参数绑定变迁的库所，库所类型和弧的表达式为:
元组(control, inputs input2...1nputn) 其中，Inputi作为有向图边上向量表的集合。
5.根据权利要求3或4所述的转化方法，其特征在于，所述第二算法包括: 步骤521，根据所述第一算法生成该Web服务组合所有执行所对应的过程有色Petri网模型的集合M ; 步骤522，生成输入绑定变迁和输出绑定变迁，并建立输入绑定变迁至输入库所，以及输出库所至输出绑定变迁的弧，令每个弧上的ML表达式为:
兀组(control, inputs input2...1nputn)； 步骤523，找到每个执行的所有输入，在过程有色Petri网模型的集合M中找到每个输入所对应的执行的过程有色Petri网模型m ； 步骤524，生成一个参数绑定变迁的库所p，将每个输入所对应的执行的过程有色Petri网模型m中的输出绑定变迁与库所p，以及库所P与过程有色Petri网模型的集合M中的输入绑定变迁连接； 步骤525，对于执行的所有输入，生成哈希对，令键为输入的通用资源标识符，取值为执行所对应的过程有色Petri网模型，加入到哈希表中。
6.根据权利要求3所述的转化方法，其特征在于，所述第一算法包括以下步骤: 步骤511，生成关于该Web组合服务的输入库所、输出库所和Web服务执行变迁； 步骤512，生成分别连接输入库所至Web服务执行变迁以及Web服务执行变迁至输出库所的输入弧和输出弧； 步骤513,对于该Web组合服务中所有输入Input1, Input2...1nputn,使用ML语言定义一个如下颜色集colset:
colsetcol_name = productcontrol氺!Lnput1^input2*...^inputn其中，control是一种特殊的类型，其类型为C0NTR0L_T0KEN，用于控制组合服务流程，对于原子服务，control总为真,并将输入库所的类型定义为col_name, product表示后面的表达式产生输出结果，*表不兀素之间组合的关系； 步骤514,对于该Web组合服务的所有输出Output1, Output2...0utputn,使用ML语言定义一个颜色集colset’:
colset' col_name = productcontrol氺Output1^Output2氺...氺Outputn其中，control是一种特殊的类型，用于控制组合服务流程，对于原子服务，control总为真，并将输出库所的类型定义为col_name。
7.根据权利要求2所述的转化方法，其特征在于，在将建模后的Web服务组合中的表达式转化到有色Petri网中，包括: 步骤12，读取该Web服务组合的SWRL表达式，分析SWRL结构，将其分解为属性集和变且隹里果； 步骤22，生成状态变迁； 步骤23，分析变量集中变量属性来源，若变量为变量名，进入步骤24，否则进入步骤25 ； 步骤24，在全局变量表中查找变量的源执行，并且建立从该源执行的输出绑定变迁到状态变迁，并将状态变迁的警备变迁设置为该逻辑表达式，算法结束； 步骤25，若变量为常量，且常量输入为xsd类型，则直接转化为字符常量。
8.根据权利要求1所述的转化方法，其特征在于，还包括: 在有色Petri网模型中调用OWL-S服务； 对调出的OWL-S服务进行模拟运行和验证。
9.根据权利要求8所述的转化方法，其特征在于，在有色Petri网模型中调用OWL-S服务的步骤中，进一步包括: 在生成原子服务模型时，在Web组合服务的变迁中自动嵌入Web服务调用模块，并且同时在服务端生成监听有色Petri网模型的代码，在每次有色Petri网模型请求Web服务调用时，自动解析输入并且执行Web组合服务的OWL-S服务的输出。
10.根据权利要求8或9所述的转化方法，其特征在于，对调出的OWL-S服务进行模拟运行和验证的步骤中，进一步包括: 对OWL-S服务进行单步执行/或多步执行的模拟运行； 对该有色Petri网模型的可达性、有界性和参数一致性进行验证。
【文档编号】G06F9/44GK103902282SQ201410071950
【公开日】2014年7月2日 申请日期:2014年2月28日 优先权日:2014年2月28日
【发明者】田媛媛, 李俊丽, 王峻青, 尹殷, 宋潇豫, 张永军 申请人:中标软件有限公司