Scientific Research

Research Field

No content

Paper Publications

+more

• 杜彦华*, 范玉顺. 工作流多过程动态时序一致性的实时模型检测, 机械工程学报, 2010, 46(2): 185-191..
• 杜彦华*, 范玉顺. 资源约束下多过程的不确定时间建模与分析. 机械工程学报, 2010(04): 169-176..
• 杜彦华*, 吴秀丽, 钱程, 刘春煌. 基于科学工作流的铁路行车安全评价系统研究. 铁道学报. 2012, 34(12): 76-82..
• 杜彦华*, 王啸飞, 吴秀丽, 范玉顺. 服务流程动态分割执行中的时序一致性的实时验证, 计算机集成制造系统, 2012, 18(6): 1315-1326..
• 杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126..
• 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..

Patents

No content

Published Books

No content

Research Projects

• 中国博士后基金, 工作流的不确定性时间建模与分析研究. 2007-2008.,
• 北京市自然科学基金-预探索项目(4133087), 时序约束下服务流程的兼容性分析、动态监测及异常处理研究. 2013.01-2014.06.,
• 国家自然科学基金-青年科学基金项目(61004109), 企业协同中服务流程的适配分析、动态验证与性能评价研究. 2011-2013.,
• 国家自然科学基金-面上项目(61473035), 云计算环境下时序感知服务流程的动态适配与运行保障研究. 2015-2018.,