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

軟件自動(dòng)化生產(chǎn)方式探討目錄形式化方方法學(xué)的的啟發(fā)軟件自動(dòng)動(dòng)化生產(chǎn)產(chǎn)我的觀點(diǎn)點(diǎn)我的疑問問PPT中字體顏顏色說明明：綠色：引用用觀點(diǎn)、、結(jié)論紅色：我我的觀點(diǎn)點(diǎn),歡迎大家家批評(píng)指指正定義如果一個(gè)個(gè)方法有有良好的的數(shù)學(xué)基礎(chǔ)礎(chǔ)，特別的的，是以以形式化化說明語語言描述述的，那那么他是是形式化化的。當(dāng)一種表達(dá)達(dá)方式基基于一種種含有明確確定義的的形式（語語法）、、含義（（語義））以及關(guān)關(guān)于分析、推推論或者者證明其其構(gòu)造的的規(guī)則的的語言時(shí)，這種種表達(dá)方方式被稱稱為形式化的。其語語法可以以是圖形的或或者是文文本的。形式化方方法學(xué)的的啟發(fā)形式化規(guī)規(guī)格說明明的期望望特性一致性無歧義性提供高層層驗(yàn)證的的手段形式化方方法學(xué)的的啟發(fā)形式化方法優(yōu)缺缺點(diǎn)優(yōu)點(diǎn)：使用數(shù)學(xué)學(xué)方法提提高一致致性行避免產(chǎn)生生歧義提供高層層驗(yàn)證的的手段能夠較清清晰地描描述算法法缺點(diǎn)：提高學(xué)習(xí)習(xí)成本增加理解解難度缺乏對(duì)UI設(shè)計(jì)的描描述能力力形式化方方法學(xué)的的啟發(fā)啟發(fā)可生成形式式化規(guī)格格說明語語言到程程序設(shè)計(jì)計(jì)語言的的映射為軟件自自動(dòng)化生生產(chǎn)提供供思路形式化方方法學(xué)的的啟發(fā)軟件自動(dòng)動(dòng)化生產(chǎn)產(chǎn)沒有銀彈彈?--能否解決決軟件特特性中固固有的困困難（根根本困難難）?錯(cuò)誤的觀觀點(diǎn)工業(yè)生產(chǎn)產(chǎn)線-----錯(cuò)誤的比喻模型驅(qū)動(dòng)架構(gòu)構(gòu)與可執(zhí)執(zhí)行UML（MDAwithxUML）MS軟件生產(chǎn)產(chǎn)工廠軟件自動(dòng)動(dòng)化生產(chǎn)產(chǎn)軟件特性性中固有有的困難難軟件自動(dòng)動(dòng)化生產(chǎn)--沒有銀彈彈?--能否解決決軟件特特性中固固有的困難?復(fù)雜性軟件內(nèi)部部結(jié)構(gòu)復(fù)復(fù)雜，這這不僅導(dǎo)導(dǎo)致技術(shù)術(shù)產(chǎn)生困困難，還還導(dǎo)致溝溝通理解解與管理理變得困困難。業(yè)務(wù)邏輯輯的復(fù)雜、技術(shù)的復(fù)雜以以及兩者者的耦合合。一致性復(fù)雜來自自保持與與其他接接口和人人為慣例例的一致致方面，，對(duì)軟件件的任何何再設(shè)計(jì)計(jì)，都無無法簡化化這些復(fù)復(fù)雜特性性。需求與系系統(tǒng)、系系統(tǒng)之間間、開發(fā)發(fā)人員與與需求提提供者、、開發(fā)人人員之間間軟件特性性中固有有的困難難可變性應(yīng)用、用用戶、自自然、社社會(huì)規(guī)律律、計(jì)算算機(jī)硬件件等等的的變化強(qiáng)強(qiáng)迫軟件件隨之變化。需求變更更、功能能擴(kuò)展、、同一領(lǐng)領(lǐng)域不同同用戶對(duì)對(duì)軟件的的要求也也是可變變性的表表現(xiàn)。不可見性軟件的客客觀存在在不具有有空間的的體型特特征。是是不可見見的和無無法可視視化的。。軟件需要要事物進(jìn)進(jìn)行抽象象。很難抽象象出準(zhǔn)確的的模型且且能被完完全正確確地理解解。軟件自動(dòng)動(dòng)化生產(chǎn)--沒有銀彈彈?--能否解決決軟件特特性中固固有的困難?固有困難難的解決決要點(diǎn)返回軟件自動(dòng)動(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ù)見的變化？錯(cuò)誤的觀點(diǎn)將組件比作作工業(yè)零件，通通過組件件的組合合完成流流水線生生產(chǎn)《軟件生產(chǎn)產(chǎn)的流水水線作業(yè)業(yè)模式探探討》忽略了變變化，即即使是最最基本的的函數(shù)也也不能像像零件一一樣永遠(yuǎn)遠(yuǎn)一成不不變。變變化可以以是語句句級(jí)的。。不考慮整整個(gè)軟件件的總體設(shè)計(jì)計(jì)，完成成各個(gè)模模塊的設(shè)設(shè)計(jì)并由由模塊管管理系統(tǒng)統(tǒng)通過調(diào)調(diào)度實(shí)現(xiàn)現(xiàn)系統(tǒng)功功能《一種軟件件的工業(yè)業(yè)化生產(chǎn)產(chǎn)方式》忽略了溝溝通，每每個(gè)模塊塊開發(fā)者者之間對(duì)對(duì)于業(yè)務(wù)務(wù)模型的的分析與與設(shè)計(jì)的的一致性性無法被被保證，，會(huì)可能能導(dǎo)致調(diào)調(diào)度模塊塊的復(fù)雜雜度大大大增加。。軟件自動(dòng)動(dòng)化生產(chǎn)—錯(cuò)誤的觀觀點(diǎn)沒有被考考慮的部部分沒有考慮慮需求變變更在各各個(gè)階段段的影響響。沒有考慮慮模塊、、組件之之間的交交互帶來來的影響響。認(rèn)為軟件件中的一一部分是是不會(huì)產(chǎn)產(chǎn)生變化化的。沒有考慮慮軟件開開發(fā)過程程中的迭迭代。軟件自動(dòng)動(dòng)化生產(chǎn)—錯(cuò)誤的觀觀點(diǎn)錯(cuò)誤的比喻-工業(yè)產(chǎn)品品生產(chǎn)線線1零件之間間的耦合合度。2零件可變性。。3產(chǎn)品功能能與架構(gòu)構(gòu)。4工業(yè)產(chǎn)品品設(shè)計(jì)。。5開發(fā)過程程中的迭迭代。軟件自動(dòng)動(dòng)化生產(chǎn)—錯(cuò)誤的比比喻MDA與可執(zhí)行UML復(fù)用或需需求變更更時(shí)進(jìn)行修改軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UML技術(shù)變更更或修改改實(shí)現(xiàn)時(shí)時(shí)進(jìn)行修修改初始階段段隨意刻畫畫的想法法風(fēng)險(xiǎn)評(píng)估估項(xiàng)目設(shè)想想文檔利益相關(guān)關(guān)者列表表用例和主主場(chǎng)景初始域圖圖初始類圖圖初始指出出估算軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UML營造階段段1分析域（（場(chǎng)景））在單個(gè)域中中建模分析類域圖域?qū)哟雾橅樞驁D分析類的的行為雖雖狀態(tài)的的變化分析類之之間的交交互描述了操操作和狀狀態(tài)動(dòng)作作類圖類狀態(tài)圖圖類協(xié)作圖圖ASL描述軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UML營造階段2定義和實(shí)實(shí)現(xiàn)從PIM到相關(guān)實(shí)實(shí)現(xiàn)環(huán)境境當(dāng)中的的PSM的映射軟件體系系結(jié)構(gòu)和和代碼生生成器軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UML構(gòu)建階段段1通過迭代代的方式式完善模模型和代代碼生成成器2測(cè)試移交階段段接收測(cè)試試軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UML優(yōu)缺點(diǎn)優(yōu)點(diǎn)：1將業(yè)務(wù)模型型和實(shí)現(xiàn)現(xiàn)技術(shù)解解耦2力圖使用用無二義義性的建建模工具具3能更快更更簡潔的的處理變變更的方方法4復(fù)用性高高（專業(yè)業(yè)知識(shí)的的復(fù)用，，而非實(shí)實(shí)現(xiàn)代碼碼）缺點(diǎn)：1提高了學(xué)學(xué)習(xí)成本本2提高了技技術(shù)方面面的抽象象程度3需要技術(shù)術(shù)專家具具有更強(qiáng)強(qiáng)的技術(shù)術(shù)修養(yǎng)4沒有完善善的代碼碼生成器器的開發(fā)發(fā)框架軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UML是否是銀銀彈？軟件自動(dòng)動(dòng)化生產(chǎn)—模型驅(qū)動(dòng)動(dòng)架構(gòu)與與可執(zhí)行行UMLMS軟件工廠廠使用DSLs（領(lǐng)域特定語言）BuildingaFlexibleSoftwareFactoryUsingPartialDomainSpecificModels一個(gè)單獨(dú)獨(dú)的模型型無法描描述整個(gè)復(fù)雜雜系統(tǒng)。。為整體模型型的每一一部分建建立小型型、局部部的模型型。每一個(gè)局局部模型型使用相同或者者不同的的特定領(lǐng)領(lǐng)域語言描述。特定領(lǐng)域域模型（DSM）特定領(lǐng)域語言（DSL）目標(biāo)代碼碼代碼生成成器++軟件自動(dòng)動(dòng)化生產(chǎn)--MS軟件生產(chǎn)產(chǎn)工廠我的觀點(diǎn)點(diǎn)1找出應(yīng)用用中可能能需要變變化之處處，把它它們獨(dú)立立出來，，不要和和那些不不需要變變化的部部分混在在一起。。為可變化化的部分分提供良良好的UI設(shè)計(jì)為可變部部分設(shè)計(jì)計(jì)良好的的形式化化表現(xiàn)方方式通用的可可變到不不可變的的映射需求到PIM的映射PIM到PSM的映射關(guān)于軟件件自動(dòng)化生產(chǎn)的觀觀點(diǎn)我的觀點(diǎn)點(diǎn)2無二義性性、易于于理解的的形式化化模型。軟件工程程人機(jī)交互互心理學(xué)形式化與與非形式式化關(guān)于軟件件自動(dòng)化生產(chǎn)的觀觀點(diǎn)我的觀點(diǎn)點(diǎn)3可交互的的動(dòng)態(tài)模模型，更更友好的的時(shí)序與與協(xié)作展展現(xiàn)方式式。PPT動(dòng)畫效果果藝術(shù)修養(yǎng)養(yǎng)關(guān)于軟件件自動(dòng)化生產(chǎn)的觀觀點(diǎn)我的觀點(diǎn)點(diǎn)4建立可行行的逆向向過程復(fù)用推廣關(guān)于軟件件自動(dòng)化生產(chǎn)的觀觀點(diǎn)我的疑問問1在使用形形式化規(guī)規(guī)格說明明的情況況下是否否可以使使用數(shù)學(xué)學(xué)方法進(jìn)進(jìn)行簡化化？2形式化說說明語言言是否有有能力成成為程序序設(shè)計(jì)語語言？