北方工业大学

年月

名称

出版、获奖、专利信息

检索情况/是否核心

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

中文核心期刊