王海洋

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)

論文

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.軟體開發工作流管理系統中的運行監控及其實現，計算機工程與應用,162002，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

擔任山東省計算機學會副理事長、中國青年企業家協會常務理事、山東省教育信息化專家委員會主任、山東省教育技術與裝備協會副會長、山東省教育與科研網專家委員會主任、山東省保密專家委員會主任。