模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件

提綱課程主要目標(biāo)引例課程特色在模型驅(qū)動(dòng)領(lǐng)域的研究背景與成果授課方式與課程要求課程內(nèi)容與計(jì)劃課程的準(zhǔn)備知識(shí)、學(xué)習(xí)方法本課程所用到的工具集課程分?jǐn)?shù)評(píng)定參考資料研究項(xiàng)目與原型展示提綱課程主要目標(biāo)課程主要目標(biāo)了解軟件開(kāi)發(fā)方法學(xué)在面向?qū)ο筌浖_(kāi)發(fā)方法之后的最新發(fā)展趨勢(shì)與關(guān)鍵技術(shù)，如基于構(gòu)件，面向特征，面向特征等技術(shù)。掌握模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的基本概念與主要思想。掌握模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法中的關(guān)鍵技術(shù)，如元建模技術(shù)、模型轉(zhuǎn)換和代碼生成的規(guī)范與方法。初步掌握將模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法運(yùn)用到特定領(lǐng)域的方法，技術(shù)與工具。改變對(duì)軟件開(kāi)發(fā)的傳統(tǒng)思路，更深理解軟件工程。掌握前沿軟件開(kāi)發(fā)方法，增強(qiáng)職業(yè)競(jìng)爭(zhēng)力。提高研究能力，開(kāi)闊學(xué)術(shù)視野，培養(yǎng)把握前沿軟件開(kāi)發(fā)方法的研究與應(yīng)用能力。課程主要目標(biāo)了解軟件開(kāi)發(fā)方法學(xué)在面向?qū)ο筌浖_(kāi)發(fā)方法之后的最引例—軟件企業(yè)面臨的問(wèn)題攸關(guān)系統(tǒng)汽車領(lǐng)域航天領(lǐng)域恒潤(rùn)科技SaaS企業(yè)某軟件開(kāi)發(fā)公司的主營(yíng)業(yè)務(wù)是為中小型企業(yè)開(kāi)發(fā)Web信息管理系統(tǒng)，而每個(gè)企業(yè)都有自身的需求，公司人員已達(dá)8000人，但仍忙不過(guò)來(lái)。中企動(dòng)力創(chuàng)新公司某公司計(jì)劃在短期內(nèi)開(kāi)發(fā)一種非常有創(chuàng)意的軟件產(chǎn)品，以便快速占領(lǐng)市場(chǎng)，但不精通開(kāi)發(fā)技術(shù)，人手不夠。大型IT企業(yè)異構(gòu)性的問(wèn)題代碼重構(gòu)如何充分利用多年來(lái)積累的開(kāi)發(fā)經(jīng)驗(yàn)、制品與代碼。某大型軟件公司的軟件開(kāi)發(fā)人員每天苦于建立千篇一律的設(shè)計(jì)模型、編寫千篇一律的程序，耗時(shí)而乏味。某軟件設(shè)計(jì)人員建立了一個(gè)設(shè)計(jì)模型，但無(wú)法驗(yàn)證。IBM華為上海證券涉及軟件外包的企業(yè)軟件外包過(guò)程中，甲乙雙方溝通問(wèn)題。軟件外包過(guò)程中，甲乙雙方知識(shí)產(chǎn)權(quán)問(wèn)題。金融公司銀行引例—軟件企業(yè)面臨的問(wèn)題攸關(guān)系統(tǒng)課程特色深入、系統(tǒng)、完整地講解模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的產(chǎn)生背景及其中的關(guān)鍵技術(shù)與規(guī)范。深入講解UML/MOF/QVT語(yǔ)言的高級(jí)技術(shù)細(xì)節(jié)，講解完整的模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法。展示模型驅(qū)動(dòng)方法中的工具集。綜合最新研究文獻(xiàn)與多年研究成果，集理論性、實(shí)用性、研究性、前沿性一體。提供豐富的案例,便于快速掌握關(guān)鍵技術(shù)通過(guò)完整案例，展示模型驅(qū)動(dòng)軟件開(kāi)發(fā)的過(guò)程。課程特色深入、系統(tǒng)、完整地講解模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的產(chǎn)生背景在模型驅(qū)動(dòng)領(lǐng)域的研究背景博士論文《UML擴(kuò)展機(jī)制及其支持技術(shù)研究》2003針對(duì)UML擴(kuò)展機(jī)制及其在使用中出現(xiàn)的問(wèn)題，對(duì)UML的衍型擴(kuò)展機(jī)制進(jìn)行了精確的定義與分析，研究了元模型擴(kuò)展機(jī)制的分級(jí)定義以及元模型語(yǔ)法擴(kuò)展的支持技術(shù)。特別是對(duì)UML擴(kuò)展機(jī)制和元模型方面的理論研究方面，已有兩篇論文發(fā)表在UML領(lǐng)域最重要的國(guó)際會(huì)議UML2004論文中關(guān)于元建模工具原理與原型的論述與近期EclipseGMF中的工作原理非常相似，卻比后者早了6年博士后科學(xué)基金項(xiàng)目《擴(kuò)展UML的過(guò)程策略研究及其在web領(lǐng)域建模與模擬中的應(yīng)用》2004~2005博士后出站報(bào)告《MDA在特定領(lǐng)域的應(yīng)用與基礎(chǔ)理論研究》2006模型驅(qū)動(dòng)的體系結(jié)構(gòu)研究綜述基于MDA的Web領(lǐng)域用況模型研究基于MDA與SOA的系統(tǒng)集成技術(shù)研究擴(kuò)展MDA的建模語(yǔ)言的過(guò)程策略研究指導(dǎo)MDA相關(guān)的綜合實(shí)踐四項(xiàng)、碩士論文三篇主持國(guó)家自然科學(xué)基金項(xiàng)目《軟件外包領(lǐng)域模型驅(qū)動(dòng)開(kāi)發(fā)方法中模型偽裝與轉(zhuǎn)換理論研究》2012主持華為合作研究項(xiàng)目《下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換》2013在模型驅(qū)動(dòng)領(lǐng)域的研究背景博士論文《UML擴(kuò)展機(jī)制及其支持技術(shù)在模型驅(qū)動(dòng)領(lǐng)域的研究背景1．OntheFormalizedSemanticsofStaticModelingElementsinUML,JiangYan-bingShaoWei-zhongMaZhi-yiandFengYao-dong,FormalMethodsAndSoftwareEngineering2002,ProcedingsLectureNotesInComputerScience,Springer-VerlagBerlin.（SCI收錄）獲得北京大學(xué)2004年優(yōu)秀論文獎(jiǎng)2．OntheClassificationofUML’sMetaModelExtensionMechanism,YanbingJiang,WeizhongShao,LuZhang,ZhiyiMa,XiangwenMengandHaohaiMa,UML2004,ProcedingsLectureNotesInComputerScience,Springer-VerlagBerlin.(SCI收錄引用1次)這是在有關(guān)UML最權(quán)威的國(guó)際會(huì)議上發(fā)表的論文，并對(duì)UML的發(fā)展提出建設(shè)性建議。3．ApplyingOOMetricstoAssessUMLMeta-Models,HaohaiMa,WeizhongShaoLuZhang,ZhiyiMaandYanbingJiang，UML2004,ProcedingsLectureNotesInComputerScience,Springer-VerlagBerlin.(SCI收錄)4．OnProcedureStrategyofConstructingSOA’sModelingLanguage,YanbingJiang,ChunxiaoXing,WeiheandJijiangYang,ProcedingsofIEEEInternationalWorkshoponservice-orientedsystemEngineering2005,IEEEComputerSocietyPress5．模型驅(qū)動(dòng)的體系結(jié)構(gòu)研究綜述，蔣嚴(yán)冰邢春曉南京大學(xué)學(xué)報(bào)（自然科學(xué)版），計(jì)算機(jī)科學(xué)專輯2005.106．UML中衍型的精確定義與分析，蔣嚴(yán)冰邵維忠張路麻志毅電子學(xué)報(bào)2003.12a（EI收錄）7．UML現(xiàn)存問(wèn)題與發(fā)展道路，邵維忠蔣嚴(yán)冰麻志毅，計(jì)算機(jī)研究與發(fā)展，2003.4（EI收錄）8．面向?qū)ο蟮慕９ぞ摺狫BOO3.0的研究與開(kāi)發(fā)，麻志毅蔣嚴(yán)冰戴耀飛李勁宇電子學(xué)報(bào)2002.12a（EI索引源）9．基于規(guī)則的UML元模型語(yǔ)法擴(kuò)展的支持技術(shù)研究，蔣嚴(yán)冰麻志毅朱志高張能斌，中國(guó)計(jì)算機(jī)大會(huì)論文集，清華大學(xué)出版社，2003年11月在模型驅(qū)動(dòng)領(lǐng)域的研究背景1．OntheFormalize課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間1課程介紹緒論:模型驅(qū)動(dòng)軟件開(kāi)發(fā)技術(shù)綜述與后面向?qū)ο蠓椒ㄅc模型驅(qū)動(dòng)

