北方工业大学软件工程研究生导师介绍：郭峰

导师信息来源：中国半岛真人体育 2016-07-11　相关院校：北方工业大学

北方工业大学软件工程研究生导师介绍：

2008年毕业于北京航空航天大学计算机学院,获博士学位. 2008年7月任教于北方工业大学信息工程学院计算机系, 发表论文十余篇,其中EI检索和核心期刊多篇. 主要研究方向为软件工程, Petri网,服务计算等.

个人简历

教授课程

软件工程
软件体系结构
Java语言程序设计

主要研究领域和方向

Petri网建模和性能分析技术、软件工程、信息系统开发与集成、面向服务计算等。

近年来主要科研项目

近五年的荣誉和成果

年月	名称	出版、获奖、专利信息	检索情况/是否核心
2009.12	UML2.0顺序图的形式化研究	计算机工程与设计, vol.30(24), p 5646-5649	中文核心期刊
2009.9	基于UML的多Agent系统软件体系结构建模研究	计算机应用研究,vol.26(9),p 3384-3387	中文核心期刊
2009.12	Translating UML Statechart Diagrams to X-nets	2009 1st International Conference on Information Science and Engineering, ICISE 2009, IEEE Computer Society, p 5279-5282	EI(20102212965341), 国际会议正式文集
2009.12	Description and Analyzing the Reliability of Web Services Composition based on Petri Nets	2009 1st International Conference on Information Science and Engineering, ICISE 2009, IEEE Computer Society, p 5329-5332	EI(20102212965352), 国际会议正式文集
2010.3	Research on the Web Services Selection Problem	2nd International Workshop on Education Technology and Computer Science, ETCS 2010，IEEE Computer Society, p 284-287	EI(20102312986219), 国际会议正式文集
2010.5	Introduction to the Application of Complex Networks in softwar engineering	Proceedings of the International Conference on E-Business and E-Government, ICEE 2010,IEEE Computer Society, p 4162-4165	EI(20104913458839),国际会议正式文集
2011.3	Research of BPEL Modeling Technique Based on Colored Petri Net	3td International Workshop on Education Technology and Computer Science, ETCS 2011，IEEE Computer Society,p39-46	国际会议正式文集
2011.5	Deciding Substitutability of Web Services with Petri Net Reduction Techniques	10th IEEE/ACIS International Conference on Computer and Infornation Science, p 323-327	EI(20115214630444),国际会议正式文集
2013.5	CTL Model Checking Algorithm Using MapReduce	Lecture Notes in Electrical Engineering, vol 236, Emerging Technologies for Information Systems,Computing, and Managment, p 341-348	EI(20132716465371 )国际会议正式文集
2013.6	基于Petri网的Web服务描述及其可替换性分析	计算机集成制造系统, vol.19(2), p 1423-1432	EI(20133016533970 ),中文核心期刊
2013.9	Process Net: A petri net model with the characteristics of process algebras	Journal of Chemical and Pharmaceutical Research, vol.5(9),p 347-354	EI(20134416928811 ),英文期刊
2013.12	一种面向服务Petri网模型及其结构化操作语义	小型微型计算机系统, vol.34(12),p 2739-2743	中文核心期刊