一种将协作图编排映射为Peer的方法及装置制造方法及图纸

本申请公开了一种将协作图编排映射为Peer的方法及装置，所述方法为：提取协作图中消息间的依赖关系集；从角色出发，提取协作图中每个角色所对应的消息集；根据所述依赖关系集，确定所述每个角色所对应的消息集中消息间的依赖关系；根据所述依赖关系，对每个角色进行Petri网编码，得到基于Petri网定义的参与者。所述装置包括依赖关系提取模块、消息提取模块、依赖关系确定模块和Petri网编码模块。本申请解决了无法将协作图编排直接映射为参与者、并对编排的可实现性分析提供分析技术的问题，将基于协作图定义的编排映射为基于Petri网定义的Peer，为编排的可实现性分析提供分析技术。

【技术实现步骤摘要】

本申请属于业务过程分析
，具体地说，涉及一种将协作图编排映射为Peer的方法，还涉及一种将协作图编排映射为Peer的装置。
技术介绍
视频随着全球经济化的发展和企业信息化程度的不断提高，企业的经营模式发生了重大的变化，企业的业务活动已从企业内单目标为导向的独立模式发展成为跨企业多目标合作的协同模式，协同商务环境下，没有一个企业是独立存在的。为实现共同的商业目标，各个组织的业务流程常常需要跨越传统的组织边界，同其他组织的业务流程进行交互。在此背景下，如何将不同组织的松散耦合的业务过程通过协同整合为新的商业流程即跨组织业务过程，已成为了业务过程管理领域学术研究的热点问题。由于建模者定义的编排未必总能被参与者正确实现，因而对编排进行可实现性分析成为了实现自上而下式跨组织业务流程建模需解决的关键问题。通常，对编排进行可实现性分析涉及三个步骤：(1)将编排映射为参与者；(2)将参与者经同步通信或异步通信组合为编排实现；(3)检验编排实现是否满足编排。其中，第一步最为关键，因为它在很大程度上决定了可实现性分析的结果。虽然协作图作为学术界公认的一种图形化的编排建模语言，能直观定义编排，但它本身缺乏分析技术，建模者无法将协作图编排直接映射为参与者。因此，如何将协作图编排映射为形式化定义的参与者，并为可实现性分析提供分析技术，成为了业务过程分析领域研究的难点。虽然近年来已有文献将协作图编排映射为基于自动机定义的参与者或基于进程代数定义的参与者。将协作图编排映射为基于自动机定义的参与者，其以自动机为形式化基础，将协作图编排形式转换为基于自动机定义的会话协议，再将会话协议映射为基于自动机定义的参与者(Bultan T,Fu X.Specification of realizable service conversations using collaboration diagrams[C].Service Oriented Computing and Applications,2008,2(1):27-39.)，但是基本自动机不能描述并发，会丢失协作图中的语义。将协作图编排映射为基于进程代数定义的参与者，其以进程代数LOTOS NT为形式化基础，将协作图编排形式转换为基于LOTOS NT的进程表达式，再将进程表达式映射为基于LOTOS NT定义的参与者(Salaün G,Bultan T,Roohi N.Realizability of Choreographies Using Process Algebra Encodings[J].IEEE Transactions on Services Computing,2012,5(3):167-182.)，这种方法转换后用进程代数进行表示，数学化的定义使得结果不够直观。而截止目前，尚未发现有关工作将协作图编排直接映射为基于Petri网定义的参与者。
技术实现思路
有鉴于此，本申请针对无法将协作图编排直接映射为参与者、并对编排的可实现性分析提供分析技术的问题，提供了一种将协作图编排映射为Peer的方法及装置，将基于协作图定义的编排映射为基于Petri网定义的Peer，为编排的可实现性分析提供分析技术。为了解决上述技术问题，本申请公开了一种将协作图编排映射为Peer的方法，包括以下步骤：步骤1，提取协作图中消息间的依赖关系集；步骤2，从角色出发，提取协作图中每个角色所对应的消息集；步骤3，根据所述依赖关系集，确定所述每个角色所对应的消息集中消息间的依赖关系；步骤4，根据所述依赖关系，对每个角色进行Petri网编码，得到基于Petri网定义的参与者。进一步地，所述步骤1包括：步骤1.1，以协作图中所定义的所有消息为矩阵的行和列，生成消息关系表；步骤1.2，根据协作图中线程内部消息间的全序关系，将相邻消息间的全序关系在所述消息关系表中标注为直接依赖；步骤1.3，根据协作图中线程间消息间的依赖关系，将消息间的依赖关系在所述消息关系表中标注为直接依赖；步骤1.4，获得由所述全序关系和所述依赖关系的并集组成的依赖关系的传递闭包，排除其中的直接依赖关系，得到消息间的间接依赖关系，并在所述消息关系表中进行标注。进一步地，所述每个角色所对应的消息集为该角色在协作图中所涉及的所有发送消息和所有接受消息的并集。进一步地，所述确定所述每个角色所对应的消息集中消息间的依赖关系具体为：确定每个角色对应消息集中相邻消息间的依赖关系，删除消息集中相邻消息间的冗余依赖关系。进一步地，所述步骤4包括：步骤4.1，将每个角色对应消息集中的每个消息编码为Petri网的变迁，依据消息类型，将单一消息、循环消息和选择消息分别编排为Petri网中的串行块、循环块和选择块；步骤4.2，将每个角色所对应消息集中消息间的依赖关系，编码为Petri网中相应变迁间的串行关系；步骤4.3，对前集为空的变迁添加一个开始库所，对后集为空的变迁添加一个结束库所；步骤4.4，在每个开始库所中添加1个托肯。进一步地，所述步骤4.2还包括：若存在循环类型的消息与循环类型的消息相连，则在这两个循环消息之间增加一个没有执行语义的τ变迁，以保证消息间的依赖关系。本申请还公开了一种将协作图编排映射为Peer的装置，包括：依赖关系提取模块，用于提取协作图中的消息，生成消息关系表，并对所述消息关系表中消息间的依赖关系进行标注，获得依赖关系集；消息提取模块，用于提取协作图中每个角色所对应的消息集；依赖关系确定模块，用于根据所述依赖关系集，确定所述每个角色所对应的消息集中消息间的依赖关系；Petri网编码模块，用于根据所述依赖关系，对每个角色进行Petri网编码，得到基于Petri网定义的参与者。进一步地，所述对所述消息关系表中消息间的依赖关系进行标注具体为：根据协作图中线程内部消息间的全序关系，将相邻消息间的全序关系在所述消息关系表中标注为直接依赖；根据协作图中线程间消息间的依赖关系，将消息间的依赖关系在所述消息关系表中标注为直接依赖；获得由所述全序关系和所述依赖关系的并集组成的依赖关系的传递闭包，排除其中的直接依赖关系，得到消息间的间接依赖关系，并在所述消息关系表中进行标注。进一步地，所述确定所述每个角色所对应的消息集中消息间的依赖关系具体为：根据消息关系表，确定每个角色对应消息集中相邻消息间的依赖关系，删除消息集中相邻消息间的冗余依赖关系。进一步地，所述对每个角色进行Petri网编码具体为：将每个角色对应消息集中的每个消息编码为Petri网的变迁，依据消息类型，将单一消息、循环消息和选择消息分别编排为Petri网中的串行块、循环块和选择块；将每个角色所对应消息集中消息间的依赖关系，编码为Petri网中相应变迁间的串行关系；若存在循环类型的消息与循环类型的消息相连，则在这两个循环消息之间增加一个没有执行语义的τ变迁，以保证消息间的依赖关系；对前集为空的变迁添加一个开始库所，对后集为空的变迁添加一个结束库所；在每个开始库所中添加1个托肯。与现有技术相比，本申请可以获得包括以下技术效果：(1)本申请通过提取协作图中消息间的依赖关系集；从角色出发，提取协作图中每个角色所对应的消息集；根据所述依赖关系集，确定所述每个角色所对应的消息集中消息间的依赖关本文档来自技高网...

