导师信息#北方工业大学计算机科学与技术研究生导师介绍#郭峰 ...

zwh661220

北方工业大学计算机科学与技术研究生导师介绍：

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 中文核心期刊 科研项目、学术成果

近年来出版的主要教材与专著

在研主要项目

国内外学术活动