軟件自動(dòng)化生產(chǎn)方式探討課件

軟件自動(dòng)化生產(chǎn)方式探討軟件自動(dòng)化生產(chǎn)方式探討1目錄形式化方法學(xué)的啟發(fā)軟件自動(dòng)化生產(chǎn)我的觀點(diǎn)我的疑問PPT中字體顏色說明：綠色：引用觀點(diǎn)、結(jié)論紅色：我的觀點(diǎn),歡迎大家批評(píng)指正目錄2定義如果一個(gè)方法有良好的數(shù)學(xué)基礎(chǔ)，特別的，是以形式化說明語言描述的，那么他是形式化的。當(dāng)一種表達(dá)方式基于一種含有明確定義的形式（語法）、含義（語義）以及關(guān)于分析、推論或者證明其構(gòu)造的規(guī)則的語言時(shí)，這種表達(dá)方式被稱為形式化的。其語法可以是圖形的或者是文本的。形式化方法學(xué)的啟發(fā)定義如果一個(gè)方法有良好的數(shù)學(xué)基礎(chǔ)，特別的，是以形式化說明語言3形式化規(guī)格說明的期望特性一致性無歧義性提供高層驗(yàn)證的手段形式化方法學(xué)的啟發(fā)形式化規(guī)格說明的期望特性一致性形式化方法學(xué)的啟發(fā)4形式化方法優(yōu)缺點(diǎn)優(yōu)點(diǎn)：使用數(shù)學(xué)方法提高一致性行避免產(chǎn)生歧義提供高層驗(yàn)證的手段能夠較清晰地描述算法缺點(diǎn)：提高學(xué)習(xí)成本增加理解難度缺乏對(duì)UI設(shè)計(jì)的描述能力形式化方法學(xué)的啟發(fā)形式化方法優(yōu)缺點(diǎn)優(yōu)點(diǎn)：形式化方法學(xué)的啟發(fā)5啟發(fā)可生成形式化規(guī)格說明語言到程序設(shè)計(jì)語言的映射為軟件自動(dòng)化生產(chǎn)提供思路形式化方法學(xué)的啟發(fā)啟發(fā)形式化方法學(xué)的啟發(fā)6軟件自動(dòng)化生產(chǎn)沒有銀彈?--能否解決軟件特性中固有的困難（根本困難）?錯(cuò)誤的觀點(diǎn)工業(yè)生產(chǎn)線----錯(cuò)誤的比喻模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML（MDAwithxUML）MS軟件生產(chǎn)工廠軟件自動(dòng)化生產(chǎn)軟件自動(dòng)化生產(chǎn)沒有銀彈?--能否解決軟件特性中固有的困難（根7軟件特性中固有的困難軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決軟件特性中固有的困難?復(fù)雜性軟件內(nèi)部結(jié)構(gòu)復(fù)雜，這不僅導(dǎo)致技術(shù)產(chǎn)生困難，還導(dǎo)致溝通理解與管理變得困難。業(yè)務(wù)邏輯的復(fù)雜、技術(shù)的復(fù)雜以及兩者的耦合。一致性復(fù)雜來自保持與其他接口和人為慣例的一致方面，對(duì)軟件的任何再設(shè)計(jì)，都無法簡化這些復(fù)雜特性。需求與系統(tǒng)、系統(tǒng)之間、開發(fā)人員與需求提供者、開發(fā)人員之間軟件特性中固有的困難軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決8軟件特性中固有的困難可變性應(yīng)用、用戶、自然、社會(huì)規(guī)律、計(jì)算機(jī)硬件等等的變化強(qiáng)迫軟件隨之變化。需求變更、功能擴(kuò)展、同一領(lǐng)域不同用戶對(duì)軟件的要求也是可變性的表現(xiàn)。不可見性軟件的客觀存在不具有空間的體型特征。是不可見的和無法可視化的。軟件需要事物進(jìn)行抽象。很難抽象出準(zhǔn)確的模型且能被完全正確地理解。軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決軟件特性中固有的困難?軟件特性中固有的困難可變性應(yīng)用、用戶、自然、社會(huì)規(guī)律、計(jì)算機(jī)9固有困難的解決要點(diǎn)返回軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決軟件特性中固有的困難?溝通復(fù)雜性如何清楚準(zhǔn)確地說明復(fù)雜軟件的需求、設(shè)計(jì)和功能以及如何使其便于維護(hù)人員理解？一致性如何使團(tuán)隊(duì)中的成員能對(duì)軟件具有統(tǒng)一的、正確的認(rèn)識(shí)？可變性如何快速理解需求變更前后模型的差異從而有效的指導(dǎo)開發(fā)？不可見性高度抽象的模型如何清楚準(zhǔn)確地被理解？變化復(fù)雜性如何使復(fù)雜的軟件更便于維護(hù)和更新？一致性如何使變化過的模型在整個(gè)系統(tǒng)中保持一致？可變性如何快速的處理來自軟件生產(chǎn)中各階段的各種變更？不可見性如何使抽象的模型更容易被擴(kuò)展從而最好的適應(yīng)未來可預(yù)見和不可預(yù)見的變化？固有困難的解決要點(diǎn)返回軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解10錯(cuò)誤的觀點(diǎn)將組件比作工業(yè)零件，通過組件的組合完成流水線生產(chǎn)《軟件生產(chǎn)的流水線作業(yè)模式探討》忽略了變化，即使是最基本的函數(shù)也不能像零件一樣永遠(yuǎn)一成不變。變化可以是語句級(jí)的。不考慮整個(gè)軟件的總體設(shè)計(jì)，完成各個(gè)模塊的設(shè)計(jì)并由模塊管理系統(tǒng)通過調(diào)度實(shí)現(xiàn)系統(tǒng)功能《一種軟件的工業(yè)化生產(chǎn)方式》忽略了溝通，每個(gè)模塊開發(fā)者之間對(duì)于業(yè)務(wù)模型的分析與設(shè)計(jì)的一致性無法被保證，會(huì)可能導(dǎo)致調(diào)度模塊的復(fù)雜度大大增加。軟件自動(dòng)化生產(chǎn)—錯(cuò)誤的觀點(diǎn)錯(cuò)誤的觀點(diǎn)將組件比作工業(yè)零件，通過組件的組合完成流水線生產(chǎn)軟11沒有被考慮的部分沒有考慮需求變更在各個(gè)階段的影響。沒有考慮模塊、組件之間的交互帶來的影響。認(rèn)為軟件中的一部分是不會(huì)產(chǎn)生變化的。沒有考慮軟件開發(fā)過程中的迭代。軟件自動(dòng)化生產(chǎn)—錯(cuò)誤的觀點(diǎn)沒有被考慮的部分沒有考慮需求變更在各個(gè)階段的影響。軟件自動(dòng)化12錯(cuò)誤的比喻-工業(yè)產(chǎn)品生產(chǎn)線1零件之間的耦合度。2零件可變性。3產(chǎn)品功能與架構(gòu)。4工業(yè)產(chǎn)品設(shè)計(jì)。5開發(fā)過程中的迭代。軟件自動(dòng)化生產(chǎn)—錯(cuò)誤的比喻錯(cuò)誤的比喻-工業(yè)產(chǎn)品生產(chǎn)線1零件之間的耦合度。軟件自動(dòng)化生13MDA與可執(zhí)行UML復(fù)用或需求變更時(shí)進(jìn)行修改軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML技術(shù)變更或修改實(shí)現(xiàn)時(shí)進(jìn)行修改MDA與可執(zhí)行UML復(fù)用或需求變更時(shí)進(jìn)行修改軟件自動(dòng)化生產(chǎn)—14初始階段隨意刻畫的想法風(fēng)險(xiǎn)評(píng)估項(xiàng)目設(shè)想文檔利益相關(guān)者列表用例和主場景初始域圖初始類圖初始指出估算軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML初始階段隨意刻畫的想法風(fēng)險(xiǎn)評(píng)估項(xiàng)目設(shè)想文檔利益相關(guān)者列表用例15營造階段1分析域（場景）在單個(gè)域中建模分析類域圖域?qū)哟雾樞驁D分析類的行為雖狀態(tài)的變化分析類之間的交互描述了操作和狀態(tài)動(dòng)作類圖類狀態(tài)圖類協(xié)作圖ASL描述軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML營造階段1分析域（場景）在單個(gè)域中建模分析類域圖域?qū)哟雾樞驁D16營造階段2定義和實(shí)現(xiàn)從PIM到相關(guān)實(shí)現(xiàn)環(huán)境當(dāng)中的PSM的映射軟件體系結(jié)構(gòu)和代碼生成器軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML營造階段2定義和實(shí)現(xiàn)從PIM到相關(guān)實(shí)現(xiàn)環(huán)境當(dāng)中的PSM的映射17構(gòu)建階段1通過迭代的方式完善模型和代碼生成器2測試移交階段接收測試軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML構(gòu)建階段1通過迭代的方式完善模型和代碼生成器移交階段接收測試18優(yōu)缺點(diǎn)優(yōu)點(diǎn)：1將業(yè)務(wù)模型和實(shí)現(xiàn)技術(shù)解耦2力圖使用無二義性的建模工具3能更快更簡潔的處理變更的方法4復(fù)用性高（專業(yè)知識(shí)的復(fù)用，而非實(shí)現(xiàn)代碼）缺點(diǎn)：1提高了學(xué)習(xí)成本2提高了技術(shù)方面的抽象程度3需要技術(shù)專家具有更強(qiáng)的技術(shù)修養(yǎng)4沒有完善的代碼生成器的開發(fā)框架軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML優(yōu)缺點(diǎn)優(yōu)點(diǎn)：軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML19是否是銀彈？軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML是否是銀彈？軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML20MS軟件工廠使用DSLs（領(lǐng)域特定語言）BuildingaFlexibleSoftwareFactoryUsingPartialDomainSpecificModels一個(gè)單獨(dú)的模型無法描述整個(gè)復(fù)雜系統(tǒng)。為整體模型的每一部分建立小型、局部的模型。每一個(gè)局部模型使用相同或者不同的特定領(lǐng)域語言描述。特定領(lǐng)域模型（DSM）特定領(lǐng)域語言（DSL）目標(biāo)代碼代碼生成器++軟件自動(dòng)化生產(chǎn)--MS軟件生產(chǎn)工廠MS軟件工廠使用DSLs（領(lǐng)域特定語言）特定領(lǐng)域模型（DS21我的觀點(diǎn)1找出應(yīng)用中可能需要變化之處，把它們獨(dú)立出來，不要和那些不需要變化的部分混在一起。為可變化的部分提供良好的UI設(shè)計(jì)為可變部分設(shè)計(jì)良好的形式化表現(xiàn)方式通用的可變到不可變的映射需求到PIM的映射PIM到PSM的映射關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)1找出應(yīng)用中可能需要變化之處，把它們獨(dú)立出來，不要22我的觀點(diǎn)2無二義性、易于理解的形式化模型。軟件工程人機(jī)交互心理學(xué)形式化與非形式化關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)23我的觀點(diǎn)3可交互的動(dòng)態(tài)模型，更友好的時(shí)序與協(xié)作展現(xiàn)方式。PPT動(dòng)畫效果藝術(shù)修養(yǎng)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)24我的觀點(diǎn)4建立可行的逆向過程復(fù)用推廣關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)25我的疑問1在使用形式化規(guī)格說明的情況下是否可以使用數(shù)學(xué)方法進(jìn)行簡化？2形式化說明語言是否有能力成為程序設(shè)計(jì)語言？3形式化規(guī)格說明是否能成為法律依據(jù)作為合同的輔助材料？關(guān)于軟件自動(dòng)化生產(chǎn)的疑問我的疑問1在使用形式化規(guī)格說明的情況下是否可以使用數(shù)學(xué)方法26我的疑問4xUML是否是形式化的？5算法屬于平臺(tái)無關(guān)模型的一部分，但卻會(huì)用到軟件技術(shù)專家的知識(shí)？6xUML中不考慮UI設(shè)計(jì)？UI難道不是PIM的一部分么？關(guān)于軟件自動(dòng)化生產(chǎn)的疑問我的疑問4xUML是否是形式化的？關(guān)于軟件自動(dòng)化生產(chǎn)的疑問27生活中的辛苦阻撓不了我對(duì)生活的熱愛。12月-2212月-22Thursday,December29,2022人生得意須盡歡，莫使金樽空對(duì)月。22:54:1822:54:1822:5412/29/202210:54:18PM做一枚螺絲釘，那里需要那里上。12月-2222:54:1822:54Dec-2229-Dec-22日復(fù)一日的努力只為成就美好的明天。22:54:1822:54:1822:54Thursday,December29,2022安全放在第一位，防微杜漸。12月-2212月-2222:54:1822:54:18December29,2022加強(qiáng)自身建設(shè)，增強(qiáng)個(gè)人的休養(yǎng)。2022年12月29日10:54下午12月-2212月-22精益求精，追求卓越，因?yàn)橄嘈哦鴤ゴ蟆?9十二月202210:54:18下午22:54:1812月-22讓自己更加強(qiáng)大，更加專業(yè)，這才能讓自己更好。十二月2210:54下午12月-2222:54December29,2022這些年的努力就為了得到相應(yīng)的回報(bào)。2022/12/2922:54:1822:54:1829December2022科學(xué)，你是國力的靈魂；同時(shí)又是社會(huì)發(fā)展的標(biāo)志。10:54:18下午10:54下午22:54:1812月-22每天都是美好的一天，新的一天開啟。12月-2212月-2222:5422:54:1822:54:18Dec-22相信命運(yùn)，讓自己成長，慢慢的長大。2022/12/2922:54:18Thursday,December29,2022愛情，親情，友情，讓人無法割舍。12月-222022/12/2922:54:1812月-22謝謝大家！生活中的辛苦阻撓不了我對(duì)生活的熱愛。12月-2212月-2228軟件自動(dòng)化生產(chǎn)方式探討軟件自動(dòng)化生產(chǎn)方式探討29目錄形式化方法學(xué)的啟發(fā)軟件自動(dòng)化生產(chǎn)我的觀點(diǎn)我的疑問PPT中字體顏色說明：綠色：引用觀點(diǎn)、結(jié)論紅色：我的觀點(diǎn),歡迎大家批評(píng)指正目錄30定義如果一個(gè)方法有良好的數(shù)學(xué)基礎(chǔ)，特別的，是以形式化說明語言描述的，那么他是形式化的。當(dāng)一種表達(dá)方式基于一種含有明確定義的形式（語法）、含義（語義）以及關(guān)于分析、推論或者證明其構(gòu)造的規(guī)則的語言時(shí)，這種表達(dá)方式被稱為形式化的。其語法可以是圖形的或者是文本的。形式化方法學(xué)的啟發(fā)定義如果一個(gè)方法有良好的數(shù)學(xué)基礎(chǔ)，特別的，是以形式化說明語言31形式化規(guī)格說明的期望特性一致性無歧義性提供高層驗(yàn)證的手段形式化方法學(xué)的啟發(fā)形式化規(guī)格說明的期望特性一致性形式化方法學(xué)的啟發(fā)32形式化方法優(yōu)缺點(diǎn)優(yōu)點(diǎn)：使用數(shù)學(xué)方法提高一致性行避免產(chǎn)生歧義提供高層驗(yàn)證的手段能夠較清晰地描述算法缺點(diǎn)：提高學(xué)習(xí)成本增加理解難度缺乏對(duì)UI設(shè)計(jì)的描述能力形式化方法學(xué)的啟發(fā)形式化方法優(yōu)缺點(diǎn)優(yōu)點(diǎn)：形式化方法學(xué)的啟發(fā)33啟發(fā)可生成形式化規(guī)格說明語言到程序設(shè)計(jì)語言的映射為軟件自動(dòng)化生產(chǎn)提供思路形式化方法學(xué)的啟發(fā)啟發(fā)形式化方法學(xué)的啟發(fā)34軟件自動(dòng)化生產(chǎn)沒有銀彈?--能否解決軟件特性中固有的困難（根本困難）?錯(cuò)誤的觀點(diǎn)工業(yè)生產(chǎn)線----錯(cuò)誤的比喻模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML（MDAwithxUML）MS軟件生產(chǎn)工廠軟件自動(dòng)化生產(chǎn)軟件自動(dòng)化生產(chǎn)沒有銀彈?--能否解決軟件特性中固有的困難（根35軟件特性中固有的困難軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決軟件特性中固有的困難?復(fù)雜性軟件內(nèi)部結(jié)構(gòu)復(fù)雜，這不僅導(dǎo)致技術(shù)產(chǎn)生困難，還導(dǎo)致溝通理解與管理變得困難。業(yè)務(wù)邏輯的復(fù)雜、技術(shù)的復(fù)雜以及兩者的耦合。一致性復(fù)雜來自保持與其他接口和人為慣例的一致方面，對(duì)軟件的任何再設(shè)計(jì)，都無法簡化這些復(fù)雜特性。需求與系統(tǒng)、系統(tǒng)之間、開發(fā)人員與需求提供者、開發(fā)人員之間軟件特性中固有的困難軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決36軟件特性中固有的困難可變性應(yīng)用、用戶、自然、社會(huì)規(guī)律、計(jì)算機(jī)硬件等等的變化強(qiáng)迫軟件隨之變化。需求變更、功能擴(kuò)展、同一領(lǐng)域不同用戶對(duì)軟件的要求也是可變性的表現(xiàn)。不可見性軟件的客觀存在不具有空間的體型特征。是不可見的和無法可視化的。軟件需要事物進(jìn)行抽象。很難抽象出準(zhǔn)確的模型且能被完全正確地理解。軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決軟件特性中固有的困難?軟件特性中固有的困難可變性應(yīng)用、用戶、自然、社會(huì)規(guī)律、計(jì)算機(jī)37固有困難的解決要點(diǎn)返回軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解決軟件特性中固有的困難?溝通復(fù)雜性如何清楚準(zhǔn)確地說明復(fù)雜軟件的需求、設(shè)計(jì)和功能以及如何使其便于維護(hù)人員理解？一致性如何使團(tuán)隊(duì)中的成員能對(duì)軟件具有統(tǒng)一的、正確的認(rèn)識(shí)？可變性如何快速理解需求變更前后模型的差異從而有效的指導(dǎo)開發(fā)？不可見性高度抽象的模型如何清楚準(zhǔn)確地被理解？變化復(fù)雜性如何使復(fù)雜的軟件更便于維護(hù)和更新？一致性如何使變化過的模型在整個(gè)系統(tǒng)中保持一致？可變性如何快速的處理來自軟件生產(chǎn)中各階段的各種變更？不可見性如何使抽象的模型更容易被擴(kuò)展從而最好的適應(yīng)未來可預(yù)見和不可預(yù)見的變化？固有困難的解決要點(diǎn)返回軟件自動(dòng)化生產(chǎn)--沒有銀彈?--能否解38錯(cuò)誤的觀點(diǎn)將組件比作工業(yè)零件，通過組件的組合完成流水線生產(chǎn)《軟件生產(chǎn)的流水線作業(yè)模式探討》忽略了變化，即使是最基本的函數(shù)也不能像零件一樣永遠(yuǎn)一成不變。變化可以是語句級(jí)的。不考慮整個(gè)軟件的總體設(shè)計(jì)，完成各個(gè)模塊的設(shè)計(jì)并由模塊管理系統(tǒng)通過調(diào)度實(shí)現(xiàn)系統(tǒng)功能《一種軟件的工業(yè)化生產(chǎn)方式》忽略了溝通，每個(gè)模塊開發(fā)者之間對(duì)于業(yè)務(wù)模型的分析與設(shè)計(jì)的一致性無法被保證，會(huì)可能導(dǎo)致調(diào)度模塊的復(fù)雜度大大增加。軟件自動(dòng)化生產(chǎn)—錯(cuò)誤的觀點(diǎn)錯(cuò)誤的觀點(diǎn)將組件比作工業(yè)零件，通過組件的組合完成流水線生產(chǎn)軟39沒有被考慮的部分沒有考慮需求變更在各個(gè)階段的影響。沒有考慮模塊、組件之間的交互帶來的影響。認(rèn)為軟件中的一部分是不會(huì)產(chǎn)生變化的。沒有考慮軟件開發(fā)過程中的迭代。軟件自動(dòng)化生產(chǎn)—錯(cuò)誤的觀點(diǎn)沒有被考慮的部分沒有考慮需求變更在各個(gè)階段的影響。軟件自動(dòng)化40錯(cuò)誤的比喻-工業(yè)產(chǎn)品生產(chǎn)線1零件之間的耦合度。2零件可變性。3產(chǎn)品功能與架構(gòu)。4工業(yè)產(chǎn)品設(shè)計(jì)。5開發(fā)過程中的迭代。軟件自動(dòng)化生產(chǎn)—錯(cuò)誤的比喻錯(cuò)誤的比喻-工業(yè)產(chǎn)品生產(chǎn)線1零件之間的耦合度。軟件自動(dòng)化生41MDA與可執(zhí)行UML復(fù)用或需求變更時(shí)進(jìn)行修改軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML技術(shù)變更或修改實(shí)現(xiàn)時(shí)進(jìn)行修改MDA與可執(zhí)行UML復(fù)用或需求變更時(shí)進(jìn)行修改軟件自動(dòng)化生產(chǎn)—42初始階段隨意刻畫的想法風(fēng)險(xiǎn)評(píng)估項(xiàng)目設(shè)想文檔利益相關(guān)者列表用例和主場景初始域圖初始類圖初始指出估算軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML初始階段隨意刻畫的想法風(fēng)險(xiǎn)評(píng)估項(xiàng)目設(shè)想文檔利益相關(guān)者列表用例43營造階段1分析域（場景）在單個(gè)域中建模分析類域圖域?qū)哟雾樞驁D分析類的行為雖狀態(tài)的變化分析類之間的交互描述了操作和狀態(tài)動(dòng)作類圖類狀態(tài)圖類協(xié)作圖ASL描述軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML營造階段1分析域（場景）在單個(gè)域中建模分析類域圖域?qū)哟雾樞驁D44營造階段2定義和實(shí)現(xiàn)從PIM到相關(guān)實(shí)現(xiàn)環(huán)境當(dāng)中的PSM的映射軟件體系結(jié)構(gòu)和代碼生成器軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML營造階段2定義和實(shí)現(xiàn)從PIM到相關(guān)實(shí)現(xiàn)環(huán)境當(dāng)中的PSM的映射45構(gòu)建階段1通過迭代的方式完善模型和代碼生成器2測試移交階段接收測試軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML構(gòu)建階段1通過迭代的方式完善模型和代碼生成器移交階段接收測試46優(yōu)缺點(diǎn)優(yōu)點(diǎn)：1將業(yè)務(wù)模型和實(shí)現(xiàn)技術(shù)解耦2力圖使用無二義性的建模工具3能更快更簡潔的處理變更的方法4復(fù)用性高（專業(yè)知識(shí)的復(fù)用，而非實(shí)現(xiàn)代碼）缺點(diǎn)：1提高了學(xué)習(xí)成本2提高了技術(shù)方面的抽象程度3需要技術(shù)專家具有更強(qiáng)的技術(shù)修養(yǎng)4沒有完善的代碼生成器的開發(fā)框架軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML優(yōu)缺點(diǎn)優(yōu)點(diǎn)：軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML47是否是銀彈？軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML是否是銀彈？軟件自動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)架構(gòu)與可執(zhí)行UML48MS軟件工廠使用DSLs（領(lǐng)域特定語言）BuildingaFlexibleSoftwareFactoryUsingPartialDomainSpecificModels一個(gè)單獨(dú)的模型無法描述整個(gè)復(fù)雜系統(tǒng)。為整體模型的每一部分建立小型、局部的模型。每一個(gè)局部模型使用相同或者不同的特定領(lǐng)域語言描述。特定領(lǐng)域模型（DSM）特定領(lǐng)域語言（DSL）目標(biāo)代碼代碼生成器++軟件自動(dòng)化生產(chǎn)--MS軟件生產(chǎn)工廠MS軟件工廠使用DSLs（領(lǐng)域特定語言）特定領(lǐng)域模型（DS49我的觀點(diǎn)1找出應(yīng)用中可能需要變化之處，把它們獨(dú)立出來，不要和那些不需要變化的部分混在一起。為可變化的部分提供良好的UI設(shè)計(jì)為可變部分設(shè)計(jì)良好的形式化表現(xiàn)方式通用的可變到不可變的映射需求到PIM的映射PIM到PSM的映射關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)1找出應(yīng)用中可能需要變化之處，把它們獨(dú)立出來，不要50我的觀點(diǎn)2無二義性、易于理解的形式化模型。軟件工程人機(jī)交互心理學(xué)形式化與非形式化關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)51我的觀點(diǎn)3可交互的動(dòng)態(tài)模型，更友好的時(shí)序與協(xié)作展現(xiàn)方式。PPT動(dòng)畫效果藝術(shù)修養(yǎng)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)52我的觀點(diǎn)4建立可行的逆向過程復(fù)用推廣關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)我的觀點(diǎn)關(guān)于軟件自動(dòng)化生產(chǎn)的觀點(diǎn)53我的疑問1在使用形式化規(guī)格說明的情況下是否可以使用數(shù)學(xué)方法進(jìn)行簡化？2形式化說明語言是否有能力成為程序設(shè)計(jì)語言？3形式化規(guī)格說明是否能成為法律依據(jù)作為合同的輔助材料？關(guān)于軟件自動(dòng)化生產(chǎn)的疑問我的疑問1在使用形式化規(guī)格說明的情況下是否可以使用數(shù)學(xué)方法54我的疑問4xUML是否是形式化的？5算法屬于平臺(tái)無關(guān)模型的一部分，但卻會(huì)用到軟件技術(shù)專家的知識(shí)？6x