【技术保护点】
一种将协作图编排映射为Peer的方法，其特征在于，包括以下步骤：步骤1，提取协作图中消息间的依赖关系集；步骤2，从角色出发，提取协作图中每个角色所对应的消息集；步骤3，根据所述依赖关系集，确定所述每个角色所对应的消息集中消息间的依赖关系；步骤4，根据所述依赖关系，对每个角色进行Petri网编码，得到基于Petri网定义的参与者。

【技术特征摘要】
1.一种将协作图编排映射为Peer的方法，其特征在于，包括以下步骤：步骤1，提取协作图中消息间的依赖关系集；步骤2，从角色出发，提取协作图中每个角色所对应的消息集；步骤3，根据所述依赖关系集，确定所述每个角色所对应的消息集中消息间的依赖关系；步骤4，根据所述依赖关系，对每个角色进行Petri网编码，得到基于Petri网定义的参与者。2.如利要求1所述的一种将协作图编排映射为Peer的方法，其特征在于，所述步骤1包括：步骤1.1，以协作图中所定义的所有消息为矩阵的行和列，生成消息关系表；步骤1.2，根据协作图中线程内部消息间的全序关系，将相邻消息间的全序关系在所述消息关系表中标注为直接依赖；步骤1.3，根据协作图中线程间消息间的依赖关系，将消息间的依赖关系在所述消息关系表中标注为直接依赖；步骤1.4，获得由所述全序关系和所述依赖关系的并集组成的依赖关系的传递闭包，排除其中的直接依赖关系，得到消息间的间接依赖关系，并在所述消息关系表中进行标注。3.如利要求1所述的一种将协作图编排映射为Peer的方法，其特征在于，所述每个角色所对应的消息集为该角色在协作图中所涉及的所有发送消息和所有接受消息的并集。4.如利要求1所述的一种将协作图编排映射为Peer的方法，其特征在于，所述确定所述每个角色所对应的消息集中消息间的依赖关系具体为：确定每个角色对应消息集中相邻消息间的依赖关系，删除消息集中相邻消息间的冗余依赖关系。5.如利要求1所述的一种将协作图编排映射为Peer的方法，其特征在于，所述步骤4包括：步骤4.1，将每个角色对应消息集中的每个消息编码为Petri网的变迁，依据消息类型，将单一消息、循环消息和选择消息分别编排为Petri网中的串行块、循环块和选择块；步骤4.2，将每个角色所对应消息集中消息间的依赖关系，编码为Petri网中相应变迁间的串行关系；步骤4.3，对前集为空的变迁添加一个开始库所，对后集为空的变迁添加一个结束库所；步骤4.4，在每个开始库所中添加1个托肯。6.如利要求5所述的一种将协作图编排映射为Peer的方法，其特征在于，所述步骤4.2还包括：若存在循...

【专利技术属性】
技术研发人员：代飞，张蕾，莫启，张翰林，王博，刘亚博，赵娜，
申请(专利权)人：云南大学，
类型：发明
国别省市：云南;53