應時:武漢大學計算機學院教授.
2000年入選國家教育部高等學校骨幹教師資助計畫。2003年獲湖北省青年傑出人才基金資助。2003年至2008年任武漢大學軟體工程國家重點實驗室副主任，2008年起任武漢大學軟體工程國家重點實驗室常務副主任，2009年起擔任武漢大學計算機學院副院長。研究方向：主要的研究方向有面向Web服務的軟體開發方法、面向方面的軟體開發方法、語義軟體開發技術、雲計算時代的軟體開發方法等。曾獲得國家科技進步二等獎、湖北省科技進步一等獎、湖北省自然科學優秀學術論文二等獎、湖北省科技進步二等獎、湖北省科技進步三等獎、武漢市科技進步三等獎。
基本介紹
- 中文名：應時
- 外文名：yingshi
- 任教專業：工學-計算機科學與技術
- 性別：男
- 所在院系：軟體工程國家重點實驗室
人物經歷,研究方向,主要貢獻,代表性論文,主要科研課題,
人物經歷
應時，男，1965年6月生，博士，武漢大學軟體工程國家重點實驗室教授，博士生導師。武漢大學軟體工程國家重點實驗室副主任。
1986年被聘為武漢大學軟體工程國家重點實驗室助教，1992年被聘為武漢大學軟體工程國家重點實驗室講師，1996年被聘為武漢大學軟體工程國家重點實驗室副教授，2001年被聘為武漢大學軟體工程國家重點實驗室教授，2002年被聘為武漢大學軟體工程國家重點實驗室博士生導師。
研究方向
主要貢獻
代表性論文
[1] Hu Luokai, Ying Shi, Jia Xiangyang, Zhao Kai, A Semantics Based Approach for Cross Domain Access Control, Journal of Internet Technology, 2010, Vol.11 No.2, pp 279-288；
[2] 文靜, 王懷民, 應時, 等, 支持運行監控的可信軟體體系結構設計方法, 計算機學報, 2010, Vol.33 No.12, pp 2321-2334；
[3] 倪友聰, 應 時, 張琳琳, 文 靜, 葉 鵬, 趙 楷, 一種面向方面軟體體系結構中的編織機制研究, 計算機研究與發展, 2010, Vol. 47 No. 4, pp 695-706；
[4] 張琳琳, 應時, 倪友聰等, 一種軟體體系結構關注點分析方法, 計算機學報, 2009, Vol.32 No.9, pp 1782-1791；
[5] 曹虹華, 應時, 杜德慧, 賈向陽, 一種面向語義Web服務的軟體設計語言和設計方法, 電子學報, 2007, Vol.35 No.12A, pp 129-135；
[6] 熊惠民, 應時, 虞莉娟等, 基於反射的連線器組合重用方法, 軟體學報, 2006, Vol.17 No.6, pp 1298-1306；
[7] 應時等, 實用化的軟體重用方法及其環境, 計算機科學, 1995, Vol.22 No.5, pp 58-60；
[8] 應時等, 軟體構件的設計與重用, 武漢大學學報（自然科學版）, 1996, Vol.42 No.3, pp 305-310；
[9] 應時, 陳小萍, 吳閩泉等, 代碼組件的動態組合重用方法, 武漢大學學報（自然科學版）, 1999, Vol.45 No.5(B), pp 711-715；
[10] 應時, 吳霞等, 控制項重用技術的成就與缺陷, 小型微型計算機系統, 2000, No.21 No.8, pp 807-810；
[11] 應時, 吳霞, 陳小萍等, 代碼組件重用支撐環境CCRSE的設計策略, 武漢大學學報（理學版）, 2001, Vol.47 No.1, pp 47-51；
[12] 應時, 黃髮國, 吳霞等, 代碼組件的組合重用是一種新的程式設計范型, 小型微型計算機系統, 2001, Vol.22 No.4, pp 478-481；
[13] Ying Shi, Xu Gang, Yuan Shengqiong, et al, Code Component Reuse Supporting Environment(CCRSE) and Its Design Strategy, Wuhan University Journal of Natural Sciences, 2003, Vol.8 No.2A, pp 363-367；
[14] Zhang Tao, Ying Shi, Cao Sheng, et al, Meta-modeling Service-Oriented Architecture based on UML, Proceeding of the IASTED International Conference on Web Technologies Applications and Services, 2006, pp 137-142；
[15] Cao Honghua, Ying Shi, Du Dehui, Towards Verification of BPEL with Model Checking, Proceeding of the IEEE 6th International Conference on Computer and Information Technology, 2006, pp 190-194；
[16] Ying Shi, Liang Zaoqing, Wang Junli, et al, A Reflection Mechanism for Reusing Software Architecture, Proceeding of the International Conference on Quality Software, 2006, pp 235-242；
[17] Jia Xiangyang, Ying Shi, Wen Jing, Cao Honghua, Modeling Behavior of Dynamic Service-Oriented Architecture with SOADL, Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, 2007, Vol.14 No.S6, pp 287-292；
[18] Jia Xiangyang, Ying Shi, Zhang Tao, Cao Honghua, Xie Dan, A New Architecture Description Language for Service-Oriented Architecture, Proceeding of Sixth International Conference on Grid and Cooperative Computing (GCC 2007), 2007, pp 96 - 103；
[19] Ying Shi, Li Xiaojian, Wang Junli, Zheng Ying, Reuse-oriented Software Architecture Design, Proceeding of 2007 International Symposium on Distributed Computing and Applications to Business, Engineering and Science, 2007, pp 24-29；
[20] 應時, 文靜, 張毅等, 一種面向方面的體系結構描述語言Epoch, 計算機科學, 2007, Vol.34 No.9A, pp 356-357；
[21] Ni Youcong, Ying Shi, Wen Jing, Zhang Linlin, Ye Peng, Study on Weaving Process at Software Architectural level, Proceeding of 2008 IEEE Asia-Pacific Services Computing Conference (APSCC 2008), 2008, pp 1574-1577；
[22] Zhang Linlin, Ying Shi, Ni Youcong, et al, Towards Multi-Dimensional Separating of NFRs in Software Architecture, Proceeding of the 1st International Conference on Computer Science and Software Engineering (CSSE 2008), 2008, pp 104-107；
[23] Wen Jing, Ying Shi, Zhang Linlin, Ni Youcong, AC2-ADL: Architectural Description of Aspect-oriented Systems, International Journal of Software Engineering and Its Applications, 2009, Vol.3 No.1, pp 1-10；
[24] 張琳琳, 應時, 倪友聰, 文靜等, 一種軟體體系結構關注點多維分離模型, 計算機科學, 2009, Vol.36 No.3, pp 266-269；
[25] Ni Youcong, Ying Shi, et al, Modeling Aspect-Oriented Software Architecture, International Conference on Industrial and Information Systems (IIS2009), 2009, pp 108-113；
[26] 葉鵬, 應時, 袁文杰等, 一種支持軟體體系結構重用的元信息模型, 計算機科學, 2009, Vol.36 No.5, pp 145-151；
[27] 張琳琳, 應時, 趙楷, 文靜, 倪友聰,一種建模軟體體系結構非功能屬性的方法, 計算機科學, 2009, Vol.36 No.7, pp 92-96；
[28] Hu Luokai, Ying Shi, Zhao Kai, Chen Rui, A Semantic Web Service Description Language, International Conference on Information Engineering, 2009, pp 449-452；
[29] 文靜, 應時, 張琳琳, 倪友聰, 面向方面的體系結構描述語言AC2-ADL, 計算機科學, 2009, Vol.36 No.8, pp 126-132；
[30] 羅巨波, 應時, 葉鵬, 一種支持軟體體系結構重用的反射機制及其形式化, 計算機科學, 2009, Vol.36 No.8, pp 145-148；
[31] 曾志浩, 應時, 陳銳, 趙楷, 朱小剛, 基於語義空間向量模型的語義Web服務匹配排序機制, 計算機科學, 2009, Vol.36 No.9, pp192-196；
[32] Jia Xiangyang, Hu Luokai, Ying Shi, Chen Chunlin, Scheduling Active Services in Clustered JBI Environment, First International Conference of Cloud Computing( CloudCom 2009), 2009, pp 413-422；
[33] Wu Qing, Ying Shi，et al, The Architecture Framework with Exception Handing in SOA， Applied Mechanics and Materials, Information Technology for Manufacturing Systems，2010, pp 992-997；
[34] Wu Qing, Ying Shi，et al, A Service Oriented Architecture Framework Based on Exception Handling Pattern， the 2nd International Conference on Multimedia and Computational Intelligence (ICMCI 2010), 2010, pp 1523-1528；
[35] Wang Quanyu, Ying Shi, Jia Xiangyang, SOADL-EH: Service-Oriented Architecture Description Language Supporting Exception Handling，2010 International Conference on Electrical Engineering and Automatic Control , 2010, pp 131-137.
主要科研課題
[1] 面向Web服務的軟體開發方法研究, 湖北省青年傑出人才基金（編號：2003ABB004）, 2004年1月-2006年12月, 項目主持人；
[2] 基於反射機制的軟體體系結構重用方法研究,國家自然科學基金（編號：60473066）, 2005年1月-2007年12月, 項目主持人；
[3] 武漢軟體公共服務與技術支撐平台項目監理，2005年1月-2005年7月, 項目主持人；
[4] 面向語義Web服務資源的軟體設計語言的實現及其套用, 國家863項目（編號：2006AA01Z168）,2006年12月-2008年12月, 項目主持人、；
[5] 軟體體系結構的多維關注點建模與Aspect建模, 國家教育部博士點基金項目（編號：20060486045）, 2007年1月-2009年12月, 項目主持人；
[6]面向方面的軟體體系結構設計方法研究, 國家自然科學基金（編號：60773006）,2008年1月-2010年12月, 項目主持人；
[7] 支持OWL-S需求規約演化的反射機制研究, 國家973項目需求工程--對複雜系統的軟體工程的基礎研究（編號：2007CB310800）的子課題, 2007年7月-2011年8月, 子課題負責人；
[8] 基於框架的面向服務軟體異常處理方法研究，國家自然科學基金（編號：61070012/F020202），2011年1月-2013年12月，項目主持人。
