華為交流材料20121026_第1頁
華為交流材料20121026_第2頁
華為交流材料20121026_第3頁
華為交流材料20121026_第4頁
華為交流材料20121026_第5頁
已閱讀5頁,還剩80頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)

文檔簡介

1、模型驅(qū)動軟件方法研究基礎(chǔ)與研究思路 北京大學(xué)軟件與微電子學(xué)院 蔣嚴(yán)冰,目錄,北京大學(xué)軟件與微電子學(xué)院概況 研究團隊 研究項目與原型,研究團隊概況,本研究團隊依托北京大學(xué)軟件與微電子學(xué)院、北京大學(xué)國家軟件工程研究中心、北京大學(xué)軟件與微電子學(xué)院工程研究中心,長期從事軟件工程領(lǐng)域中模型與代碼生成、測試與質(zhì)量保證等方面的研究工作。 主持國家自然科學(xué)基金項目、國家科技支撐項目、863高技術(shù)項目多項。國際交流合作項目以及微軟、IBM等公司的科研項目多項。同時也進行最新軟件技術(shù)研究與應(yīng)用。 研究團隊特點 理論與實踐密切結(jié)合 與企業(yè)面臨的問題密切結(jié)合,研究團隊主要成員,蔣嚴(yán)冰,博士,北京大學(xué)副教授。 2003

2、年12月獲得北京大學(xué)計算機軟件與理論理學(xué)博士學(xué)位。 2004年4月進入清華大學(xué)信息技術(shù)研究院Web技術(shù)研究中心從事博士后研究工作。 2006年5月進入北京大學(xué)軟件與微電子學(xué)院從事教學(xué)科研工作。 2010年11月2011年2月作為訪問學(xué)者在微軟亞洲研究院進行Web三維富客戶端技術(shù)及學(xué)術(shù)搜索技術(shù)的研究與開發(fā)。 研究領(lǐng)域為軟件工程,包括:軟件模型、UML、MDA、代碼自動生成技術(shù),建模工具、電子政務(wù)、Web信息系統(tǒng)、軟件外包領(lǐng)域軟件工程等。目前正從事模型驅(qū)動的軟件開發(fā)研究和手機移動互連網(wǎng)應(yīng)用領(lǐng)域的開發(fā)方法研究。,研究團隊主要成員,主持科研項目: 國家自然科學(xué)基金:軟件外包領(lǐng)域模型驅(qū)動開發(fā)方法中模型偽

3、裝與轉(zhuǎn)換理論研究(20121015) 十一五科技支撐項目:村鎮(zhèn)數(shù)字化管理關(guān)鍵技術(shù)研究與應(yīng)用子課題(20072009) IBM高校合作項目:Community-based Application Development for Modern Software Outsourcing (20082009) IBM高校合作項目:vender-considered outsourcing decision and process(20092010) IBM創(chuàng)新基地項目:HTML5富客戶端幻燈片播放系統(tǒng)研發(fā)(20112012) 國家博士后基金:擴展UML的過程策略研究及其在web領(lǐng)域建模與模擬的作用 (

4、20042006),研究團隊主要成員,參與科研項目: 20042005 中石油信息系統(tǒng)集成可研方案 20022004 國家863高技術(shù)項目基于Internet、以構(gòu)件庫為核心的軟件開發(fā)平臺 20012003 國家自然科學(xué)基金 :面向?qū)ο蠓椒ǖ母拍钫Z義與過程策略研究及支撐系統(tǒng)開發(fā),研究團隊主要成員,1Jiang Yan-bing Shao Wei-zhong Ma Zhi-yi and Feng Yao-dong, On the Formalized Semantics of Static Modeling Elements in UML, Formal Methods And Software

5、 Engineering 2002, Procedings Lecture Notes In Computer Science, Springer-Verlag Berlin.(SCI收錄) 2Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng and Haohai Ma,On the Classification of UMLs Meta Model Extension Mechanism, UML2004, Procedings Lecture Notes In Computer Science, Springer

