王生原

姓名：王生原

职称：副教授

教育背景

工学学士 (计算机科学与技术), 太原工学院, 中国, 1984;

工学硕士 (计算机科学与技术), 西北电讯工程学院, 中国, 1987;

理学博士 (计算机科学与技术), 北京大学, 中国, 2001.

研究领域

程序设计语言与系统

并发系统建模, Petri网理论与应用

研究概况

我所在的小组致力于研究旨在帮助程序员改进编程质量的方法学与工具，特别针对程序的安全性和正确性。我们的研究领域包括编程模型、编译器、形式验证等。我自己的特殊兴趣是这些领域中相关并发程序的话题。

在目前的项目中，我正在研发一种基于Petri网的事务型并发编程模型。在协同事务之间建立显式并发关系无疑可以减少冲突并提高性能，然而其有害于程序的正确性。在本课题中，事务之间的并发关系将通过一种特殊的有色网进行编程，这不会显著增加程序员的负担，同时有利于程序员编写正确的事务型并发程序。

之前我开展过有关改进Petri网分层建模能力的研究工作，提出过一种将网元素分类成组的方法解决该问题。这项研究有助于描述并发面向对象系统以及面向侧面构件的行为重用性。

研究课题

国家自然科学基金可信软件基础研究重大研究计划面上课题: 基于有色网的事务型并发编程模型及其验证技术 (2009-2011);

国家自然科学基金面上课题: 用于目标机描述的元对象Petri网模型(2006-2008).