[发明专利]Web服务组合到有色Petri网的模型转化方法

摘要

本发明公开了一种Web服务组合到有色Petri网模型的转化方法，包括形式化定义所获取的采用OWL‑S语言描述的Web服务组合和有色Petri网；基于有色Petri网，对形式化定义后的Web服务组合进行建模；对建模后的Web服务组合进行结构转化和数据流转化以获取相应的有色Petri网模型。本发明的转化方法，其中包括控制结构的绑定、参数绑定的转化，参数绑定主要针对基于资源描述框架模式的参数类型到CPN模型中颜色令牌的转化。相对于原来形式化转化方法，本发明更注重有色Petri模型与原Web服务组合的一致性，不仅支持结构化的转化方式，还支持参数类型检查、表达式映射的功能。

主权项

一种Web服务组合到有色Petri网模型的转化方法，其特征在于，包括：形式化定义所获取的采用OWL‑S语言描述的Web服务组合和有色Petri网；基于有色Petri网，对形式化定义后的Web服务组合进行建模；对建模后的Web服务组合进行结构转化和数据流转化以获取相应的有色Petri网模型，其中，在对建模后的Web服务组合进行数据流转化的步骤中，进一步包括：将建模后的Web服务组合中的绑定转化到有色Petri网中；将建模后的Web服务组合中的表达式转化到有色Petri网中，其中，在将建模后的Web服务组合中的表达式转化到有色Petri网中，包括：步骤12，读取该Web服务组合的SWRL表达式，分析SWRL结构，将其分解为属性集和变量集；步骤22，生成状态变迁；步骤23，分析变量集中变量属性来源，若变量为变量名，进入步骤24，否则进入步骤25；步骤24，在全局变量表中查找变量的源执行，并且建立从该源执行的输出绑定变迁到状态变迁，并将状态变迁的警备变迁设置为逻辑表达式，算法结束；步骤25，若变量为常量，且常量输入为xsd类型，则直接转化为字符常量。