|
年月
|
名称
|
出版、获奖、专利信息
|
检索情况/是否核心
|
|
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
|
中文核心期刊
|
