Paper Publications

• [1]杜彦华*, 范玉顺. 工作流多过程动态时序一致性的实时模型检测, 机械工程学报, 2010, 46(2): 185-191..
• [2]杜彦华*, 范玉顺. 资源约束下多过程的不确定时间建模与分析. 机械工程学报, 2010(04): 169-176..
• [3]杜彦华*, 吴秀丽, 钱程, 刘春煌. 基于科学工作流的铁路行车安全评价系统研究. 铁道学报. 2012, 34(12): 76-82..
• [4]杜彦华*, 王啸飞, 吴秀丽, 范玉顺. 服务流程动态分割执行中的时序一致性的实时验证, 计算机集成制造系统, 2012, 18(6): 1315-1326..
• [5]杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126..
• [6]Yanhua Du*, Benyuan Yang, Wei Tan. A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services. The 22nd IEEE International Conference on Web Services (ICWS 2015), June 27- July 2, 2015, New York, USA: 567-574..
• [7]Yanhua Du, Pengcheng Xiong*, Yushun Fan, Xitong Li. Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (TSMCA), 2011, 41(6):1166-1181..
• [8]Yanhua Du*, Xitong Li, PengCheng Xiong. A Petri Net Approach to Mediation-aided Composition of Web Services. IEEE Transactions on Automation Science and Engineering (TASE), 2012, 9(2): 429-435..
• [9]Yanhua Du, Wei Tan*, MengChu Zhou. Timed Compatibility Analysis of Web Service Composition: A Modular Approach based on Petri nets. IEEE Transactions on Automation Science and Engineering (TASE), 2014, 11(2): 594-606..
• [10]Yanhua Du, Li Wang, Xitong Li*. Analyzing Degree of Parallelism for Concurrent Timed Workflow Processes with Shared Resources. IEEE Transactions on Engineering Management (TEM), 2017, 64(1): 42-56..