教育背景
工學(xué)學(xué)士 (計(jì)算機(jī)科學(xué)與技術(shù)),太原工學(xué)院, 中國(guó), 1984;
工學(xué)碩士 (計(jì)算機(jī)科學(xué)與技術(shù)),西北電訊工程學(xué)院, 中國(guó), 1987;
理學(xué)博士 (計(jì)算機(jī)科學(xué)與技術(shù)),北京大學(xué), 中國(guó), 2001.
科研概況
研究領(lǐng)域
程序設(shè)計(jì)語(yǔ)言與系統(tǒng)
并發(fā)系統(tǒng)建模, Petri網(wǎng)理論與應(yīng)用
研究概況
所在的小組致力于研究旨在幫助程序員改進(jìn)編程質(zhì)量的方法學(xué)與工具，特別針對(duì)程序的安全性和正確性。研究領(lǐng)域包括編程模型、編譯器、形式驗(yàn)證等。特殊興趣是這些領(lǐng)域中相關(guān)并發(fā)程序的話題。
在項(xiàng)目中，正在研發(fā)一種基于Petri網(wǎng)的事務(wù)型并發(fā)編程模型。在協(xié)同事務(wù)之間建立顯式并發(fā)關(guān)系無疑可以減少?zèng)_突并提高性能，然而其有害于程序的正確性。在本課題中，事務(wù)之間的并發(fā)關(guān)系將通過一種特殊的有色網(wǎng)進(jìn)行編程，這不會(huì)顯著增加程序員的負(fù)擔(dān)，同時(shí)有利于程序員編寫正確的事務(wù)型并發(fā)程序。
之前開展過有關(guān)改進(jìn)Petri網(wǎng)分層建模能力的研究工作，提出過一種將網(wǎng)元素分類成組的方法解決該問題。這項(xiàng)研究有助于描述并發(fā)面向?qū)ο笙到y(tǒng)以及面向側(cè)面構(gòu)件的行為重用性。
研究課題
國(guó)家自然科學(xué)基金可信軟件基礎(chǔ)研究重大研究計(jì)劃面上課題: 基于有色網(wǎng)的事務(wù)型并發(fā)編程模型及其驗(yàn)證技術(shù) (2009-2011);
國(guó)家自然科學(xué)基金面上課題: 用于目標(biāo)機(jī)描述的元對(duì)象Petri網(wǎng)模型(2006-2008).
學(xué)術(shù)成果
[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] 王生原, 楊良懷, 袁崇義, 楊萍. 并發(fā)面向?qū)ο笾械睦^承反�，F(xiàn)象. 軟件學(xué)報(bào), 第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.
[5] Shengyuan Wang, Yuan Dong. A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets, Proc. of Petri Nets and Distributed Systems 2008 (a satellite workshop of 29th ATPN conference), Xi an, China, June 23-24, pp. 147-166.
[6] 王生原, 董淵, 楊萍, 張素琴. 編譯原理,人民郵電出版社, 北京, 2010.
