中國考研網(wǎng) 考研網(wǎng) » 院校信息 » 北方工業(yè)大學(xué) » 研究生導(dǎo)師介紹

北方工業(yè)大學(xué)軟件工程研究生導(dǎo)師介紹：郭峰

分類：導(dǎo)師信息來源：中國考研網(wǎng) 2016-07-11　相關(guān)院校：北方工業(yè)大學(xué)

2025考研數(shù)學(xué)全程班早鳥3班

北方工業(yè)大學(xué)2025考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

北方工業(yè)大學(xué)軟件工程研究生導(dǎo)師介紹：

2008年畢業(yè)于北京航空航天大學(xué)計(jì)算機(jī)學(xué)院,獲博士學(xué)位. 2008年7月任教于北方工業(yè)大學(xué)信息工程學(xué)院計(jì)算機(jī)系, 發(fā)表論文十余篇,其中EI檢索和核心期刊多篇. 主要研究方向?yàn)檐浖こ? Petri網(wǎng),服務(wù)計(jì)算等.

個(gè)人簡(jiǎn)歷

教授課程

軟件工程
軟件體系結(jié)構(gòu)
Java語言程序設(shè)計(jì)

主要研究領(lǐng)域和方向

Petri網(wǎng)建模和性能分析技術(shù)、軟件工程、信息系統(tǒng)開發(fā)與集成、面向服務(wù)計(jì)算等。

近年來主要科研項(xiàng)目

近五年的榮譽(yù)和成果

年月	名稱	出版、獲獎(jiǎng)、專利信息	檢索情況/是否核心
2009.12	UML2.0順序圖的形式化研究	計(jì)算機(jī)工程與設(shè)計(jì), vol.30(24), p 5646-5649	中文核心期刊
2009.9	基于UML的多Agent系統(tǒng)軟件體系結(jié)構(gòu)建模研究	計(jì)算機(jī)應(yīng)用研究,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), 國際會(huì)議正式文集
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), 國際會(huì)議正式文集
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), 國際會(huì)議正式文集
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),國際會(huì)議正式文集
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	國際會(huì)議正式文集
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),國際會(huì)議正式文集
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 )國際會(huì)議正式文集
2013.6	基于Petri網(wǎng)的Web服務(wù)描述及其可替換性分析	計(jì)算機(jī)集成制造系統(tǒng), 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	一種面向服務(wù)Petri網(wǎng)模型及其結(jié)構(gòu)化操作語義	小型微型計(jì)算機(jī)系統(tǒng), vol.34(12),p 2739-2743	中文核心期刊