蔡維德(Wei-Tek Tsai),男,博士,教授,博士生導(dǎo)師。現(xiàn)任金年會jinnianhuicom教授。1979年在美國麻省理工學(xué)院(MIT),獲得計算機科學(xué)專業(yè)學(xué)士學(xué)位。1985年在美國加州大學(xué)伯克利分校獲得計算機科學(xué)專業(yè)碩士學(xué)位及博士學(xué)位。在美國明尼蘇達大學(xué)和亞利桑那州立大學(xué)計算機系任教30余年,培養(yǎng)出博士80余人,是美國亞利桑那州立大學(xué)計算機科學(xué)與工程系實驗室主任。蔡維德教授共發(fā)表論文400余篇,書籍著作5本。研究領(lǐng)域包括服務(wù)計算,軟件工程,云計算,眾包,服務(wù)計算以及區(qū)塊鏈。曾擔(dān)任30界國際會議的大會主席。曾任歐盟智慧城市和美國多項軟件工程及服務(wù)計算項目負責(zé)人。他的研究工作被美國國防部,Guidant, Intel, Cray Research, US WEST,日本富士通, 日立,等多國機構(gòu)及業(yè)界認可并且應(yīng)用。蔡維德教授是中國開源軟件推進聯(lián)盟(China OSS Promotion Union)專家委員會副主席,及工業(yè)和信息化法治研究所高級研究員。 研究方向包括: 1.軟件工程:率先提出并實現(xiàn)了面向?qū)ο蟮臏y試方法,研究論文先后發(fā)表在Journal of Object- Oriented Programming,Communications of ACM等國際期刊上,并被軟件工程經(jīng)典教科書R. S. Pressman 的Software Engineering: A Practitioner's Approach所引用;提出了在工業(yè)界有重要影響的回歸測試技術(shù)和實踐方法,相關(guān)成果發(fā)表在Communications of the ACM上,并被主要的軟件工程教科書Ian Sommerville 的Software Engineering所引用;提出了系統(tǒng)的點對點的測試方法和分析方法,這個方法被美國國防部所采納,用于系統(tǒng)的Y2K測試;提出了一個針對嵌入式系統(tǒng)的快速測試和安全臨界點測試的方法,被包括Guidant在內(nèi)的醫(yī)學(xué)儀器廠商廣泛的采用。事實證明,它可節(jié)省將近70%的軟件開發(fā)費用,效果明顯。) 2.數(shù)據(jù)庫系統(tǒng):提出了評估多級別安全并發(fā)控制算法的框架及一種具體協(xié)議,該成果在數(shù)據(jù)庫安全領(lǐng)域具有重要意義,相關(guān)論文發(fā)表在IEEE Transactions on Knowledge and Data Engineering;提出了醫(yī)療儀器的性能安全分析方法(在IEEE Computer),目前被醫(yī)療儀器工業(yè)界采用。 3.軟件維護:率先提出了基于數(shù)據(jù)相關(guān)性的軟件維護方法,具有許多傳統(tǒng)的控制流分析方法不可比的優(yōu)點,相關(guān)論文先后發(fā)表在了Journal of Software Maintenance –Research and Practice等國際期刊上。該成果被富士通公司采納,基于此方法開發(fā)了Y2K軟件測試工具,并出版了日文著作。與此同時,US WEST公司也采用了這種辦法進行軟件維護,解決了困擾公司15年之久的難題。 4、面向服務(wù)計算:蔡教授及其所領(lǐng)導(dǎo)的ASU軟件研究實驗室自2002年起開展關(guān)于SOA的軟件工程方法與技術(shù)研究,近年來在國際期刊及國際會議上發(fā)表相關(guān)論文100余篇,并出版了3部專著。作為該領(lǐng)域研究的先驅(qū),他是最早開展SOA生命周期過程、SOA協(xié)同驗證與確認、SOA建模、SOA仿真、SOA數(shù)據(jù)溯源等技術(shù)研究的學(xué)者之一,對該領(lǐng)域有著重要的影響。據(jù)Google Scholar搜索顯示蔡教授在以下幾個方面的研究都leading:“面向服務(wù)的軟件測試”、“面向服務(wù)的仿真”、“SOA應(yīng)用體系架構(gòu)”;并且在“面向服務(wù)的系統(tǒng)工程”。其前瞻性的研究成果已經(jīng)被廣泛引用,主要包括:率先探討了SOA體系架構(gòu)的擴展和變型,提出了一系列的框架模型,如CCSOA (Consumer-Centric SOA)、UCSOA (User-Centric SOA)、ICSOA (Interface-Centric SOA)和RTSOA (Real-Time SOA)等。并且,第一個提出了SOA應(yīng)用體系結(jié)構(gòu)分類,對SOA動態(tài)體系結(jié)構(gòu)進行了深入探討;最早探討服務(wù)測試問題,提出了SOA協(xié)同測試基礎(chǔ)設(shè)施WebStrar,并提出了眾多的SOA測試方法和技術(shù);率先將本體技術(shù)應(yīng)用于軟件開發(fā)過程,提出針對軟件復(fù)用、基于體系結(jié)構(gòu)的本體模型;與中科院數(shù)學(xué)所的金芝研究員合作提出了一個新的SOA需求工程過程和框架。 5.軟件服務(wù):蔡教授是本領(lǐng)域研究的具有很高影響力的科學(xué)家。在過去五年的時間里,他發(fā)表了25篇SaaS方面的論文,開發(fā)了許多最新的SaaS技術(shù),如: SaaS測試技術(shù)、SaaS模擬架構(gòu)、SaaS建模技術(shù)、TaaS(測試即服務(wù)),和面向并行組合測試的測試代數(shù),面向租戶應(yīng)用測試的自適應(yīng)組合測試方法、面向服務(wù)的SaaS等等。目前他在TaaS方面的研究工程處于世界領(lǐng)先的地位。 蔡維德教授從1982年開始從事計算機科學(xué)相關(guān)的研究和實踐,涉足了軟件工程的多個領(lǐng)域,在軟件測試、軟件維護、安全性分析、需求工程等方面形成了大量的研究成果,先后發(fā)表高水平論文400余篇,SCI檢索百余篇,Google Scholar上引用7千次。擁有兩項美國專利(OUTER LOOP VECTORIZATION,美國,5802375,1998-9-1,2;和APPARATUS FOR VISUAL PROGRAMMING WITH SCREEN FLOW,美國,6055369,2000-4-25,2)。他對軟件測試尤其有著深入的研究,形成了大量的有影響力的研究成果,曾被軟件工程及測試領(lǐng)域的重要著作所引用(如B. Beizer 的Black-Box Testing 以及Software Testing Techniques);更被美國國防部等政府機構(gòu)和工業(yè)界如Intel、Guidant、Hitachi Software、Fujitsu、US WEST、Motorola等世界著名公司所采納。蔡維德教授先后獲得了多項榮譽,包括:1990-1993獲IEEE Computer Society杰出學(xué)者獎(Distinguished Visitor);1992年獲IEEE Computer Society杰出服務(wù)獎(IEEE Meritorious Service Award);1996年獲IEEE核心成員金獎(IEEE Golden Core Member)。 蔡維德教授曾擔(dān)任30界國際會議的大會主席。曾任歐盟智慧城市和美國多項軟件工程及服務(wù)計算項目負責(zé)人。他的研究工作被美國國防部,Guidant, Intel, Cray Research, US WEST,日本富士通, 日立,等多國機構(gòu)及業(yè)界認可并且應(yīng)用。 蔡維德教授曾任多個國際會議的大會主席或程序委員會主席,并擔(dān)任多個國際期刊的編委(如 IEEE Transaction on Knowledge and Data Engineering,Service Oriented Computing and Application, Journal of Software Maintenance, Journal of Software Engineering and Knowledge Engineering, Journal of AI Tools, Advances in Software Engineering Journal, Science China, Frontiers of Computer Science)。蔡維德教授任 IEEE International Conference on Cloud Engineering (2013), IEEE Symposium on Mobile Cloud (2013), IEEE International Conference on Service-Oriented System Engineering (SOSE), IEEE International Conference on Computer Software and Applications (COMPSAC), IEEEE International Symposium on Autonomous Decentralized Systems (ISADS), IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS), IEEE International Conference on High-Assurance System Engineering (HASE). 蔡教授也在中國舉行過大量的學(xué)術(shù)講座,他在2009年至2012年間已經(jīng)在金年會jinnianhuicom,清華大學(xué), 武漢大學(xué), 中國西北大學(xué), 哈爾濱工業(yè)大學(xué), 北京大學(xué), 國防科技大學(xué), 山東財經(jīng)大學(xué),東南大學(xué), 南京大學(xué), 復(fù)旦大學(xué)和許多其他的高校、機構(gòu)以及西安的一些公司企業(yè)舉行過上百場的講座. 他還在清華大學(xué)、武漢大學(xué)、國防大學(xué)、北京大學(xué)以及IEEE International Conference on SOSE講授短期課程。 蔡教授在作為主題發(fā)言人在如下會議上做主題報告:2013年舊金山IEEE International Workshop on Internet-Based Virtual Computing Environment;2013年3月在舊金山舉行的IEEE International Joint Conference (SOSE, Mobile Cloud, IC2E);2011年2010年西安SME (Small-to-Medium Enterprise) Consortium;2012年浙江Cloud Computing Conference;哈爾濱 Conference on Service-Oriented Computing at Harbin;杭州CAS Workshop on Cloud Computing and Complex Systems;東南大學(xué)校慶報告;2007年IEEE International Conference on E-Business and Engineering。 蔡教授許多研究項目已經(jīng)轉(zhuǎn)換成商業(yè)產(chǎn)品,其中多項已經(jīng)被成功的廣泛應(yīng)用。具有代表性的有: 1) 軟件測試工具。他在為一家醫(yī)療器械公司-Guidant工作期間,他以及他領(lǐng)導(dǎo)的團隊開發(fā)了數(shù)項重要的軟件測試方法。尤其,由他開發(fā)的00測試框架為該公司節(jié)省了70%的測試花費,不僅如此,他所開發(fā)的驗證模型,在集成測試方面取得了顯著的成效?;谶@些理論及其擴展性,Guidant公司開發(fā)了一系列的軟件測試工具。 2)基于他部門在網(wǎng)絡(luò)安全方面的工作,由他開發(fā)的針對經(jīng)濟軟件的測試執(zhí)行框架,被知名國際公司-Intel采用。該軟件為因特爾公司部署了兩個基站控制器。 3)基于他在軟件維護方面的工作,當(dāng)時排名世界第二大計算機公司-富士公司,實施了一個基于Y2K軟件維護測試的經(jīng)濟產(chǎn)品。該工作同時用于維護在富士公司與USWest公司的COBOL項目,作為他4本著作之一的《日本技術(shù)》,于2000年由富士公司出版發(fā)行,其內(nèi)容主要針對該項技術(shù)做出的論述。 4)基于他在博士期間在層次搜索方面的工作(為美國軍方),互聯(lián)網(wǎng)采用了由他開發(fā)的層次搜索協(xié)議。 5)基于他在全自動需求獲取方面的工作,位于日本的yokohama Hitachi Software Engineering品牌于1990年實施了一個商業(yè)產(chǎn)品。