6、-Verlag Berlin. (SCI收錄 引用1次) 這是在有關(guān)UML最權(quán)威的國際會議上發(fā)表的論文,并對UML的發(fā)展提出建設(shè)性建議。 3Haohai Ma, Weizhong Shao Lu Zhang, Zhiyi Ma and Yanbing Jiang,Applying OO Metrics to Assess UML Meta-Models, UML2004, Procedings Lecture Notes In Computer Science, Springer-Verlag Berlin. (SCI收錄) 4Yanbing Jiang,Chunxiao Xing, Wei

7、he and Jijiang Yang,On Procedure Strategy of Constructing SOAs Modeling Language, Procedings of IEEE International Workshop on service-oriented system Engineering 2005, IEEE Computer Society Press 5蔣嚴(yán)冰 邢春曉,模型驅(qū)動的體系結(jié)構(gòu)研究綜述, 南京大學(xué)學(xué)報(自然科學(xué)版),計算機科學(xué)專輯 2005.10 6蔣嚴(yán)冰 邵維忠 張路,UML中衍型的精確定義與分析, 麻志毅 電子學(xué)報 2003.12a(EI收

8、錄) 7邵維忠 蔣嚴(yán)冰 麻志毅,UML現(xiàn)存問題與發(fā)展道路,計算機研究與發(fā)展,2003.4(EI收錄) 8 麻志毅 蔣嚴(yán)冰 戴耀飛 李勁宇,面向?qū)ο蟮慕9ぞ逬BOO3.0的研究與開發(fā), 電子學(xué)報 2002.12a (EI索引源) 9蔣嚴(yán)冰 麻志毅 朱志高 張能斌,基于規(guī)則的UML元模型語法擴展的支持技術(shù)研究,中國計算機大會論文集,清華大學(xué)出版社,2003年11月 10黃曉梅 蔣嚴(yán)冰 麻志毅 聶承啟,工作流技術(shù)在電子政務(wù)領(lǐng)域中的應(yīng)用,計算機工程,2003年4月 11Yanbing Jiang ,Xin Zhou, Ying Liu, Jingkun Hu, A Study on Neural N

9、etwork based Software Outsourcing Process Pattern Decision, Proceedings of International Conference on Service Science, 2009.5. 12.Yanbing Jiang, Xin Zhou, Ying Liu, Qi Zeng, Junfang Zhong, A RUP-based Process Pattern for Software Development Outsourcing, International Conference on Service Science,

10、 2010.5. 13.Yanbing Jiang, Lei Chen,Xin Zhou, Ying Liu,Process-Oriented Software Outsourcing Decision Based on Genetic Algorithm, 2010 IEEE International Conference on Service Operations and Logistics, and Informatics,2010.7. 14. Zhicong Cheng, Bin Gao, Congkai Sun, Yanbing Jiang and Tie-Yan Liu, Le

11、t Web Spammers Expose Themselves, 2011 Fourth International Conference on Web Search and Data Mining, 2011.2.,研究團隊主要成員,郁蓮 博士,北京大學(xué)副教授。 1999 年 4 月博士畢業(yè)于日本橫濱國立大學(xué)計算機工程與電子系。 2000年至2005年美國Arizona State University做博士后研究工作。 2005年9月加入北京大學(xué)軟件與微電子學(xué)院。 主要研究方向包括面向服務(wù)的軟件工程、軟件質(zhì)量保證、情境感知服務(wù)、分布式軟件開發(fā)等,發(fā)表論文50余篇。,研究團隊主要成員,面向

12、服務(wù)的軟件理論、方法及應(yīng)用,國家自然科學(xué)基金重點項目,2011.1-2014.12。 基于互聯(lián)網(wǎng)協(xié)同實時編輯軟件的可測性與自動化測試技術(shù)研究,國家自然科學(xué)基金。2010.1 -2013.12, 項目負(fù)責(zé)人 Genie-情景感知服務(wù),丹麥科技部資助項目,北京大學(xué)與哥本哈根IT大學(xué)合作,2010-2013 863“基于監(jiān)測的軟件質(zhì)量分析與評價技術(shù)項目” 項目副組長,2006.12-2008.12 IBM CRL Call-For-Testing ,項目負(fù)責(zé)人,2008.9-2009.4 IBM共享大學(xué)研究(Shared University Research) “Unit Testing Serv

