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

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