公开(公告)号：CN101872302B

公开(公告)日：2013-02-27

申请号：CN201010173783.5

申请日：2010-05-14

Applicant: 东南大学

Inventor： 邱栋 ,  李必信 ,  周颖 ,  王迪

IPC: G06F9/44

Abstract: 本发明公布了一种基于BPEL的控制信息流图的建模方法，包括如下步骤：步骤1)对BPEL文档进行解析，生成DOM树；步骤2)遍历DOM树结点，当遇到可以映射为BCMFG的DOM树节点时，创建BCMFG元素，并给BCMFG元素的域赋值；步骤3)利用BCMFG元素间的控制关系构建BCMFG模型；步骤4)根据BCMFG模型计算所有BCMFG路径。本发明不仅可以表达BPEL流程，还能表达组合服务内部的消息交互行为，从真正意义上对组合服务进行建模。

公开(公告)号：CN101882106B

公开(公告)日：2012-10-24

申请号：CN201010198471.X

申请日：2010-06-11

Applicant: 东南大学

Inventor： 王猛 ,  李必信 ,  王正山 ,  蒋玉婷 ,  张功源 ,  邱栋 ,  吉顺慧

IPC: G06F11/36

Abstract: 本发明提出了一种基于灾变的演化测试的动态优化方法，主要用于解决演化测试在演化过程中出现的种群早熟退化现象，本发明涉及到的关键操作包括：(1)生成初始种群时，需要度量初始种群的多样性，如果初始种群的多样性高于第一阀值，则表示种群中的个体过于分散，搜索过程较难收敛，此时需要重新生成初始种群直到初始种群多样性低于第一阀值；(2)演化过程中周期性的度量种群的多样性，一旦发现种群多样性低于第二阀值且未找到全局最优解则判定种群早熟退化，此时采取灾变操作以帮助种群恢复多样性。

公开(公告)号：CN101882106A

公开(公告)日：2010-11-10

申请号：CN201010198471.X

申请日：2010-06-11

Applicant: 东南大学

Inventor： 王猛 ,  李必信 ,  王正山 ,  蒋玉婷 ,  张功源 ,  邱栋 ,  吉顺慧

IPC: G06F11/36

Abstract: 本发明提出了一种基于灾变的演化测试的动态优化方法，主要用于解决演化测试在演化过程中出现的种群早熟退化现象，本发明涉及到的关键操作包括：(1)生成初始种群时，需要度量初始种群的多样性，如果初始种群的多样性高于第一阀值，则表示种群中的个体过于分散，搜索过程较难收敛，此时需要重新生成初始种群直到初始种群多样性低于第一阀值；(2)演化过程中周期性的度量种群的多样性，一旦发现种群多样性低于第二阀值且未找到全局最优解则判定种群早熟退化，此时采取灾变操作以帮助种群恢复多样性。

公开(公告)号：CN101872302A

公开(公告)日：2010-10-27

申请号：CN201010173783.5

申请日：2010-05-14

Applicant: 东南大学

Inventor： 邱栋 ,  李必信 ,  周颖 ,  王迪

IPC: G06F9/44

Abstract: 本发明公布了一种基于BPEL的控制信息流图的建模方法，包括如下步骤：步骤1)对BPEL文档进行解析，生成DOM树；步骤2)遍历DOM树结点，当遇到可以映射为BCMFG的DOM树节点时，创建BCMFG元素，并给BCMFG元素的域赋值；步骤3)利用BCMFG元素间的控制关系构建BCMFG模型；步骤4)根据BCMFG模型计算所有BCMFG路径。本发明不仅可以表达BPEL流程，还能表达组合服务内部的消息交互行为，从真正意义上对组合服务进行建模。