教师详细信息

姓名:  刘伟 性别:  男
学历:  博士 职称:  教授
办公室:  计算机系 隶属部门:  教科研办公室
联系方式:  15063992767,liuwei_doctor@yeah.net,欢迎2019级研究生联系
个人简介:  
    博士,教授,博导,主持国家自然科学基金面上项目,山东省自然科学基金面上项目等;获省科技进步奖、青岛市自然科学奖、省优秀博士论文等多项科研奖励。发表论文30余篇,其中第一作者作者SCI、EI检索10余篇;主要研究方向:工作流、服务计算、Petri网理论与应用、软件形式化分析与验证。
详细介绍:

 

 教授,博导,博士,计算机科学与技术系
     从事工作流、服务组合、、大数据分析、Petri网理论与应用等方面的研究工作。在《Enterprise Information System》、《IEEE Transactions on Systems Man and Cybernetics: Systems》、《计算机学报》、《计算机集成制造系统》、《Journal of Software Engineering》、《Journal of Applied Science》、《Journal of Computational Information Systems》等国内外学术期刊上发表录用相关论文30余篇,SCIEI期刊检索10余篇;参编教材1部;主持参与项目29项,其中主持国家自然科学基金面上项目1项、山东省自然科学基金1项、山东省高等学校科技计划项目1项,主持山东省研究生教育创新计划资助项1项,主持嵌入式系统与服务计算教育部重点实验室开放课题基金1项,以主要成员(第二、三位)参加973专题、863子课题、国家自然科学基金重大研究计划子项目3项,以主要成员(第三位)参加山东省科技攻关、教育部项目项,以主要成员(第二位)参与教育部等重点实验室项目3项,以其它位次参与国家自然科学基金重点课题、863子课题、省、部、厅、校各级项目17项;荣获8项省、市厅级奖励,2014年获山东省优秀博士论文奖、有1项科技成果获2013年山东高等学校优秀科研成果(自然科学类)奖(第一位)、有1项科技成果获山东省研究生优秀科技创新成果奖二等奖(第一位),获山东省科技进步二等奖1项,青岛市自然科学奖二等奖1项;2013年获山东软科学优秀成果奖一等奖1项;另外,有1项科技成果鉴定为国际先进。