3學(xué)時(shí)2013.2.26星期二晚18：00~21：002元建模技術(shù)——概述元建模技術(shù)——UML的元模型體系結(jié)構(gòu)與擴(kuò)展機(jī)制3學(xué)時(shí)2013.3.5星期二晚18：00~21：003元建模技術(shù)——元建模過(guò)程與支撐工具元建模技術(shù)——實(shí)戰(zhàn)案例3學(xué)時(shí)2013.3.12星期二晚18：00~21：004元建模技術(shù)——實(shí)戰(zhàn)案例3學(xué)時(shí)2013.3.19星期二晚18：00~21：005元建模技術(shù)——展示與輔導(dǎo)3學(xué)時(shí)2013.3.26星期二晚18：00~21：00課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間1課程介紹3學(xué)時(shí)2013.2.7課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間6模型轉(zhuǎn)換技術(shù)——概述模型轉(zhuǎn)換技術(shù)——基于QVTrelation的轉(zhuǎn)換語(yǔ)言與工具3學(xué)時(shí)2013.4.2星期二晚18：00~21：007模型轉(zhuǎn)換技術(shù)——基于QVTrelation的案例3學(xué)時(shí)2013.4.9星期二晚18：00~21：008模型轉(zhuǎn)換技術(shù)——基于QVToperational的轉(zhuǎn)換轉(zhuǎn)換語(yǔ)言與工具3學(xué)時(shí)2013.4.16星期二晚18：00~21：009模型轉(zhuǎn)換技術(shù)——基于QVToperational的案例3學(xué)時(shí)2013.4.23星期二晚18：00~21：0010模型轉(zhuǎn)換技術(shù)——基于QVToperational的案例3學(xué)時(shí)2013.5.7星期二晚18：00~21：00課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間6模型轉(zhuǎn)換技術(shù)——概述3學(xué)時(shí)28課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間11模型轉(zhuǎn)換技術(shù)——展示與輔導(dǎo)3學(xué)時(shí)2013.5.14星期二晚18：00~21：0012模型驅(qū)動(dòng)的代碼生成技術(shù)——基于Jet的代碼生成語(yǔ)言與工具3學(xué)時(shí)2013.5.21星期二晚18：00~21：0013模型驅(qū)動(dòng)的代碼生成技術(shù)——基于QVT

M2T的代碼生成語(yǔ)言與工具Acceleo3學(xué)時(shí)2013.5.28星期二晚18：00~21：0014模型驅(qū)動(dòng)的代碼生成技術(shù)——展示與輔導(dǎo)3學(xué)時(shí)2013.6.4星期二晚18：00~21：0015MDA綜合案例3學(xué)時(shí)擇機(jī)16分組項(xiàng)目答辯3學(xué)時(shí)擇機(jī)課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間11模型轉(zhuǎn)換技術(shù)——展示與輔9授課方式與課程要求課堂講授與討論相結(jié)合鼓勵(lì)相關(guān)論文規(guī)范閱讀分組項(xiàng)目與展示理論學(xué)習(xí)與項(xiàng)目實(shí)踐相結(jié)合注重相關(guān)工具集的使用授課方式與課程要求課堂講授與討論相結(jié)合課程的準(zhǔn)備知識(shí)、學(xué)習(xí)方法準(zhǔn)備知識(shí)一種面向?qū)ο蟮木幊陶Z(yǔ)言面向?qū)ο蠹夹g(shù)UML學(xué)習(xí)方法理論與實(shí)踐相結(jié)合學(xué)習(xí)與研究相結(jié)合課程的準(zhǔn)備知識(shí)、學(xué)習(xí)方法準(zhǔn)備知識(shí)Web領(lǐng)域代碼自動(dòng)生成工具PetStoreEARHotelWBM業(yè)務(wù)流程模型0的研究與開(kāi)發(fā)，麻志毅蔣嚴(yán)冰戴耀飛李勁宇電子學(xué)報(bào)2002.邏輯模型綁定到物理模型基于MDA的Web領(lǐng)域模型研究每層分別進(jìn)行元建模、模型轉(zhuǎn)換和代碼生成mappingrectangle::rectangleTorectangle():rectangle{helpersimplediagram::findNodeWithSameEllipse(n:node):Set(node){lines+=mapabstractsubnode(r,k).基于QVTO的缺陷模型自動(dòng)修復(fù)工具18：00~21：00基于ecore的源代碼克隆缺陷建模工具components+=objectellipse{nodename:=x};PetStoreEAR12a（EI索引源）<echomessage=""/>元建模技術(shù)——展示與輔導(dǎo)代碼生成技術(shù)不僅能夠提高軟件的開(kāi)發(fā)效率。EclipseCDT本課程所用到的工具集EclipsemodelingMediniQVTWeb領(lǐng)域代碼自動(dòng)生成工具本課程所用到的工具集Eclipse本課程所用到的工具集工具作用基于工具配置與修改方案元建模工具可視化地建立各種模型的ecore元模型EclipsemodelingEcoretools直接可視化的使用EclipsemodelingEcoretools中Ecorediagram可視化的建立各種模型的ecore元模型，并存儲(chǔ)為.ecore文件。可擴(kuò)展的建模工具以ecore元模型為輸入，將其可視化的綁定建模元素的表示法與行為，形成支持各種ecore元模型的建模工具。用以生成各種模型,并以.xmi的方式存儲(chǔ).EclipsemodelingGMF利用GMF的提供的配置向?qū)Э僧a(chǎn)生簡(jiǎn)單的建模工具的插件，如對(duì)表示法和行為有特殊的要求，可通過(guò)修改所生成的建模工具的插件的源代碼。基于QVT的模型轉(zhuǎn)換根據(jù)既定的QVT元模型轉(zhuǎn)化規(guī)則，以一種web領(lǐng)域模型為輸入，通過(guò)轉(zhuǎn)換輸出另外一種模型Eclipsemodeling

operationalQVT;mediniQVT大部分轉(zhuǎn)換可通過(guò)在這些模型轉(zhuǎn)換工具中輸入以QVT規(guī)范編寫的轉(zhuǎn)換語(yǔ)言后，即可自動(dòng)實(shí)現(xiàn)。其中Eclipsemodeling

operationalQVT支持過(guò)程化的轉(zhuǎn)換描述，mediniQVT支持關(guān)系聲明型的轉(zhuǎn)換描述。代碼生成可通過(guò)QVT及EMF工具分別以模型轉(zhuǎn)換的方法或模板的方法實(shí)現(xiàn)。Eclipsemodeling

JETAcceleo代碼生成可通過(guò)EMF中的JET工具，以模板的方式實(shí)現(xiàn).本課程所用到的工具集工具作用基于工具配置與修改方案元建模工具13課程分?jǐn)?shù)評(píng)定考核方式無(wú)筆試無(wú)編碼項(xiàng)目平時(shí)成績(jī)30%項(xiàng)目成績(jī)70%項(xiàng)目要求基于Eclipsemodeling等模型驅(qū)動(dòng)支撐工具，建立特定領(lǐng)域的模型驅(qū)動(dòng)工具，包括元建模、模型轉(zhuǎn)換及代碼生成等部分。要求：①明確描述需求②重點(diǎn)描述元模型與基于QVT的轉(zhuǎn)換方案及實(shí)驗(yàn)案例③代碼生成方案課程分?jǐn)?shù)評(píng)定考核方式課程項(xiàng)目選取領(lǐng)域Web領(lǐng)域代碼自動(dòng)生成工具手機(jī)領(lǐng)域代碼自動(dòng)生成工具基于設(shè)計(jì)模式的模型自動(dòng)轉(zhuǎn)換其他課程項(xiàng)目選取領(lǐng)域Web領(lǐng)域代碼自動(dòng)生成工具課程參考資料Stahl，T.，Volter，M.等著，楊華，高猛譯,模型驅(qū)動(dòng)軟件開(kāi)發(fā)：技術(shù)、工程與管理,清華大學(xué)出版社,2009年1月第一版科學(xué)出版社影印，2003年5月第一版QVT-Partners,RevisedsubmissionforMOF2.0Query/Views/TransformationsRFP,Version1.1(2003/08/18),UML2.0SuperstructureSpecificationUML2.0InfrastructureSpecificationMOF?Query/Views/Transformations課程參考資料Stahl，T.，Volter，M.等著，楊華，模型驅(qū)動(dòng)的研究項(xiàng)目與原型模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原型模型驅(qū)動(dòng)的J2EE部署模型工具WBM到SOMA的模型轉(zhuǎn)化系統(tǒng)軟件外包領(lǐng)域模型驅(qū)動(dòng)開(kāi)發(fā)方法中模型偽裝與轉(zhuǎn)換下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換模型驅(qū)動(dòng)的研究項(xiàng)目與原型模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原型模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原Web領(lǐng)域代碼自動(dòng)生成工具UML及其擴(kuò)展機(jī)制/QVTWeb領(lǐng)域模型轉(zhuǎn)換及代碼生成研究Web領(lǐng)域建模工具原型研發(fā)(基于eclipse-modelingEcoretools,GMF的Web領(lǐng)域元建模及建模工具)Web模型轉(zhuǎn)化與代碼生成工具原型研發(fā)（基于mediniQVT及

