软件与数据工程研究室 王海洋 博士 山东大学计算机科学与技术学院 教授、博士生导师 通信地址:山东省济南市历城区 山大南路27号 邮政编码:250100 E-mail: Tel: Fax: 研究方向 学术论文 科研项目 学术兼职 教学 山东大学计算机科学系助教;山东大学计算机科学系讲师;山东大学计算机科学系副教授;至今山东大学计算机科学与技术学院教授、副院长;至今山东大学网络与现代教育技术中心主任。 研究方向 软件与数据工程 Computer Supported 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 International 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 International Conference on Computer Supported Cooperative Work in Design Volume I,337-340, 2004 6. Version Management of EAI Based on the Semantics of Workflow。CSCWD04,Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design Volume I,341-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 Method to Verify the Soundness of Workflow Control Logic。CSCWD04,Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design 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 科研项目 多次获得山东省科技进步奖,先后主持和参加国家级、省部级科研项目10余项,部分代表性项目如下: 项目名称 项目来源 项目起止时间 基于数据库管理的工作流建模方案与动态修改恢复策略 教育部 2003-2004 社会保险计算机网络工程 省劳动厅 2002-2004 多版本面向对象数据库技术应用于CAD和CIM中的应用 霍英东青年教师基金 2001-2003 社会劳动保险信息系统 省劳动厅 2001-2003 社会保险信息网络系统 省计委 2001-2003 面向对象的工作流建模技术研究 省奖励基金 2001-2002 医疗保险网络信息系统 省信息产业厅 2000-2003 学术兼职 教育部网格计算专家组成员 CERNET山东省中心主任 山东省教育信息化专家委员会主任 山东大学计算机科学与技术学院副院长 山东大学网络与现代教育技术中心主任 山东省保密专家委员会主任。 山东省教育与科研网专家委员会主任。 中国计算机学会数据库专家委员会成员。 山东省信息化工作领导小组专家组成员。 教学 1、 数据库导论 (本科生课程) 2、 数据库与知识库系统(硕士生课程) 3、 组件技术(博士生课程) 指导硕士40人,指导博士10人