ku游九州

王生原

2021.03.30 18:14

职称 副教授 电话 62794240
邮箱 wwssyy@tsinghua.edu.cn

undefined

姓名:王生原

职称:副教授

电话:62794240

邮箱:wwssyy@tsinghua.edu.cn

教育背景

工学学士 (计算机科学与技术), 太原工ku游九州, 中国, 1984;

工学硕士 (计算机科学与技术), 西北电讯工程ku游九州, 中国, 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.

[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.

上一篇:孙延奎

关闭

ku游九州(集团)有限公司