相似文献/References:
[1]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131.
LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(01):131.
[2]张文博 史维峰.基于BPEL和QoS的动态Web服务组合框架研究[J].计算机技术与发展,2009,(11):72.
ZHANG Wen-bo,SHI Wei-feng.Research on Dynamic Web Services Composition Based on BPEL and QoS[J].,2009,(01):72.
[3]庞士焕 朱相冰 张琦[] 汤萍萍[].基于TLA的正确性验证方法[J].计算机技术与发展,2009,(03):55.
PANG Shi-huan,ZHU Xiang-bing,ZHANG Qi[],et al.A Method of Verification Based on TLA[J].,2009,(01):55.
[4]姬广永 王红 阎女恶.基于BPELJ的分层工作流管理系统研究与实现[J].计算机技术与发展,2008,(02):143.
JI Guang-yong,WANG Hong,YAN Yi.Research and Implementation on Hierarchy Workflow Management System Based on BPELJ[J].,2008,(01):143.
[5]盛步云 万哲 丁毓峰.BPMS中一种基于流程异常库的异常处理方法[J].计算机技术与发展,2008,(12):84.
SHENG Bu-yun,WAN Zhe,DING Yu-feng.A Method Based on Process Abnormity Set for Resolving Abnormity in BPMS[J].,2008,(01):84.
[6]刘宁波 王建良 姜华.基于Web Services工作流管理系统的研究与应用[J].计算机技术与发展,2007,(09):234.
LIU Ning-bo,WANG Jian-liang,JIANG Hua.Study and Application of Workflow Management System Based on Web Services[J].,2007,(01):234.
[7]洪晓霞 方洁 江丕俊.基于Petri网业务流程建模及到BPEL4WS的转换[J].计算机技术与发展,2011,(02):170.
HONG Xiao-xia,FANG Jie,JIANG Pi-jun.Translating the Model of Business Process from Petri net to BPEL[J].,2011,(01):170.
[8]黄亮 姚放吾 金仙力.Apache ODE环境下Web服务组合技术的研究[J].计算机技术与发展,2011,(07):98.
HUANG Liang,YAO Fang-wu,JIN Xian-li.Research of Web Service Combination in Apache ODE Environment[J].,2011,(01):98.