%0 Journal Article %T BPEL谓词约束建模及可行路径分析 %A 唐佳俊 %A 肖芳雄 %A 陈 哲 %A 黄志球 %A 王 进 %J - %D 2014 %X 为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行.. %K [服务组合 %K 业务流程执行语言 %K 谓词约束 %K XPath %K 路径分析 %K service composition %K business process execution language (BPEL) %K predicate constraint %K XPath %K path analysis] %U http://crad.ict.ac.cn/CN/Y2014/V51/I4/838