北方工業大學軟件工程研究生導師介紹：郭峰

導師信息來源：中國考研網 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	中文核心期刊