13、ice and Platform”,項目負(fù)責(zé)人,2008.9-2009.8 Call-for-Implementation, IBM China Research Lab項目, 項目負(fù)責(zé)人,2007.7-2008.,研究團隊主要成員,Lian Yu, Shan Luo, Arne Glenstrup, “Rough Sets Based Context-aware Service Discovery Framework”, Proceedings of 2010 IEEE International Conference on Service Science. Lian Yu, Wei-Tek

14、 Tsai, Xiangji Chen, Linqing Liu, Yan Zhao, Liangjie Tang, Wei Zhao, “Testing as a Service over Cloud”, Proceedings of IEEE International Symposium on Service-Oriented System Engineering (SOSE 2010). Si Huayou, Chen Zhong, Ni Yulin, Yu Lian, “An Approach to Distributed Semantic Web Services Publicat

15、ion and Discovery Based on Chord”, Proceedings of IEEE International Symposium on Service-Oriented System Engineering (SOSE 2010). Lian Yu, , Yang Yang, Yongchao Gu, Xu Liang, Shan Luo, “Applying Context-Awareness to Service-Oriented Architecture”, Accepted to be published by 2009 IEEE International

16、 Conference on e-Business Engineering. (EI) Lian Yu, Wei Zhao, Xiaofeng Di, Changzhu Kong, Wenbo Zhao, Qianxiang Wang, Jun Zhu, “Towards Call for Testing: An Application to User Acceptance Testing of Web Applications”, Proceedings of The 33rd Annual Computer Software and Applications Conference COMP

17、SAC 2009. (EI) Lian Yu, Le Zhang, Huiru Xiang, Yu Su, Wei Zhao, Jun Zhu, “A Framework of Testing as a Service”, Accepted by the Conference of Information System Management 2009 (EI). Lian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu, “Exploring Topological Structure of Boolean Expressions for Test Data Sele

18、ction”, Proceedings of The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) 2009. (EI) Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, “A Hybrid Approach to Detecting Security Defects in Programs”, Proceedings of The ninth International Conference on Quality Software, 2

19、009 (QSIC 09). (EI) 9 Lian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, “Towards Selecting Test Data Using Topological Structure of Boolean Expressions”, Proceedings of The ninth International Conference on Quality Software, 2009 (QSIC 09). (EI) 10 Lian Yu, Yu Su, Qianxiang Wang, “Scheduling Test Execution

20、of WBEM Applications”, Accepted to be published by the 16th Asia-Pacific Software Engineering Conference, 2009. 11 Lian Yu, Shan Luo, “Discovery of Services in Context Using Rough Sets”, Accepted to be published by the 4th International Conference on Pervasive Computing and Applications (ICPCA 2009)

21、. (EI) 12 Lian Yu, Shuang Su, Frank Tung, Qianxiang Wang, “Adopting Context Awareness in Service Composition”, Accepted to be published by The First Asia-Pacific Symposium on Internetware (Internetware 2009). 14 Huayou Si, Yulin Ni, Lian Yu, Zhong Chen, “Service-Oriented Analysis and Modeling Using

22、Use Case Approach”, Accepted to be published by the 2nd International Conference on Computer Science and Software Engineering, 2009 (CSSE09).,研究團隊主要成員,翟起濱 北京大學(xué)教授 北京大學(xué)軟件與微電子學(xué)院信息安全系教授,博士生導(dǎo)師。 主要研究方向為群論及密碼理論與應(yīng)用技術(shù)。 1972年8月于武漢大學(xué)參加國家教委舉辦的大學(xué)青年教師培訓(xùn)班,師從張遠(yuǎn)達(dá)和路可見教授,學(xué)習(xí)有限群和數(shù)學(xué)分析; 1975年2月于合肥中國科技大學(xué),師從曾肯成教授學(xué)習(xí)代數(shù)編碼理論; 1

