王海洋，山东大学计算机学院光副树灯斤倍督教授，近年来在国内外重要期刊和学术会议发表论文近40篇。

• 中文名称 王海洋
• 国籍 中国
• 职业 教师
• 毕业院校 山东大学
• 专业方向 软件与数据工程

人外伟呼就试物经历

　　1988.8-1990.8山东大学计算机科学系助教;1990来自.8-1992.12山东大学计算机科学系讲师;1992.12-1997.9山东大学计算机科学系副教授;1997.9-至今山东大学计算机科学与技术学院教授、副院长;1999.11至今山东大学网络与现代教育技术中心主任。山东省计算机学会副理事长。中国青年企业家协会常务理事。山东省教育信息化专家委员会主任。山东省教育技术与装备协会副会长。360百科山东省教育与科研网专家委员会主任。山东省保密专家委员会主任。山东省电子政务专家咨询组副组长。山东省信息化建设领导小组专家组成员。中国计算机学会数据库专业委员会委员。

研究方向

　　软件与数据工程。

　　Computer Supp陆紧岩脚好orted Cooperative Work 犯良(CSCW)。

　　Business Process Management (BPM)。

主要贡献

　　近年来自来在国内外重要期刊和学术会议发表论文近40篇，其中部分论文如下:

　　1. A Comprehensive Benchmark of the Artificial Immune Recognition System (AIRS). ADMA-05, Proceedings of The 1st Inter360百科national Conference on Advanced Data Mining and Application, Wuhan演松投宗看车更, China, July 22-24, 2005.

　　2. 基于SOAP的分布式防火墙策略发布研究，计算机科学液节业西条秋补叫先, 32(5)2005，82-84.

　工转还没歌换日星　3. 基于主动工作流视图的跨组织工作流管理和监控, 计算机应用，25 (5) 2005，1202-1204

　　4. 跨组织工作流模型的形式化描述及分析，系统仿真学报, 17 (4) 2005，782-785.

　　5. Research on Workflow Meta-Model 灯的Supporting Group Cooperative Work。CSCWD04，Proceedings of The 8th Internatio校nal Conference on Computer Supported Cooperative Work in Design Volume I，337-340, 2004

　　6. Ve费去号减会座义觉rsion Management of EAI Based on the Semantics of Workflo盾误w。CSCWD04，Proceedings of The 8th International Conference on Computer Supported Cooperative 增积Work in Design 征东染矛罗代确修Volume I，34导孔1-344, 2004

　　7. A Bank Cooperative E-Commerce System Based on Workflow and Data Warehouse。CSCWD04，Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design Volume I，663-669, 2004

　　8. A Met旧hod to Verify the Soundness of Workflow Control Log书赶老练做待ic。CSCWD04，Proceedings of The 8th International Conference on Computer Supported Cooperative Work in De奏九sign Volume I，384-388, 2004

　　9. 基于文档划分的XML信息检索研究，计算机科学, 31(9A)2004，102-104/138.

　　10. 自行调整粒度的XML向量空间检索，武汉大学赵重映陆朝帮经述记破学报(理学版)，2004第5期，609-613

　　笔组乐活销台11. 一种扩展的工作流活动结构模型研究, 计算机科学, 31(9A)2004，238-241.

　　12. 一种基于县工作流类型版本和实例迁移的动态修改方法, 计算机科化年程笑笔思学, 31(9)2004及须距洲代改，137-139.

　　13. 基于离线数据载体的分布数据一致性研究, 小型微型计算机系统, 25 (6) 2004，1040-1043

　　14. 网格计算中一中启发式数据分配算法的讨论, 电子学报, 32 (4) 2004，648-650

　　15. 工作流中时序约束正确性验证问题研究, 计算机工程, 30 (11) 2004，60-62

　　16. 数据仓库中多数据源物化视图的一种有效更新算法, 计算机研究与发展, 41 (5) 2004，874-879

　　17. 利用领域知识改进数据仓库中知识发现查询的效率, 计算机科学, 31 (2) 2004，123-125

　　18. 一种改进的验证工作流控制逻辑的正确性的方法, 计算机应用, 23 (9) 2003，25-27

　　19. 基于对象的ECA规则的工作流模型, 计算机应用, 23 (10) 2003，48-50

　　20. 一种基于工作流和数据仓库的银行协同电子商务系统, 计算机集成制造系统-CIMS, S1 2003，172-177

　　21. 一种基于粗糙集理论的最简规则挖掘方法, 计算机工程, 29 (20) 2003，77-79

　　22. 子包含模式在XML数据类型中的应用研究, 计算机科学, 30 (10) 2003，170-171

　　23. 提高数据仓库中查询性能的一种并行多表连接算法, 计算机工程, 28 (10) 2002，114-116/190.

　　24. 软件开发工作流管理系统中的运行监控及其实现, 计算机工程与应用, 16 2002，254-256

　　25. 一种改进的主动规则的系统执行模型,软件学报, 13 (1) 2002，111-117

　　26. 利用约束优化数据库Web视图上的查询, 计算机研究与发展, 7, 2002，833-837

　　27. IC卡系统数据一致性研究, 计算机应用, 22 (8) 2002，12-13/16

　　28. 基于面向对象模型库的商业决策支持系统, 计算机工程与应用, 38 (9) 2002，164-167

　　29. 基于对象模型工作流的失败处理与失败恢复, 软件学报, 12 (5) 2001，776-782

　　30. 利用区间约束优化包含多个用户函数的查询, 软件学报, 2001，

　　31. Efficient Mining of Association Rules by Reducing the Number of Passes voer the Database, 计算机研究与发展(英文版), 16 (2) 2001，182-188

　　32. 主动规则可终止性的动态分析方法, 计算机研究与发展, 37 (8) 2000，1018-1024

　　33. CSCW中时态数据的存储和规范化, 通信学报, 20 (9) 1999，55-62

　　34. 多物化试图并行增量保持三阶段模式, 软件学报, 11, 1999，1138-1141