主持或参加科研项目
项目类别、批准号、名称、研究起止年月、获资助金额、项目状态
1. 国家自然科学基金项目、61472228、扩展逻辑Petri网理论及其在跨组织业务过程协同中的应用研究、2015.01-2018.1285万元、在研、项目负责人
2. 山东省自然科学基金、ZR2014FM009、扩展逻辑工作流网理论及其在组织间业务过程协同中的应用研究、2014.12-2017.1216万元、在研、项目负责人
3. 山东省高等学校科技计划项目、J12LN11、逻辑Petri网组合性质及其在分布式协同工作流中的应用、2012.6-2015.126万元、结题、项目负责人
4. 嵌入式系统与服务计算教育部重点实验室开放基金、ESSCKF201301、分布式Web服务集成形式化模型与分析方法研究、2013-20152万元、结题、项目负责人
5. 山东省研究生教育创新计划项目、SDYY10018、计算机类工程硕士学位论文质量保障体系研究、2010.7-2012.62万元、已结题、项目负责人
6. 国家自然科学基金项目、61170078、逻辑Petri网演化推理机制研究及其在服务组合中的应用、2012.01-2015.12、结题、参加(第4位)
7. 教育部高等学校博士学科点专项科研基金项目、逻辑Petri网的推理分析技术及其在服务组合中的应用、2012.01-2014.1212万元、结题、参加(第3位)
8. 山东省高等学校科技计划项目、基于虚拟总线的网络环境下协同服务若干关键技术研究、2012.6-2015.126万元、结题、参加
9. 国家自然科学基金重大研究计划项目、面向电子银行的病态软件行为模型及验证理论研究、2010-201112万元、已结题、参加
10. 山东省科技攻关项目、2008GG30001024、基于动态工作流的协同软件平台设计与开发、2008.7-2009.12、已结题、参加(第3位)
获奖和鉴定成果
1. 刘伟、杜玉越等,分布式协同系统形式化模型及其应用研究,山东高等学校优秀科研成果奖(自然科学类),2015,
2. 刘伟、杜玉越等,Web服务集成形式化建模与分析技术研究.山东高等学校优秀科研成果奖(自然科学类),2013
3. 刘伟,服务组合及其相关技术研究,山东省优秀博士论文,2014
4. 刘伟 等,逻辑Petri网组合性质及其应用研究,山东省学位委员会、教育厅,山东省研究生优秀科技创新成果奖,二等奖2010
5. 杜玉越、傅游、张鹏、庞善臣、刘伟、曾庆田等,工作流的建模与动态构建技术研究及应用,山东省人民政府,山东省科技进步奖,二等奖,2011
6.庞善臣、杜玉越、曾庆田、刘伟 ,动态工作流的建模理论与方法,青岛市人民政府,青岛市自然科学奖,二等奖,2011
7. 吴洪越、亓亮、栾文静、刘伟、胡强,一种基于逻辑Petri网的Web服务簇组合方法,山东省研究生优秀科技创新成果奖二等奖,2013
8.贺国平、梁永全、吴哲辉、郑永果、彭延军、刘伟、王向荣、杜玉越、梁向前构建研究生教育创新平台,培养高素质人才山东省省级教学成果奖评审委员会山东省研究生教育省级教学成果奖二等奖2009
9. 傅游、杜玉越、花嵘、韩丛英、刘伟,基于有机计算的分布计算系统资源自主管理模型与方法研究,山东省科学技术厅,鉴定达到国际先进水平。
发表录用部分期刊论文
1. Wei LiuYuyue DuChun Yan. Soundness preservation in composed logical time workflow nets. Enterprise Information System.6(1):95-113. 2012SCI收录: 914BL
2. Wei Liu, Yuyue Du, et al. Transformation of Logical Workflow Nets. IEEE Transactions on Systems Man and Cybernetics: Systems. 2014.10 . SCI收录
3 Wei LiuLu Wang(研究生)Yuyue DuDeadlock Property Analysis of Concurrent Programs Based on Petri Net StructureInternational Journal of Parallel Programming2017, SCI
4 Wei LiuLu Wang研究生et al. Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets.  2017, SCI
5 Wei LiuLu Wang(研究生)Yuyue DuPin Wang(研究生)Property Analysis of Composable Web servicesTelecommunication Computing & Electronics and Control, 2016.6. EI收录
6 王聘(研究生)刘伟(通讯作者),杜玉越,基于逻辑数据Petri网的业务过程建模与分析,计算机集成制造系统,2017, EI
7 Wei LiuPin Wang(研究生)Yuyue Duet al.Logical Petri Nets with Data,2015. EI收录
8. Wei Liu, Yuyue Du, Chun Yan. A web service discovery and composition method based on service classes. Journal of Software Engineering, 2013, 7(2): 68-76. EI收录: 20132016341209
9. Wei Liu*, Yuyue Du, Chun Yan. A service selection method based on Web service Clusters. Journal of Applied Science, 2013, 13(24): 5734-5738. EI收录:20140517256965
10. Wei Liu*,Yuyue Du, Chun Yan. Properties Analysis of Substitution of Logical Workflow Nets. Journal of Computational Information Systems, 2014. EI收录
11. Wei Liu*,Yuyue Du, Chun Yan. A method to calculate recommendation trust of Web services. Journal of Software Engineering, 2014. EI收录
12. Wei Liu*Yuyue Du. Modeling Multimedia Synchronization Using Petri Nets. Information Technology Journal, 8(7): 1054-1058, 2009.EI收录:20093712301325
13. Wei Liu*Yuyue DuHaichun Sun. Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets. Information Technology Journal, 8(6): 821-829, 2009.EI收录: 20093112225210
14. Wei Liu*Yuyue DuBaoqi GuoChun YanQiang Xu. A Fast Algorithm for Web Service Composition Based on Dynamic Description Logic. Information Technology Journal, 9(6): 1150-1157,2010.EI收录: 20102813075745
15. Wei Liu*Yuyue DuHuanqing CuiChun Yan. Liveness Analysis of Parallel Programs Petri Net Models. International Conference on Information Engineering and Computer Science (ICIECS2009): 2517-2520, 2009.12.EI收录20101212795472
16. Wei Liu*Yuyue DuHaichun SunChun Yan. Soundness Verification and Analysis of Interorganizational Logical Workflow Nets.The 2nd International Workshop on Education Technology and Computer Science (ETCS2010):354-357,2010.3.EI收录20102312986130
联系方式:
电话:15063992767
电子邮件:liuwei_doctor@yeah.net
欢迎2017级硕士研究生联系