王生原

教育背景

工學學士 (計算機科學與技術), 太原工學院, 中國, 1984;

工學碩士 (計算機科學與技術), 西北電訊工程學院, 中國, 1987;

理學博士 (計算機科學與技術), 北京大學, 中國, 2001.

科研概況

研究領域

程式設計語言與系統

並發系統建模, Petri網理論與套用

研究概況

所在的小組致力於研究旨在幫助程式設計師改進編程質量的方法學與工具，特別針對程式的安全性和正確性。研究領域包括編程模型、編譯器、形式驗證等。特殊興趣是這些領域中相關並發程式的話題。

在目前的項目中，正在研發一種基於Petri網的事務型並發編程模型。在協同事務之間建立顯式並發關係無疑可以減少衝突並提高性能，然而其有害於程式的正確性。在本課題中，事務之間的並發關係將通過一種特殊的有色網進行編程，這不會顯著增加程式設計師的負擔，同時有利於程式設計師編寫正確的事務型並發程式。

之前開展過有關改進Petri網分層建模能力的研究工作，提出過一種將網元素分類成組的方法解決該問題。這項研究有助於描述並發麵向對象系統以及面向側面構件的行為重用性。

研究課題

國家自然科學基金可信軟體基礎研究重大研究計畫面上課題: 基於有色網的事務型並發編程模型及其驗證技術 (2009-2011);

國家自然科學基金面上課題: 用於目標機描述的元對象Petri網模型(2006-2008).

學術成果

[1] Shengyuan Wang, Jian Yu, Chongyi Yuan. A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. Journal of Computer Science and Technology. Vol.16, No.5, pp. 418-425, 2001.

[2] 王生原, 楊良懷, 袁崇義, 楊萍. 並發麵向對象中的繼承反常現象. 軟體學報, 第13卷, 第6期, 1148-1154, 2002.

[3] Shengyuan Wang, Jian Yu, Chongyi Yuan. A Net-based Multi-tier Behavior Inheritance Modeling Method. Proc. 4th International Andrei Ershov Memorial Conference(PSI 2001), PERSPECTIVES OF SYSTEM INFORMATICS, Akademgorodok, Novosibirsk, Russia, 2001, Lecture Notes in Computer Science, vol.2244, pp. 279-286.

[4] Shengyuan Wang, Yuan Dong. Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. Proc. 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, IEEE CS Press, 2007, pp. 433-439.

王生原

基本介紹