23、978年9月于中國科學(xué)院應(yīng)用數(shù)學(xué)所,師從萬哲先和曾肯成先生,學(xué)習(xí)密碼分析理論,獲碩士學(xué)位; 1985年9月至1986年4月于西安電子科技大學(xué)為肖國鎮(zhèn)先生高級訪問學(xué)者。 1992年被聘為中國科學(xué)院信息安全國家重點實驗室教授/博士生導(dǎo)師 。2010年任北京大學(xué)軟件與微電子學(xué)院信息安全系教授。 在密碼理論和技術(shù)領(lǐng)域工作近三十年,在實際工作中多次立功受獎,獲政府特殊津貼。自1987年以來一直擔(dān)任中國科學(xué),數(shù)學(xué)年刊,通訊學(xué)報等雜志的審稿專家。承擔(dān)國家密碼與信息安全研究項目,擔(dān)任國家密碼專項課題研究主持人,公開發(fā)表且在國內(nèi)外有一定影響力的學(xué)術(shù)論文數(shù)篇;2007年被推選為國家信息產(chǎn)業(yè)重大技術(shù)發(fā)明獎評委會的專

24、家委員。十年來,每年都參加國際相關(guān)專業(yè)的重要會議,熟悉該專業(yè)領(lǐng)域的發(fā)展方向和重要課題,研究團隊主要成員,周立新 北京大學(xué)副教授 個人簡歷 2002年9月-至今,北京大學(xué)軟件與微電子學(xué)院副教授。 2006年3月-2007年3月,伊利諾依大學(xué)厄巴納-香檳分校(UIUC)訪問學(xué)者。 2005年9月-2005年12月,香港大學(xué)電子商業(yè)研究所訪問學(xué)者。 2000年3月-2002年8月,中國科學(xué)院計算技術(shù)研究所副研究員。 1999年8月,在浙江大學(xué)計算機科學(xué)與工程系獲得博士學(xué)位。 研究方向 軟件工程 數(shù)據(jù)挖掘 信息檢索 現(xiàn)代項目管理 商務(wù)智能 科研項目 1物流公共信息平臺(2010年) 2社會網(wǎng)絡(luò)挖掘與分

25、析(2008年) 3IBM UIMA創(chuàng)新基金項目(2006年) 4國家973項目:大規(guī)模知識挖掘與檢索(2001年) 5郵電“九七”工程(1998年),研究項目與原型,在元建模、模型轉(zhuǎn)換代碼生成方面具有較為長期的研究背景。與IBM合作從事特定領(lǐng)域的軟件工程方法和工具的研發(fā),并在模型驅(qū)動領(lǐng)域獲得國家自然科學(xué)基金資助. 模型驅(qū)動的Web領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原型 模型驅(qū)動的J2EE部署模型工具 WBM到SOMA的模型轉(zhuǎn)化系統(tǒng) 軟件外包領(lǐng)域模型驅(qū)動開發(fā)方法中模型偽裝與轉(zhuǎn)換 基于HTML5的幻燈片展示系統(tǒng) 軟件外包決策與過程原型工具研究 師承關(guān)系搜索與展示原型系統(tǒng),模型驅(qū)動的Web

26、領(lǐng)域軟件模型體系、模型轉(zhuǎn)換及代碼生成技術(shù)與原型,內(nèi)容與意義,針對當(dāng)前模型驅(qū)動的Web工程領(lǐng)域中缺少領(lǐng)域行為模型及其轉(zhuǎn)換、無法適應(yīng)迅速變化的技術(shù)、不能支持完整的模型與代碼演進等若干尚待解決的關(guān)鍵問題,本項目運用元建模技術(shù)構(gòu)建完整的基于MDA的Web領(lǐng)域軟件開發(fā)模型體系,并期望在基于QVT的Web領(lǐng)域元模型歸納轉(zhuǎn)換技術(shù)與靜態(tài)動態(tài)模型相結(jié)合的模型轉(zhuǎn)換技術(shù)上有所創(chuàng)新性突破。重點研究精準(zhǔn)捕獲Web領(lǐng)域需求,并能轉(zhuǎn)化為后續(xù)模型的CIM需求模型;涵蓋領(lǐng)域技術(shù)平臺共性,卻又獨立于任何Web應(yīng)用開發(fā)技術(shù),并易于向Web領(lǐng)域常用的特定平臺模型轉(zhuǎn)換的PIM設(shè)計模型。重點研究Web領(lǐng)域PIM之間模型轉(zhuǎn)換方法,實現(xiàn)基于