eclipse-modeling

operationalQVTEMF的模型轉(zhuǎn)化與代碼生成工具）在具體Web系統(tǒng)開(kāi)發(fā)中的應(yīng)用、驗(yàn)證與比較Web應(yīng)用實(shí)踐基于MDA的Web領(lǐng)域模型研究Web領(lǐng)域的CIM模型（基于Ecore的web領(lǐng)域需求的元模型)Web領(lǐng)域的PIM模型（基于Ecore的web領(lǐng)域獨(dú)立平臺(tái)的元模型）Web領(lǐng)域的PSM模型Web領(lǐng)域CIM到PIM轉(zhuǎn)換（基于QVT的CIM到PIM轉(zhuǎn)換）Web領(lǐng)域PIM到PSM轉(zhuǎn)換（基于QVT的CIM到PIM轉(zhuǎn)換）Web領(lǐng)域PSM到源代碼轉(zhuǎn)換模型到元模型歸納轉(zhuǎn)換技術(shù)Web領(lǐng)域代碼自動(dòng)生成工具UML及其擴(kuò)展機(jī)制/QVTWeb領(lǐng)模型體系與模型轉(zhuǎn)換概要模型體系與模型轉(zhuǎn)換概要模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件實(shí)例：博客領(lǐng)域模型驅(qū)動(dòng)的開(kāi)發(fā)基于web三層模型進(jìn)行分層分工，每層分別進(jìn)行元建模、模型轉(zhuǎn)換和代碼生成表現(xiàn)層陳定勝耿耘劉洋駱云數(shù)據(jù)持久化層朱曉文趙越月業(yè)務(wù)邏輯層元建模模型轉(zhuǎn)換代碼生成90%100%100%實(shí)例：博客領(lǐng)域模型驅(qū)動(dòng)的開(kāi)發(fā)基于web三層模型進(jìn)行分層分工，22EclipsemodelingEcoretools主持華為合作研究項(xiàng)目《下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換》2013（基于Ecore的web領(lǐng)域result.nodenamethen{findNodeWithSameEllipse(r)->isEmpty()orself.在具體Web系統(tǒng)開(kāi)發(fā)中的應(yīng)用、驗(yàn)證與比較name:=self.HotelWBM業(yè)務(wù)流程模型緒論:模型驅(qū)動(dòng)軟件開(kāi)發(fā)技術(shù)綜述與后面向?qū)ο蠓椒ㄅc模型驅(qū)動(dòng)將相同的子結(jié)構(gòu)提取出來(lái)4．OnProcedureStrategyofConstructingSOA’sModelingLanguage,YanbingJiang,ChunxiaoXing,WeiheandJijiangYang,ProcedingsofIEEEInternationalWorkshoponservice-orientedsystemEngineering2005,IEEEComputerSocietyPresscomponents+=(n2.1:取消目標(biāo)模型元素的自關(guān)聯(lián)18：00~21：00模型驅(qū)動(dòng)的代碼生成技術(shù)——基于QVTM2T的代碼生成語(yǔ)言與工具Acceleo基于MDA的Web領(lǐng)域模型研究EclipsemodelingJET在模型驅(qū)動(dòng)領(lǐng)域的研究背景Eclipsemodeling分析模型元模型EclipsemodelingEcoretools分析23數(shù)據(jù)訪問(wèn)層元模型數(shù)據(jù)訪問(wèn)層元模型24業(yè)務(wù)邏輯層元模型業(yè)務(wù)邏輯層元模型25展現(xiàn)層元模型展現(xiàn)層元模型26分析模型分析模型27數(shù)據(jù)訪問(wèn)層設(shè)計(jì)模型數(shù)據(jù)訪問(wèn)層設(shè)計(jì)模型28業(yè)務(wù)邏輯層設(shè)計(jì)模型業(yè)務(wù)邏輯層設(shè)計(jì)模型29展現(xiàn)層設(shè)計(jì)模型LOGO展現(xiàn)層設(shè)計(jì)模型LOGO30數(shù)據(jù)訪問(wèn)層的代碼生成數(shù)據(jù)訪問(wèn)層的代碼生成31業(yè)務(wù)邏輯層代碼生成業(yè)務(wù)邏輯層代碼生成32展現(xiàn)層代碼生成展現(xiàn)層代碼生成33展現(xiàn)層展現(xiàn)層34基于android的手機(jī)代碼框架生成系統(tǒng)基于android的手機(jī)代碼框架生成系統(tǒng)JSPServelet代碼框架生成系統(tǒng)JSPServelet代碼框架生成系統(tǒng)產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線規(guī)則自動(dòng)驗(yàn)證與到代碼的自動(dòng)轉(zhuǎn)化工具0InfrastructureSpecificationMOF?Query/Views/Transformations交換機(jī)PIM結(jié)構(gòu)模型到PSM結(jié)構(gòu)模型的轉(zhuǎn)換工具基于模型驅(qū)動(dòng)的J2EE部署模型工具component[ellipse]->mapcTc(result);component[rectangle]->mapcTc(result);（SCI收錄）獲得北京大學(xué)2004年優(yōu)秀論文獎(jiǎng)_from:=self.可視化地建立各種模型的ecore元模型18：00~21：0018：00~21：00其中EclipsemodelingoperationalQVT支持過(guò)程化的轉(zhuǎn)換描述，mediniQVT支持關(guān)系聲明型的轉(zhuǎn)換描述。to->maplineToline();4．OnProcedureStrategyofConstructingSOA’sModelingLanguage,YanbingJiang,ChunxiaoXing,WeiheandJijiangYang,ProcedingsofIEEEInternationalWorkshoponservice-orientedsystemEngineering2005,IEEEComputerSocietyPress<echomessage=""/>source->resolveoneIn(ellipse::eTc)=self.掌握模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的基本概念與主要思想。某公司計(jì)劃在短期內(nèi)開(kāi)發(fā)一種非常有創(chuàng)意的軟件產(chǎn)品，以便快速占領(lǐng)市場(chǎng)，但不精通開(kāi)發(fā)技術(shù)，人手不夠。son.分析模型元模型產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線分析模型元模型37數(shù)據(jù)訪問(wèn)層元模型數(shù)據(jù)訪問(wèn)層元模型38業(yè)務(wù)邏輯層元模型業(yè)務(wù)邏輯層元模型39展現(xiàn)層元模型展現(xiàn)層元模型40分析模型分析模型41數(shù)據(jù)訪問(wèn)層設(shè)計(jì)模型數(shù)據(jù)訪問(wèn)層設(shè)計(jì)模型42業(yè)務(wù)邏輯層設(shè)計(jì)模型業(yè)務(wù)邏輯層設(shè)計(jì)模型43展現(xiàn)層設(shè)計(jì)模型LOGO展現(xiàn)層設(shè)計(jì)模型LOGO44數(shù)據(jù)訪問(wèn)層的代碼生成數(shù)據(jù)訪問(wèn)層的代碼生成45業(yè)務(wù)邏輯層代碼生成業(yè)務(wù)邏輯層代碼生成46findNodeWithSameEllipse(r);7．UML現(xiàn)存問(wèn)題與發(fā)展道路，邵維忠蔣嚴(yán)冰麻志毅，計(jì)算機(jī)研究與發(fā)展，2003.將相同的子結(jié)構(gòu)提取出來(lái)改變對(duì)軟件開(kāi)發(fā)的傳統(tǒng)思路，更深理解軟件工程。mappingline::lineToline():line{某軟件開(kāi)發(fā)公司的主營(yíng)業(yè)務(wù)是為中小型企業(yè)開(kāi)發(fā)Web信息管理系統(tǒng)，而每個(gè)企業(yè)都有自身的需求，公司人員已達(dá)8000人，但仍忙不過(guò)來(lái)。邏輯模型綁定到物理模型ponent[rectangle]->mapcTc(result);提高研究能力，開(kāi)闊學(xué)術(shù)視野，培養(yǎng)把握前沿軟件開(kāi)發(fā)方法的研究與應(yīng)用能力。lines+=self.邏輯模型綁定到物理模型基于MDA的Web領(lǐng)域用況模型研究component+=c.基于android的手機(jī)代碼框架生成系統(tǒng)WBM到SOMA的模型轉(zhuǎn)化系統(tǒng)基于ecore的源代碼克隆缺陷元模型_from:=self.在具體Web系統(tǒng)開(kāi)發(fā)中的應(yīng)用、驗(yàn)證與比較基于MDA的Web領(lǐng)域模型研究WBM到SOMA的模型轉(zhuǎn)化系統(tǒng)objectl1:line{展現(xiàn)層代碼生成findNodeWithSameEllipse(r);展現(xiàn)層47模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件48模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件49模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件50模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件51模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件52模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件53例6.1:取消目標(biāo)模型元素的自關(guān)聯(lián)mappingLine::lineToline():Linewhen{not(notself.source->resolveoneIn(ellipse::eTc)->isEmpty()andnotself.tareget->resolveoneIn(ellipse::eTc)->isEmpty()andself.source->resolveoneIn(ellipse::eTc)=self.tareget->resolveoneIn(ellipse::eTc))

}{……}在lineToline中加入when子句例6.1:取消目標(biāo)模型元素的自關(guān)聯(lián)mappingLine:取消目標(biāo)模型元素的自關(guān)聯(lián)取消目標(biāo)模型元素的自關(guān)聯(lián)抽象工廠模式轉(zhuǎn)化為一般工廠模式抽象工廠模式轉(zhuǎn)化為一般工廠模式nodename=e.nodenamethen{基于AST的程序分析與缺陷模型生成器從而在很大程度上提高軟件的開(kāi)發(fā)效率.son.可通過(guò)QVT及EMF工具分別以模型轉(zhuǎn)換的方法或模板的方法實(shí)現(xiàn)。findNodeWithSameEllipse(r);0Query/Views/TransformationsRFP,Version1.mappingmyfirstDiagram::SDToSD():myfirstDiagram{//son.0SuperstructureSpecification18：00~21：00<echomessage=""/>（基于Ecore的web領(lǐng)域模型轉(zhuǎn)換技術(shù)——基于QVTrelation的轉(zhuǎn)換語(yǔ)言與工具展示模型驅(qū)動(dòng)方法中的工具集。取消目標(biāo)模型元素的自關(guān)聯(lián)6．UML中衍型的精確定義與分析，蔣嚴(yán)冰邵維忠張路麻志毅電子學(xué)報(bào)2003.lines+=self.result.一種面向?qū)ο蟮木幊陶Z(yǔ)言tareget->resolveoneIn(ellipse::eTc)->isEmpty()將相同的子結(jié)構(gòu)提取出來(lái)

nodename=e.將相同的子結(jié)構(gòu)提取出來(lái)

將相同的子結(jié)構(gòu)提取出來(lái)

modeltypesimplegraphuses'';transformationNewTransformation(insource:simplegraph,outtarget:simplegraph);main(){source.objectsOfType(simplediagram)->mapSDToSD();}mappingsimplediagram::SDToSD():simplediagram{self.nodes->forEach(r){//result.nodes+=self.findNodeWithSameEllipse(r);ifself.findNodeWithSameEllipse(r)->isEmpty()orself.findNodeWithSameEllipse(r)=nullthenresult.nodes+=r.mapNodeTNode()else{varf:=resolveIn(abstractsubnode,node)->select(e|e.nodename='father'andponents[ellipse]->first().nodename=ponents[ellipse]->first().nodename);iff->notEmpty()then{continue}endif;self.findNodeWithSameEllipse(r)->forEach(k){result.nodes+=mapabstractsubnode(r,k).father;result.lines+=mapabstractsubnode(r,k).l1;result.nodes+=mapabstractsubnode(r,k).son;}}endif};result.lines+=self.lines->maplineToline();}將相同的子結(jié)構(gòu)提取出來(lái)

modeltypesimplegr將相同的子結(jié)構(gòu)提取出來(lái)

mappingnode::NodeTNode():node{result.nodename:=self.nodename;result.to:=self.to->maplineToline();result._from:=self._from->maplineToline();ponents:=ponents[ellipse]->mapellipseToellipse();ponents+=(ponents[rectangle]->maprectangleTorectangle());}helpersimplediagram::findNodeWithSameEllipse(n:node):Set(node){varrenodes:Set(node);//ifponents[ellipse]=nullthenreturnnullendif;vare:ellipse=ponents[ellipse]->first();self.nodes->forEach(m){ponents[ellipse]->forEach(f){iff.nodename=e.nodenamethen{renodes+=m;}endif;}};returnrenodes;}mappingline::lineToline():line{}mappingellipse::ellipseToellipse():ellipse{result.nodename:=self.nodename;}mappingrectangle::rectangleTorectangle():rectangle{result.nodename:=self.nodename;}將相同的子結(jié)構(gòu)提取出來(lái)

mappingnode::Node將相同的子結(jié)構(gòu)提取出來(lái)

mappingabstractsubnode(inn1:node,inn2:node):father:node,son:node,l1:line{init{varx:String=ponents[ellipse]->first().nodename;varf:=resolveIn(abstractsubnode,node)->select(e|e.nodename='father'andponents[ellipse]->first().nodename=x);iff->notEmpty()thenfather:=f->first()else{objectfather:node{nodename:='father';components+=objectellipse{nodename:=x};};}endif;

objectson:node{son.nodename:=n2.nodename;son.to:=n2.to->maplineToline();son._from:=n2._from->maplineToline();//ponents:=ponents[ellipse]->mapellipseToellipse();ponents+=(ponents[rectangle]->maprectangleTorectangle());};objectl1:line{l1.source:=son;l1.target:=father};}}將相同的子結(jié)構(gòu)提取出來(lái)

mappingabstractsu產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線

產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線

產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線modeltypemyfirstGMFuses'';transformationNewTransformation(insource:myfirstGMF,outtarget:myfirstGMF);main(){source.objectsOfType(myfirstDiagram)->mapSDToSD();}mappingmyfirstDiagram::SDToSD():myfirstDiagram{//ponent:=ponent[certainernode]->mapcTc();

ponent[certainernode]->forEach(c){

ponent+=c.mapcTc(result);};ponent+=ponent[rectangle]->mapcTc(result);

ponent+=ponent[ellipse]->mapcTc(result);

result.lines+=self.lines->maplineToline();}產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線modeltypemyfirs產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線mappingNode::nTn(inoutm:myfirstDiagram):Node{:=;result.to:=self.to->maplineToline();result._from:=self._from->maplineToline();

}mappingcertainernode::cTc(inoutm:myfirstDiagram):certainernodeinheritsNode::nTn{sname:=self.sname;result.sons+=self.sons[certainernode]->mapcTc(m);result.sons+=self.sons[rectangle]->mapcTc(m);result.sons+=self.sons[ellipse]->mapcTc(m);m.lines+=mapaddinterStruct(result).sl;}增加參數(shù)inoutm:myfirstDiagram的目的是為了在產(chǎn)生line時(shí),將其加入到myfirstDiagram容器,inout目的是需要修改傳入的參數(shù).產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線mappingNode::nT產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線mappingaddinterStruct(inoutc:certainernode):e:ellipse,r:rectangle,sl:Line{init{e:=newellipse('ee');r:=objectrectangle{name:='rr'};sl:=objectLine{Lname:='ll'};

}c.sons+=e;c.sons+=r;sl.source:=e;sl.tareget:=r;}addinterStruct用于將certainernode中增加新的子結(jié)構(gòu),注意init{}此處不能省略產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線mappingaddinter特點(diǎn)1.自動(dòng)化程度高.通過(guò)實(shí)驗(yàn)原型的研發(fā),我們已經(jīng)完全掌握并熟練運(yùn)用了完整的從元建模到模型轉(zhuǎn)換再到代碼生成的全部關(guān)鍵技術(shù),實(shí)現(xiàn)特定領(lǐng)域的從需求模型到設(shè)計(jì)模型的轉(zhuǎn)化,從設(shè)計(jì)模型到代碼的轉(zhuǎn)換,實(shí)現(xiàn)整個(gè)軟件開(kāi)發(fā)流程的模型自動(dòng)轉(zhuǎn)換（基于QVT）和代碼的自動(dòng)生成（基于QVTM2T）.而IBM相應(yīng)的研發(fā)團(tuán)隊(duì)只是在模型轉(zhuǎn)換代碼生成方面，并且用到的代碼生成技術(shù)（基于JET）不如我們的先進(jìn)，模型轉(zhuǎn)換完全采用編程方式實(shí)現(xiàn)。2．軟件開(kāi)發(fā)效率高。我們的研發(fā)團(tuán)隊(duì)可以在很短的時(shí)間內(nèi)針對(duì)特定領(lǐng)域搭建特定領(lǐng)域的圖形化建模工具、模型轉(zhuǎn)換工具和代碼生成工具。從而在很大程度上提高軟件的開(kāi)發(fā)效率.3．100%的代碼生成。代碼生成技術(shù)不僅能夠提高軟件的開(kāi)發(fā)效率。而且也能夠保證代碼的質(zhì)量。并且模型驅(qū)動(dòng)的方法不同于以往的代碼生成技術(shù)，可以通過(guò)不同階段的模型的方式，對(duì)代碼進(jìn)行維護(hù)。并不存在傳統(tǒng)觀念中認(rèn)為的生成的代碼可維護(hù)性差的問(wèn)題。特點(diǎn)1.自動(dòng)化程度高.基于模型驅(qū)動(dòng)的J2EE部署模型工具基于模型驅(qū)動(dòng)的J2EE部署模型工具大型項(xiàng)目的部署的問(wèn)題為大型項(xiàng)目的部署提供一個(gè)宏觀的部署視圖：很多部署協(xié)助工具能夠完成編譯、打包、拷貝的功能，但是這些一般都是針對(duì)結(jié)構(gòu)相對(duì)簡(jiǎn)單的項(xiàng)目，而且沒(méi)有一個(gè)圖形化的界面提供給用戶，不能讓用戶對(duì)整個(gè)部署的拓?fù)浣Y(jié)構(gòu)一目了然。如何自動(dòng)生成正確的編譯、部署腳本，并與項(xiàng)目保持一致：大多數(shù)人可能不會(huì)部署腳本的編寫；保持部署腳本和項(xiàng)目的一致性問(wèn)題，一旦項(xiàng)目的結(jié)構(gòu)發(fā)生了變化，很可能需要重新對(duì)腳本進(jìn)行修改。遠(yuǎn)程服務(wù)器的項(xiàng)目的部署Eclipse或者RSA都提供了相應(yīng)的插件能夠很好的滿足與本地服務(wù)器的集成，比如返回本地服務(wù)器的狀態(tài)，將項(xiàng)目編譯、打包并拷貝到本地服務(wù)器的相應(yīng)目錄完成部署，但是針對(duì)與遠(yuǎn)程的服務(wù)器，一般還是得部署人員或者編寫部署腳本，或者直接登錄到相應(yīng)的機(jī)器，進(jìn)行遠(yuǎn)程的操作。大型項(xiàng)目的部署的問(wèn)題為大型項(xiàng)目的部署提供一個(gè)宏觀的部署視圖：部署元模型部署元模型部署模型部署模型生成的SOMA服務(wù)模型元素構(gòu)成提高研究能力，開(kāi)闊學(xué)術(shù)視野，培養(yǎng)把握前沿軟件開(kāi)發(fā)方法的研究與應(yīng)用能力。規(guī)則自動(dòng)驗(yàn)證與到代碼的自動(dòng)轉(zhuǎn)化工具90%基于模型驅(qū)動(dòng)的J2EE部署模型工具可通過(guò)QVT及EMF工具分別以模型轉(zhuǎn)換的方法或模板的方法實(shí)現(xiàn)。son.元建模技術(shù)——展示與輔導(dǎo)name:=self.sname:=self.某軟件設(shè)計(jì)人員建立了一個(gè)設(shè)計(jì)模型，但無(wú)法驗(yàn)證。深入講解UML/MOF/QVT語(yǔ)言的高級(jí)技術(shù)細(xì)節(jié)，講解完整的模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法。展示模型驅(qū)動(dòng)方法中的工具集。(SCI收錄引用1次)這是在有關(guān)UML最權(quán)威的國(guó)際會(huì)議上發(fā)表的論文，并對(duì)UML的發(fā)展提出建設(shè)性建議。lines+=mapabstractsubnode(r,k).元建模技術(shù)——實(shí)戰(zhàn)案例（SCI收錄）獲得北京大學(xué)2004年優(yōu)秀論文獎(jiǎng)9．基于規(guī)則的UML元模型語(yǔ)法擴(kuò)展的支持技術(shù)研究，蔣嚴(yán)冰麻志毅朱志高張能斌，中國(guó)計(jì)算機(jī)大會(huì)論文集，清華大學(xué)出版社，2003年11月主持華為合作研究項(xiàng)目《下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換》20136．UML中衍型的精確定義與分析，蔣嚴(yán)冰邵維忠張路麻志毅電子學(xué)報(bào)2003.部署結(jié)構(gòu)建模工具生成的SOMA服務(wù)模型元素構(gòu)成部署結(jié)構(gòu)建模工具一個(gè)典型的J2EE項(xiàng)目作為實(shí)例演示序號(hào)項(xiàng)目名稱項(xiàng)目作用1PetStoreBusiness提供一些必要常用的API供其它項(xiàng)目引用2PetStoreEAR用于部署打包的EAR項(xiàng)目3PetStoreEJB包含多個(gè)SessionBean和EntityBean，完成整體項(xiàng)目的業(yè)務(wù)邏輯4PetStoreEJBClient客戶端利引用此接口對(duì)服務(wù)端的服務(wù)進(jìn)行調(diào)用，從而完成業(yè)務(wù)調(diào)用5PetStoreWeb負(fù)責(zé)顯示和交互的邏輯一個(gè)典型的J2EE項(xiàng)目作為實(shí)例演示序號(hào)項(xiàng)目名稱項(xiàng)目作用1Pe當(dāng)將Workbench集成到Eclipse中去后，運(yùn)行Eclipse插件后，用戶可以選擇根據(jù)項(xiàng)目產(chǎn)生部署模型，下圖展示了啟動(dòng)之前的效果：當(dāng)將Workbench集成到Eclipse中去后，運(yùn)行Ecl產(chǎn)生部署模型產(chǎn)生部署模型產(chǎn)生邏輯部署模型產(chǎn)生邏輯部署模型邏輯模型綁定到物理模型邏輯模型綁定到物理模型生成部署模型<!--PetStoreEARproperties--> <propertyname="PetStoreEAR.name"value="PetStoreEAR"/><pathid="PetStoreEAR.classpath">

</path> <!--PetStoreEARInit--><targetname="PetStoreEAR_init"depends="global_init"><tstamp/> <echomessage="----DeploymentUnit[${PetStoreEAR.name}]-----"/> <echomessage=""/><echomessage="Deploymentunittype=${PetStoreEAR.type}"/></target>生成部署模型<!--PetStoreEARpropert成功運(yùn)行項(xiàng)目后的效果圖成功運(yùn)行項(xiàng)目后的效果圖WBM到SOMA的模型轉(zhuǎn)化系統(tǒng)WBM到SOMA的模型轉(zhuǎn)化系統(tǒng)首先對(duì)要進(jìn)行轉(zhuǎn)換的三個(gè)模型進(jìn)行分析并設(shè)計(jì)出它們之間模型元素的映射規(guī)則，利用RSA框架里的模型轉(zhuǎn)換引擎根據(jù)映射規(guī)則將業(yè)務(wù)流程模型轉(zhuǎn)換為服務(wù)模型，并最后轉(zhuǎn)換為代碼生成模型。實(shí)現(xiàn)該設(shè)計(jì)方案的具體做法是先建立業(yè)務(wù)流程的領(lǐng)域模型，然后建立模型轉(zhuǎn)換的UML類圖，并通過(guò)SWT/JFace為該模型轉(zhuǎn)換工具提供了圖形化用戶界面的實(shí)現(xiàn)，最后利用Eclipse的擴(kuò)展機(jī)制以及GMF插件對(duì)模型進(jìn)行轉(zhuǎn)換。首先對(duì)要進(jìn)行轉(zhuǎn)換的三個(gè)模型進(jìn)行分析并設(shè)計(jì)出它們之間模型元素的SOMA解決方案工作流WBM模型SOMA解決方案工作流WBM模型HotelWBM業(yè)務(wù)流程模型HotelWBM業(yè)務(wù)流程模型生成的SOMA服務(wù)模型元素構(gòu)成生成的SOMA服務(wù)模型元素構(gòu)成業(yè)務(wù)規(guī)則管理框架解決方案業(yè)務(wù)規(guī)則管理框架解決方案規(guī)則自動(dòng)驗(yàn)證與到代碼的自動(dòng)轉(zhuǎn)化工具使用GMF技術(shù)建立規(guī)則適用的領(lǐng)域元模型與RCP建模工具,用于建立適用規(guī)則的可視化模型.通過(guò)在元模型上編寫OCL語(yǔ)言描述的約束,可以在模型層面驗(yàn)證OCL規(guī)則語(yǔ)義上的正確性。針對(duì)復(fù)雜的規(guī)則，單純OCL規(guī)則并不能完全滿足要求。針對(duì)這種情況，使用GMF技術(shù)建立可視化的規(guī)則編輯器用于編輯規(guī)則，并通過(guò)與領(lǐng)域模型編輯器編輯的模型一起作為輸入，進(jìn)行驗(yàn)證和代碼生成。規(guī)則自動(dòng)驗(yàn)證與到代碼的自動(dòng)轉(zhuǎn)化工具使用GMF技術(shù)建立規(guī)則適用業(yè)務(wù)規(guī)則執(zhí)行引擎綜合運(yùn)用程序框架技術(shù)、程序動(dòng)態(tài)加載與執(zhí)行技術(shù)（Java/dll）、數(shù)據(jù)庫(kù)管理技術(shù)，對(duì)第一部分中生成的可執(zhí)行的規(guī)則代碼進(jìn)行全生命周期管理同時(shí)對(duì)規(guī)則中引用的對(duì)象也進(jìn)行生命周期管理，并提供一種程序自動(dòng)加載與調(diào)用框架，根據(jù)其監(jiān)控的各個(gè)對(duì)象的狀態(tài)自動(dòng)加載相應(yīng)的規(guī)則代碼，根據(jù)規(guī)則調(diào)用相應(yīng)的執(zhí)行動(dòng)作。業(yè)務(wù)規(guī)則執(zhí)行引擎綜合運(yùn)用程序框架技術(shù)、程序動(dòng)態(tài)加載與執(zhí)行技術(shù)C/C++源代碼Simian

Eclipse插件相似的代碼片斷集EclipseCDT抽象語(yǔ)法樹AST基于AST的程序分析與缺陷模型生成器代碼克隆缺陷模型.ecore基于AST的缺陷分析代碼片斷完全克隆查詢函數(shù)的完全克隆查詢類完全克隆查詢變化函數(shù)參數(shù)查詢變化函數(shù)的返回值查詢變化函數(shù)的行為查詢……基于DOM的.ecore

XML文檔生成器基于GMF的可視化的源代碼克隆缺陷建模工具可視化的代碼克隆缺陷模型.ecore基于ecore的源代碼克隆缺陷元模型源代碼克隆缺陷建模GUI基于ecore的源代碼克隆缺陷建模工具基于QVT

O的缺陷模型自動(dòng)修復(fù)工具代碼片斷完全克隆缺陷模式轉(zhuǎn)化函數(shù)的完全克隆缺陷模式轉(zhuǎn)化類完全克隆缺陷模式轉(zhuǎn)化變化函數(shù)參數(shù)缺陷模式轉(zhuǎn)化變化函數(shù)的返回值缺陷模式轉(zhuǎn)化變化函數(shù)的行為缺陷模式轉(zhuǎn)化……代碼克隆缺陷優(yōu)化模型.ecore基于GMF/QVT

O的缺陷模型手動(dòng)修復(fù)工具基于QVTO的克隆缺陷模型模型標(biāo)注器基于GMF的源代碼克隆缺陷模型調(diào)整GUI基于M2T/JET的缺陷優(yōu)化模型到代碼的生成與拼接工具優(yōu)化的代碼片斷集優(yōu)化C/C++源代碼C/C++源代碼SimianEclipse插件相似的代碼軟件外包領(lǐng)域模型驅(qū)動(dòng)開(kāi)發(fā)方法中模型偽裝與轉(zhuǎn)換軟件外包領(lǐng)域模型驅(qū)動(dòng)開(kāi)發(fā)方法中模型偽裝與轉(zhuǎn)換模型偽裝與轉(zhuǎn)換示意圖模型偽裝與轉(zhuǎn)換示意圖基于QVT的轉(zhuǎn)換機(jī)制基于QVT的轉(zhuǎn)換機(jī)制成功運(yùn)行項(xiàng)目后的效果圖<echomessage="Deploymentunittype=${PetStoreEAR.Web領(lǐng)域的CIM模型基于ecore的源代碼克隆缺陷元模型模型驅(qū)動(dòng)的代碼生成技術(shù)——基于QVTM2T的代碼生成語(yǔ)言與工具AcceleoEclipsemodeling（基于mediniQVT及eclipse-modeling基于AST的程序分析與缺陷模型生成器nodename=r.findNodeWithSameEllipse(r);component:=self.<pathid="PetStoreEAR.基于ecore的源代碼克隆缺陷建模工具lines+=mapabstractsubnode(r,k).PetStoreWeb18：00~21：00components+=(ponent[ellipse]->mapcTc(result);EclipseCDT基于GMF的開(kāi)放協(xié)議建模工具開(kāi)發(fā)PIM建模工具結(jié)構(gòu)OCL規(guī)則行為OCL規(guī)則結(jié)構(gòu)Ecore元模型行為Ecore元模型PSM建模工具PSM結(jié)構(gòu)OCL規(guī)則PSM行為OCL規(guī)則PSM結(jié)構(gòu)Ecore元模型PSM行為Ecore元模型基于QVT的開(kāi)放協(xié)議模型轉(zhuǎn)換工具開(kāi)發(fā)交換機(jī)PIM結(jié)構(gòu)模型到PSM結(jié)構(gòu)模型的轉(zhuǎn)換工具交換機(jī)行為模型到PSM行為模型的轉(zhuǎn)換工具基于Acceleo的下一代交換機(jī)軟件代碼生成工具開(kāi)發(fā)控制器端代碼生成工具交換機(jī)端代碼生成工具人機(jī)界面控制數(shù)據(jù)管理通訊通訊控制交換下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換成功運(yùn)行項(xiàng)目后的效果圖基于GMF的開(kāi)放協(xié)議建模工具開(kāi)發(fā)PIM謝謝！歡迎選修模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)！謝謝！提綱課程主要目標(biāo)引例課程特色在模型驅(qū)動(dòng)領(lǐng)域的研究背景與成果授課方式與課程要求課程內(nèi)容與計(jì)劃課程的準(zhǔn)備知識(shí)、學(xué)習(xí)方法本課程所用到的工具集課程分?jǐn)?shù)評(píng)定參考資料研究項(xiàng)目與原型展示提綱課程主要目標(biāo)課程主要目標(biāo)了解軟件開(kāi)發(fā)方法學(xué)在面向?qū)ο筌浖_(kāi)發(fā)方法之后的最新發(fā)展趨勢(shì)與關(guān)鍵技術(shù)，如基于構(gòu)件，面向特征，面向特征等技術(shù)。掌握模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的基本概念與主要思想。掌握模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法中的關(guān)鍵技術(shù)，如元建模技術(shù)、模型轉(zhuǎn)換和代碼生成的規(guī)范與方法。初步掌握將模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法運(yùn)用到特定領(lǐng)域的方法，技術(shù)與工具。改變對(duì)軟件開(kāi)發(fā)的傳統(tǒng)思路，更深理解軟件工程。掌握前沿軟件開(kāi)發(fā)方法，增強(qiáng)職業(yè)競(jìng)爭(zhēng)力。提高研究能力，開(kāi)闊學(xué)術(shù)視野，培養(yǎng)把握前沿軟件開(kāi)發(fā)方法的研究與應(yīng)用能力。課程主要目標(biāo)了解軟件開(kāi)發(fā)方法學(xué)在面向?qū)ο筌浖_(kāi)發(fā)方法之后的最引例—軟件企業(yè)面臨的問(wèn)題攸關(guān)系統(tǒng)汽車領(lǐng)域航天領(lǐng)域恒潤(rùn)科技SaaS企業(yè)某軟件開(kāi)發(fā)公司的主營(yíng)業(yè)務(wù)是為中小型企業(yè)開(kāi)發(fā)Web信息管理系統(tǒng)，而每個(gè)企業(yè)都有自身的需求，公司人員已達(dá)8000人，但仍忙不過(guò)來(lái)。中企動(dòng)力創(chuàng)新公司某公司計(jì)劃在短期內(nèi)開(kāi)發(fā)一種非常有創(chuàng)意的軟件產(chǎn)品，以便快速占領(lǐng)市場(chǎng)，但不精通開(kāi)發(fā)技術(shù)，人手不夠。大型IT企業(yè)異構(gòu)性的問(wèn)題代碼重構(gòu)如何充分利用多年來(lái)積累的開(kāi)發(fā)經(jīng)驗(yàn)、制品與代碼。某大型軟件公司的軟件開(kāi)發(fā)人員每天苦于建立千篇一律的設(shè)計(jì)模型、編寫千篇一律的程序，耗時(shí)而乏味。某軟件設(shè)計(jì)人員建立了一個(gè)設(shè)計(jì)模型，但無(wú)法驗(yàn)證。IBM華為上海證券涉及軟件外包的企業(yè)軟件外包過(guò)程中，甲乙雙方溝通問(wèn)題。軟件外包過(guò)程中，甲乙雙方知識(shí)產(chǎn)權(quán)問(wèn)題。金融公司銀行引例—軟件企業(yè)面臨的問(wèn)題攸關(guān)系統(tǒng)課程特色深入、系統(tǒng)、完整地講解模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的產(chǎn)生背景及其中的關(guān)鍵技術(shù)與規(guī)范。深入講解UML/MOF/QVT語(yǔ)言的高級(jí)技術(shù)細(xì)節(jié)，講解完整的模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法。展示模型驅(qū)動(dòng)方法中的工具集。綜合最新研究文獻(xiàn)與多年研究成果，集理論性、實(shí)用性、研究性、前沿性一體。提供豐富的案例,便于快速掌握關(guān)鍵技術(shù)通過(guò)完整案例，展示模型驅(qū)動(dòng)軟件開(kāi)發(fā)的過(guò)程。課程特色深入、系統(tǒng)、完整地講解模型驅(qū)動(dòng)軟件開(kāi)發(fā)方法的產(chǎn)生背景在模型驅(qū)動(dòng)領(lǐng)域的研究背景博士論文《UML擴(kuò)展機(jī)制及其支持技術(shù)研究》2003針對(duì)UML擴(kuò)展機(jī)制及其在使用中出現(xiàn)的問(wèn)題，對(duì)UML的衍型擴(kuò)展機(jī)制進(jìn)行了精確的定義與分析，研究了元模型擴(kuò)展機(jī)制的分級(jí)定義以及元模型語(yǔ)法擴(kuò)展的支持技術(shù)。特別是對(duì)UML擴(kuò)展機(jī)制和元模型方面的理論研究方面，已有兩篇論文發(fā)表在UML領(lǐng)域最重要的國(guó)際會(huì)議UML2004論文中關(guān)于元建模工具原理與原型的論述與近期EclipseGMF中的工作原理非常相似，卻比后者早了6年博士后科學(xué)基金項(xiàng)目《擴(kuò)展UML的過(guò)程策略研究及其在web領(lǐng)域建模與模擬中的應(yīng)用》2004~2005博士后出站報(bào)告《MDA在特定領(lǐng)域的應(yīng)用與基礎(chǔ)理論研究》2006模型驅(qū)動(dòng)的體系結(jié)構(gòu)研究綜述基于MDA的Web領(lǐng)域用況模型研究基于MDA與SOA的系統(tǒng)集成技術(shù)研究擴(kuò)展MDA的建模語(yǔ)言的過(guò)程策略研究指導(dǎo)MDA相關(guān)的綜合實(shí)踐四項(xiàng)、碩士論文三篇主持國(guó)家自然科學(xué)基金項(xiàng)目《軟件外包領(lǐng)域模型驅(qū)動(dòng)開(kāi)發(fā)方法中模型偽裝與轉(zhuǎn)換理論研究》2012主持華為合作研究項(xiàng)目《下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換》2013在模型驅(qū)動(dòng)領(lǐng)域的研究背景博士論文《UML擴(kuò)展機(jī)制及其支持技術(shù)在模型驅(qū)動(dòng)領(lǐng)域的研究背景1．OntheFormalizedSemanticsofStaticModelingElementsinUML,JiangYan-bingShaoWei-zhongMaZhi-yiandFengYao-dong,FormalMethodsAndSoftwareEngineering2002,ProcedingsLectureNotesInComputerScience,Springer-VerlagBerlin.（SCI收錄）獲得北京大學(xué)2004年優(yōu)秀論文獎(jiǎng)2．OntheClassificationofUML’sMetaModelExtensionMechanism,YanbingJiang,WeizhongShao,LuZhang,ZhiyiMa,XiangwenMengandHaohaiMa,UML2004,ProcedingsLectureNotesInComputerScience,Springer-VerlagBerlin.(SCI收錄引用1次)這是在有關(guān)UML最權(quán)威的國(guó)際會(huì)議上發(fā)表的論文，并對(duì)UML的發(fā)展提出建設(shè)性建議。3．ApplyingOOMetricstoAssessUMLMeta-Models,HaohaiMa,WeizhongShaoLuZhang,ZhiyiMaandYanbingJiang，UML2004,ProcedingsLectureNotesInComputerScience,Springer-VerlagBerlin.(SCI收錄)4．OnProcedureStrategyofConstructingSOA’sModelingLanguage,YanbingJiang,ChunxiaoXing,WeiheandJijiangYang,ProcedingsofIEEEInternationalWorkshoponservice-orientedsystemEngineering2005,IEEEComputerSocietyPress5．模型驅(qū)動(dòng)的體系結(jié)構(gòu)研究綜述，蔣嚴(yán)冰邢春曉南京大學(xué)學(xué)報(bào)（自然科學(xué)版），計(jì)算機(jī)科學(xué)專輯2005.106．UML中衍型的精確定義與分析，蔣嚴(yán)冰邵維忠張路麻志毅電子學(xué)報(bào)2003.12a（EI收錄）7．UML現(xiàn)存問(wèn)題與發(fā)展道路，邵維忠蔣嚴(yán)冰麻志毅，計(jì)算機(jī)研究與發(fā)展，2003.4（EI收錄）8．面向?qū)ο蟮慕９ぞ摺狫BOO3.0的研究與開(kāi)發(fā)，麻志毅蔣嚴(yán)冰戴耀飛李勁宇電子學(xué)報(bào)2002.12a（EI索引源）9．基于規(guī)則的UML元模型語(yǔ)法擴(kuò)展的支持技術(shù)研究，蔣嚴(yán)冰麻志毅朱志高張能斌，中國(guó)計(jì)算機(jī)大會(huì)論文集，清華大學(xué)出版社，2003年11月在模型驅(qū)動(dòng)領(lǐng)域的研究背景1．OntheFormalize課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間1課程介紹緒論:模型驅(qū)動(dòng)軟件開(kāi)發(fā)技術(shù)綜述與后面向?qū)ο蠓椒ㄅc模型驅(qū)動(dòng)

3學(xué)時(shí)2013.2.26星期二晚18：00~21：002元建模技術(shù)——概述元建模技術(shù)——UML的元模型體系結(jié)構(gòu)與擴(kuò)展機(jī)制3學(xué)時(shí)2013.3.5星期二晚18：00~21：003元建模技術(shù)——元建模過(guò)程與支撐工具元建模技術(shù)——實(shí)戰(zhàn)案例3學(xué)時(shí)2013.3.12星期二晚18：00~21：004元建模技術(shù)——實(shí)戰(zhàn)案例3學(xué)時(shí)2013.3.19星期二晚18：00~21：005元建模技術(shù)——展示與輔導(dǎo)3學(xué)時(shí)2013.3.26星期二晚18：00~21：00課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間1課程介紹3學(xué)時(shí)2013.2.98課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間6模型轉(zhuǎn)換技術(shù)——概述模型轉(zhuǎn)換技術(shù)——基于QVTrelation的轉(zhuǎn)換語(yǔ)言與工具3學(xué)時(shí)2013.4.2星期二晚18：00~21：007模型轉(zhuǎn)換技術(shù)——基于QVTrelation的案例3學(xué)時(shí)2013.4.9星期二晚18：00~21：008模型轉(zhuǎn)換技術(shù)——基于QVToperational的轉(zhuǎn)換轉(zhuǎn)換語(yǔ)言與工具3學(xué)時(shí)2013.4.16星期二晚18：00~21：009模型轉(zhuǎn)換技術(shù)——基于QVToperational的案例3學(xué)時(shí)2013.4.23星期二晚18：00~21：0010模型轉(zhuǎn)換技術(shù)——基于QVToperational的案例3學(xué)時(shí)2013.5.7星期二晚18：00~21：00課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間6模型轉(zhuǎn)換技術(shù)——概述3學(xué)時(shí)299課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間11模型轉(zhuǎn)換技術(shù)——展示與輔導(dǎo)3學(xué)時(shí)2013.5.14星期二晚18：00~21：0012模型驅(qū)動(dòng)的代碼生成技術(shù)——基于Jet的代碼生成語(yǔ)言與工具3學(xué)時(shí)2013.5.21星期二晚18：00~21：0013模型驅(qū)動(dòng)的代碼生成技術(shù)——基于QVT

M2T的代碼生成語(yǔ)言與工具Acceleo3學(xué)時(shí)2013.5.28星期二晚18：00~21：0014模型驅(qū)動(dòng)的代碼生成技術(shù)——展示與輔導(dǎo)3學(xué)時(shí)2013.6.4星期二晚18：00~21：0015MDA綜合案例3學(xué)時(shí)擇機(jī)16分組項(xiàng)目答辯3學(xué)時(shí)擇機(jī)課程內(nèi)容與計(jì)劃課次內(nèi)容學(xué)時(shí)時(shí)間11模型轉(zhuǎn)換技術(shù)——展示與輔100授課方式與課程要求課堂講授與討論相結(jié)合鼓勵(lì)相關(guān)論文規(guī)范閱讀分組項(xiàng)目與展示理論學(xué)習(xí)與項(xiàng)目實(shí)踐相結(jié)合注重相關(guān)工具集的使用授課方式與課程要求課堂講授與討論相結(jié)合課程的準(zhǔn)備知識(shí)、學(xué)習(xí)方法準(zhǔn)備知識(shí)一種面向?qū)ο蟮木幊陶Z(yǔ)言面向?qū)ο蠹夹g(shù)UML學(xué)習(xí)方法理論與實(shí)踐相結(jié)合學(xué)習(xí)與研究相結(jié)合課程的準(zhǔn)備知識(shí)、學(xué)習(xí)方法準(zhǔn)備知識(shí)Web領(lǐng)域代碼自動(dòng)生成工具PetStoreEARHotelWBM業(yè)務(wù)流程模型0的研究與開(kāi)發(fā)，麻志毅蔣嚴(yán)冰戴耀飛李勁宇電子學(xué)報(bào)2002.邏輯模型綁定到物理模型基于MDA的Web領(lǐng)域模型研究每層分別進(jìn)行元建模、模型轉(zhuǎn)換和代碼生成mappingrectangle::rectangleTorectangle():rectangle{helpersimplediagram::findNodeWithSameEllipse(n:node):Set(node){lines+=mapabstractsubnode(r,k).基于QVTO的缺陷模型自動(dòng)修復(fù)工具18：00~21：00基于ecore的源代碼克隆缺陷建模工具components+=objectellipse{nodename:=x};PetStoreEAR12a（EI索引源）<echomessage=""/>元建模技術(shù)——展示與輔導(dǎo)代碼生成技術(shù)不僅能夠提高軟件的開(kāi)發(fā)效率。EclipseCDT本課程所用到的工具集EclipsemodelingMediniQVTWeb領(lǐng)域代碼自動(dòng)生成工具本課程所用到的工具集Eclipse本課程所用到的工具集工具作用基于工具配置與修改方案元建模工具可視化地建立各種模型的ecore元模型EclipsemodelingEcoretools直接可視化的使用EclipsemodelingEcoretools中Ecorediagram可視化的建立各種模型的ecore元模型，并存儲(chǔ)為.ecore文件?？蓴U(kuò)展的建模工具以ecore元模型為輸入，將其可視化的綁定建模元素的表示法與行為，形成支持各種ecore元模型的建模工具。用以生成各種模型,并以.xmi的方式存儲(chǔ).EclipsemodelingGMF利用GMF的提供的配置向?qū)Э僧a(chǎn)生簡(jiǎn)單的建模工具的插件，如對(duì)表示法和行為有特殊的要求，可通過(guò)修改所生成的建模工具的插件的源代碼。基于QVT的模型轉(zhuǎn)換根據(jù)既定的QVT元模型轉(zhuǎn)化規(guī)則，以一種web領(lǐng)域模型為輸入，通過(guò)轉(zhuǎn)換輸出另外一種模型Eclipsemodeling

operationalQVT;mediniQVT大部分轉(zhuǎn)換可通過(guò)在這些模型轉(zhuǎn)換工具中輸入以QVT規(guī)范編寫的轉(zhuǎn)換語(yǔ)言后，即可自動(dòng)實(shí)現(xiàn)。其中Eclipsemodeling

operationalQVT支持過(guò)程化的轉(zhuǎn)換描述，mediniQVT支持關(guān)系聲明型的轉(zhuǎn)換描述。代碼生成可通過(guò)QVT及EMF工具分別以模型轉(zhuǎn)換的方法或模板的方法實(shí)現(xiàn)。Eclipsemodeling

JETAcceleo代碼生成可通過(guò)EMF中的JET工具，以模板的方式實(shí)現(xiàn).本課程所用到的工具集工具作用基于工具配置與修改方案元建模工具104課程分?jǐn)?shù)評(píng)定考核方式無(wú)筆試無(wú)編碼項(xiàng)目平時(shí)成績(jī)30%項(xiàng)目成績(jī)70%項(xiàng)目要求基于Eclipsemodeling等模型驅(qū)動(dòng)支撐工具，建立特定領(lǐng)域的模型驅(qū)動(dòng)工具，包括元建模、模型轉(zhuǎn)換及代碼生成等部分。要求：①明確描述需求②重點(diǎn)描述元模型與基于QVT的轉(zhuǎn)換方案及實(shí)驗(yàn)案例③代碼生成方案課程分?jǐn)?shù)評(píng)定考核方式課程項(xiàng)目選取領(lǐng)域Web領(lǐng)域代碼自動(dòng)生成工具手機(jī)領(lǐng)域代碼自動(dòng)生成工具基于設(shè)計(jì)模式的模型自動(dòng)轉(zhuǎn)換其他課程項(xiàng)目選取領(lǐng)域Web領(lǐng)域代碼自動(dòng)生成工具課程參考資料Stahl，T.，Volter，M.等著，楊華，高猛譯,模型驅(qū)動(dòng)軟件開(kāi)發(fā)：技術(shù)、工程與管理,清華大學(xué)出版社,2009年1月第一版科學(xué)出版社影印，2003年5月第一版QVT-Partners,RevisedsubmissionforMOF2.0Query/Views/TransformationsRFP,Version1.1(2003/08/18),UML2.0SuperstructureSpecificationUML2.0InfrastructureSpecificationMOF?Query/Views/Transformations課程參考資料Stahl，T.，Volter，M.等著，楊華，模型驅(qū)動(dòng)的研究項(xiàng)目與原型模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原型模型驅(qū)動(dòng)的J2EE部署模型工具WBM到SOMA的模型轉(zhuǎn)化系統(tǒng)軟件外包領(lǐng)域模型驅(qū)動(dòng)開(kāi)發(fā)方法中模型偽裝與轉(zhuǎn)換下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換模型驅(qū)動(dòng)的研究項(xiàng)目與原型模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原型模型驅(qū)動(dòng)的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原Web領(lǐng)域代碼自動(dòng)生成工具UML及其擴(kuò)展機(jī)制/QVTWeb領(lǐng)域模型轉(zhuǎn)換及代碼生成研究Web領(lǐng)域建模工具原型研發(fā)(基于eclipse-modelingEcoretools,GMF的Web領(lǐng)域元建模及建模工具)Web模型轉(zhuǎn)化與代碼生成工具原型研發(fā)（基于mediniQVT及

