郭小群

---

职称：副教授
副教授


软件工程及其形式化方法，工作流技术，Web服务与云计算

---

科研成果：
论文：
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横向项目：云计算及其支撑网络
教学情况
主要讲授《软件工程》
其它信息
null