郭小群

 undefined

职称:副教授


个人简介:

主要研究领域:软件工程及其形式化方法,工作流技术,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. 横向项目:云计算及其支撑网络

教学情况:

主要讲授《软件工程》



地址:西安市长安区郭杜教育科技产业园区学府大道1号  邮编:710127

版权所有:西北大学 ICP备案号:陕ICP备05010980号        后台登陆