eclipse-modeling

operationalQVTEMF的模型轉(zhuǎn)化與代碼生成工具）在具體Web系統(tǒng)開(kāi)發(fā)中的應(yīng)用、驗(yàn)證與比較Web應(yīng)用實(shí)踐基于MDA的Web領(lǐng)域模型研究Web領(lǐng)域的CIM模型（基于Ecore的web領(lǐng)域需求的元模型)Web領(lǐng)域的PIM模型（基于Ecore的web領(lǐng)域獨(dú)立平臺(tái)的元模型）Web領(lǐng)域的PSM模型Web領(lǐng)域CIM到PIM轉(zhuǎn)換（基于QVT的CIM到PIM轉(zhuǎn)換）Web領(lǐng)域PIM到PSM轉(zhuǎn)換（基于QVT的CIM到PIM轉(zhuǎn)換）Web領(lǐng)域PSM到源代碼轉(zhuǎn)換模型到元模型歸納轉(zhuǎn)換技術(shù)Web領(lǐng)域代碼自動(dòng)生成工具UML及其擴(kuò)展機(jī)制/QVTWeb領(lǐng)模型體系與模型轉(zhuǎn)換概要模型體系與模型轉(zhuǎn)換概要模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)課程介紹課件實(shí)例：博客領(lǐng)域模型驅(qū)動(dòng)的開(kāi)發(fā)基于web三層模型進(jìn)行分層分工，每層分別進(jìn)行元建模、模型轉(zhuǎn)換和代碼生成表現(xiàn)層陳定勝耿耘劉洋駱云數(shù)據(jù)持久化層朱曉文趙越月業(yè)務(wù)邏輯層元建模模型轉(zhuǎn)換代碼生成90%100%100%實(shí)例：博客領(lǐng)域模型驅(qū)動(dòng)的開(kāi)發(fā)基于web三層模型進(jìn)行分層分工，113EclipsemodelingEcoretools主持華為合作研究項(xiàng)目《下一代網(wǎng)絡(luò)架構(gòu)和協(xié)議的廣義模型和轉(zhuǎn)換》2013（基于Ecore的web領(lǐng)域result.nodenamethen{findNodeWithSameEllipse(r)->isEmpty()orself.在具體Web系統(tǒng)開(kāi)發(fā)中的應(yīng)用、驗(yàn)證與比較name:=self.HotelWBM業(yè)務(wù)流程模型緒論:模型驅(qū)動(dòng)軟件開(kāi)發(fā)技術(shù)綜述與后面向?qū)ο蠓椒ㄅc模型驅(qū)動(dòng)將相同的子結(jié)構(gòu)提取出來(lái)4．OnProcedureStrategyofConstructingSOA’sModelingLanguage,YanbingJiang,ChunxiaoXing,WeiheandJijiangYang,ProcedingsofIEEEInternationalWorkshoponservice-orientedsystemEngineering2005,IEEEComputerSocietyPresscomponent