【人物简介】

 

【研究方向】

【研究成果】

论文： 1.Pi+演算及其对Petri网的描述 2.复杂分支和同步模式的Pi演算描述 3.用Pi演算为业务过程建模的生命周期 4.Web 服务的Pi演算描述 5. Petri网和Pi演算模型的表达能力 软件著作权： 1． 流程生产线可信评估工具系统 2． 度量建模工具系统 3． 服务组合流程建模工具系统 申请专利： 1基于Pi演算的分布式流程验证系统及方法 2流程管理生产线软件度量建模的系统及方法 3对生产线中的BPM构件可信评估的系统及方法

【科研项目】

1.863重点项目：面向流程管理的软件生产线， 2.863计划子项目：嵌入式软件B方法需求描述与转换方法研究及工具开发 3国家科技重大专项专题：集成化中间件套件产品研发及产业化 4西北大学项目：软件工程的形式化方法。 5. 横向项目：B2AA软件系统的开发与测试 6 横向项目：云计算及其支撑网络

【论文著作】