王海洋[山東大學計算機學院教授]

王海洋，山東大學計算機學院教授，近年來在國內外重要期刊和學術會議發表論文近40篇。

人物經歷

1988.8-1990.8山東大學計算機科學系助教；1990.8-1992.12山東大學計算機科學系講師；1992.12-1997.9山東大學計算機科學系副教授；1997.9-至今山東大學計算機科學與技術學院教授、副院長；1999.11至今山東大學網路與現代教育技術中心主任。山東省計算機學會副理事長。中國青年企業家協會常務理事。山東省教育信息化專家委員會主任。山東省教育技術與裝備協會副會長。山東省教育與科研網專家委員會主任。山東省保密專家委員會主任。山東省電子政務專家諮詢組副組長。山東省信息化建設領導小組專家組成員。中國計算機學會資料庫專業委員會委員。

研究方向

軟體與數據工程。

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