27、模式的從分析到設(shè)計PIM、從靜態(tài)結(jié)構(gòu)到動態(tài)行為PIM的自動轉(zhuǎn)換。本項目擬解決該領(lǐng)域尚未解決的若干關(guān)鍵問題,完善該領(lǐng)域的理論與方法體系,為Web領(lǐng)域軟件開發(fā)提供精確、完備的模型驅(qū)動方法,從而提高該領(lǐng)域軟件開發(fā)效率和質(zhì)量,并在Web領(lǐng)域為MDA的可行性提供例證。,模型體系與模型轉(zhuǎn)換概要,分析模型元模型,數(shù)據(jù)訪問層元模型,業(yè)務(wù)邏輯層元模型,展現(xiàn)層元模型,分析模型,數(shù)據(jù)訪問層設(shè)計模型,業(yè)務(wù)邏輯層設(shè)計模型,展現(xiàn)層設(shè)計模型,LOGO,數(shù)據(jù)訪問層的代碼生成,業(yè)務(wù)邏輯層代碼生成,展現(xiàn)層代碼生成,模型轉(zhuǎn)換,mapping Line:lineToline():Line when not (not self.sou

28、rce-resolveoneIn(ellipse:eTc)-isEmpty() and not self.tareget-resolveoneIn(ellipse:eTc)-isEmpty() and self.source-resolveoneIn(ellipse:eTc)=self.tareget-resolveoneIn(ellipse:eTc) 在lineToline中加入when 子句,例1:,例2:,例2,modeltype simplegraph uses http:/simplegragh/; transformation NewTransformation(in source

29、 : simplegraph, out target:simplegraph); main() source.objectsOfType(simplediagram)-map SDToSD(); mapping simplediagram:SDToSD():simplediagram self.nodes-forEach(r) / result.nodes+=self.findNodeWithSameEllipse(r); if self.findNodeWithSameEllipse(r)-isEmpty() or self.findNodeWithSameEllipse(r)=null t

30、hen result.nodes+=r.map NodeTNode() else var f:=resolveIn(abstractsubnode, node)-select(e|e.nodename=father and ponentsellipse-first().nodename=ponentsellipse-first().nodename); if f-notEmpty() then continue endif; self.findNodeWithSameEllipse(r)-forEach(k) result.nodes+= map abstractsubnode(r,k).fa

31、ther; result.lines+= map abstractsubnode(r,k).l1; result.nodes+= map abstractsubnode(r,k).son; endif ; result.lines+=self.lines-map lineToline(); ,例8 將相同的子結(jié)構(gòu)提取出來 解法2,mapping node:NodeTNode():node result.nodename:=self.nodename; result.to:=self.to-map lineToline(); result._from:=self._from-map lineTo

32、line(); ponents:=ponentsellipse-map ellipseToellipse(); ponents+=(ponentsrectangle-map rectangleTorectangle(); helper simplediagram:findNodeWithSameEllipse(n:node) : Set(node) var renodes: Set(node) ; /if ponentsellipse=null then return null endif; var e :ellipse=ponentsellipse-first(); self.nodes-f

33、orEach(m) ponentsellipse-forEach(f) if f.nodename=e.nodename then renodes+=m; endif; ; return renodes; mapping line:lineToline():line mapping ellipse:ellipseToellipse():ellipse result.nodename:=self.nodename; mapping rectangle:rectangleTorectangle():rectangle result.nodename:=self.nodename; ,例8 將相同的

34、子結(jié)構(gòu)提取出來 解法2,mapping abstractsubnode(in n1:node,in n2:node): father:node, son:node,l1:line init var x:String =ponentsellipse-first().nodename; var f:=resolveIn(abstractsubnode, node)-select(e|e.nodename=father and ponentsellipse-first().nodename=x); if f-notEmpty() then father:=f-first() else object

35、father:node nodename:=father; components+=object ellipsenodename:=x; ; endif; objectson:node son.nodename:=n2.nodename; son.to:=n2.to-map lineToline(); son._from:=n2._from-map lineToline(); /ponents:=ponentsellipse-map ellipseToellipse(); ponents+=(ponentsrectangle-map rectangleTorectangle(); ; obje

36、ct l1:line l1.source:=son; l1.target:=father ; ,例3:,例3:產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線,modeltype myfirstGMF uses http:/myfirstGMF/; transformation NewTransformation(in source : myfirstGMF, out target : myfirstGMF); main() source.objectsOfType(myfirstDiagram)-map SDToSD(); mapping myfirstDiagram:SDToSD():myfirstDiagr

37、am / ponent:= ponentcertainernode-map cTc(); ponentcertainernode-forEach(c) ponent+=c.map cTc(result); ; ponent+= ponentrectangle-map cTc(result); ponent+= ponentellipse-map cTc(result); result.lines+=self.lines-map lineToline(); ,例3:產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線,mapping Node:nTn(inout m:myfirstDiagram):Node resul

38、:=; result.to:=self.to-map lineToline(); result._from:=self._from-map lineToline(); mapping certainernode:cTc(inout m:myfirstDiagram):certainernode inherits Node:nTn sname:=self.sname; result.sons+= self.sonscertainernode-map cTc(m); result.sons+= self.sonsrectangle-map cTc(m); result

39、.sons+= self.sonsellipse-map cTc(m); m.lines+=map addinterStruct(result).sl; 增加參數(shù)inout m:myfirstDiagram的目的是為了在產(chǎn)生line時,將其加入到myfirstDiagram容器, inout 目的是需要修改傳入的參數(shù).,例3:產(chǎn)生內(nèi)部結(jié)構(gòu):內(nèi)部結(jié)構(gòu)的連線,mapping addinterStruct(inout c: certainernode ):e:ellipse,r:rectangle,sl:Line init e:= new ellipse(ee); r:= object rectan

40、gle name:=rr ; sl:=object Line Lname:=ll ; c.sons+=e; c.sons+=r; sl.source:=e; sl.tareget:=r; addinterStruct用于將certainernode 中增加新的子結(jié)構(gòu),注意init此處不能省略,特點,1.自動化程度高. 通過實驗原型的研發(fā),我們已經(jīng)完全掌握并熟練運用了完整的從元建模到模型轉(zhuǎn)換再到代碼生成的全部關(guān)鍵技術(shù),實現(xiàn)特定領(lǐng)域的從需求模型到設(shè)計模型的轉(zhuǎn)化,從設(shè)計模型到代碼的轉(zhuǎn)換,實現(xiàn)整個軟件開發(fā)流程的模型自動轉(zhuǎn)換(基于QVT)和代碼的自動生成(基于QVT M2T).而IBM相應(yīng)的研發(fā)團隊只是

41、在模型轉(zhuǎn)換代碼生成方面,并且用到的代碼生成技術(shù)(基于JET)不如我們的先進,模型轉(zhuǎn)換完全采用編程方式實現(xiàn)。 2軟件開發(fā)效率高。我們的研發(fā)團隊可以在很短的時間內(nèi)針對特定領(lǐng)域搭建特定領(lǐng)域的圖形化建模工具、模型轉(zhuǎn)換工具和代碼生成工具。從而在很大程度上提高軟件的開發(fā)效率. 3100%的代碼生成。代碼生成技術(shù)不僅能夠提高軟件的開發(fā)效率。而且也能夠保證代碼的質(zhì)量。并且模型驅(qū)動的方法不同于以往的代碼生成技術(shù),可以通過不同階段的模型的方式,對代碼進行維護。并不存在傳統(tǒng)觀念中認(rèn)為的生成的代碼可維護性差的問題。,基于群的模型轉(zhuǎn)換理論研究,通過將模型轉(zhuǎn)換形式化地定義為群,可以深入的研究模型轉(zhuǎn)換的可行性、可逆性的判定

42、定理,也有助于轉(zhuǎn)換過程的過程指導(dǎo)。 通過模型轉(zhuǎn)換中的群同態(tài)的研究,有助于深入研究模型偽裝的條件和約束。,基于群的模型轉(zhuǎn)換理論研究,a1,a2,e1,a3,e2,e3,b1,f1,b2,b3,f2,f3,g11,g12,g21,g22,g31,g32,a1,e1,:r1,e1,a2,:r2,a1,e2,:r1,e2,a3,:r2,a3,e3,e3,a2,:r2,:r1,b1,g11,:t1,g11,f1,:t2,f1,g12,:t1,g12,b2,:t2,b1,g21,:t1,g21,f2,:t2,f2,g22,:t1,g22,b3,:t2,b3,g31,:t1,g31,f3,:t2,f3,g3

43、2,:t1,g32,b2,:t2,基于群的模型轉(zhuǎn)換理論研究,a1,e1,:r1,b1,g11,:t1,f1,:t2,e1,a2,:r2,g12,b2,:t2,a1,e2,:r1,b1,g21,:t1,f2,:t2,:t1,e2,a3,:r2,g22,b3,:t2,a3,e3,a3,g31,f3,e3,a2,:r2,g32,b2,:t2,:t1,:t2,:t1,:r1,f1,:t1,f2,f3,半群內(nèi)的并,a1,e1,:r1,+,e1,a2,:r2,=,a1,e1,:r1,a2,:r2,a1,e1,:r1,+,e2,a3,:r2,=,a1,e1,:r1,e2,a3,:r2,b1,g11,:t1,

44、f1,:t2,+,g12,b2,:t2,f1,:t1,=,b1,g11,:t1,f1,:t2,g12,b2,:t2,:t1,b1,g11,:t1,f1,:t2,:t1,g22,b3,:t2,f2,+,=,b1,g11,:t1,f1,:t2,:t1,g22,b3,:t2,f2,群內(nèi)的并,a1,e1,:r1,:t1,g22,b3,:t2,f2,+,=,a1,e1,:r1,:t1,g22,b3,:t2,f2,增殖,a1,e1,:r1,+,a1,e1,:r1,=,a1,e1,:r1,a1,e1,:r1,b1,g11,:t1,g11,f1,:t2,+,=,b1,g11,:t1,f1,:t2,b1,g11

45、,:t1,f1,:t2,g11,f1,:t2,+,=,b1,g11,:t1,g11,f1,:t2,+,g11,f1,:t2,+,=,b1,g11,:t1,g11,f1,:t2,+,g11,f1,:t2,+,b1,g11,:t1,f1,:t2,g11,f1,:t2,=,a1,e1,:r1,:t1,g22,b3,:t2,f2,+,=,a1,e1,:r1,:t1,g22,b3,:t2,f2,群內(nèi)的并,增值,a1,e1,:r1,+,a1,e1,:r1,=,a1,e1,:r1,a1,e1,:r1,湮滅,b1,g11,:t1,g11,f1,:t2,+,=,b1,g11,:t1,f1,:t2,b1,g11,

46、:t1,f1,:t2,g11,f1,:t2,+,=,b1,g11,:t1,g11,f1,:t2,+,g11,f1,:t2,+,=,b1,g11,:t1,g11,f1,:t2,+,g11,f1,:t2,+,b1,g11,:t1,f1,:t2,g11,f1,:t2,=,復(fù)原,a1,e1,:r1,a2,:r2,e2,:r1,a3,:r2,a2,e2,b1,g21,:t1,f2,:t2,:t2,:t1,g52,f5,+,=,a1,e1,:r1,a2,:r2,e2,:r1,a3,:r2,b1,:t1,:t2,g52,f5,基于模型驅(qū)動的J2EE部署模型工具,大型項目的部署的問題,為大型項目的部署提供一個宏觀的部署視圖: 很多部署協(xié)助工具能夠完成編譯、打包、拷貝的功能,但是這些一般都是針對結(jié)構(gòu)相對簡單的項目,而且沒有一個圖形化的界面提供給用戶,不能讓用戶對整個部署的拓?fù)浣Y(jié)構(gòu)一目了然。 如何自動生成正確的編譯、部署腳本,并與項目保持一致: 大多數(shù)人可能不會部署腳本的編寫;保持部署腳本和項目的一

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論