Posted on 2005-11-16 20:10
canonical 閱讀(603)
評論(1) 編輯 收藏 所屬分類:
設(shè)計理論
軟件世界與真實的，物理的世界有著本質(zhì)的不同，其中一點在于軟件中的規(guī)則是根據(jù)需求制訂的而不是先驗的。我們在研究物理世界的時候，多少會有些唯物主義，
即紛繁蕪雜的表象下蘊含著自恰的，不變的規(guī)律。物理學的建模是多方位的，多層次的。同一個規(guī)律，在不同的簡化條件和不同的環(huán)境中我們會賦予它不同的名字。
在不同的抽象層面上，我們也可能會建立不同的模型。嚴格的說起來，這些模型之間可能存在著不一致性，但我們相信，存在著一個絕對精確的模型：無限的細節(jié)，
無限的關(guān)聯(lián)，完美的，自恰的，而我們所建立的所有物理模型都只是對該終極模型在某個層次，某個角度上的近似抽象，而每一個模型都有著自己的適用范圍。很多
時候物理學的建模是粗魯?shù)模瑨仐壛舜罅克坪醣仨毜囊兀灰驗槲锢韺W家相信物理學的直覺能夠?qū)⑽覀円龑У秸_的道路，不論我們做出什么樣的簡化和假設(shè)，只
要它是物理的，最終都會回歸到真實的世界。
軟件是人為構(gòu)造出來的，其體現(xiàn)的運行規(guī)律由外部需求所決定，而無法形成自我的證明。領(lǐng)域模型(Domain
Model)隱喻式的期望能夠建立穩(wěn)定的邏輯層，可這注定是困難的。我們在軟件設(shè)計中希望分層，職責單一，進行正交化設(shè)計。可是一個復雜系統(tǒng)的邏輯分解注
定是無法正交化的。非此即彼只存在于抽象的世界。多個復雜性層次上的結(jié)構(gòu)交織在一起，使得我們難以建立穩(wěn)定的根基。因為缺乏先驗的支配規(guī)則，我們鼓吹需求
到實現(xiàn)的1:1映射，實際上只是希望通過貧乏的唯一性來維護演變中的自恰性。真正實現(xiàn)了1:1映射是不是在系統(tǒng)中引入了人為的剛性?
在一定的情景下，為了達到最適的模型，我們需要各種Facade，我們需要1:n映射，抑或是m:n映射。被割裂了的聯(lián)系仍然需要通過各種service
在系統(tǒng)中重建出來。
在建筑學的隱喻中，建筑設(shè)計師與建筑工人之間還存在著一個角色：土木工程師。他在物理結(jié)構(gòu)的層面上而不是應(yīng)用意義上把握整體
工程。在結(jié)構(gòu)層次上我們是能夠進行有效的推理和判斷的。在軟件中也是一樣，拋去對象的業(yè)務(wù)含義，我們可以把它理解為一個Map，那對它可以進行那些操作是
可以預知的。只是我們對于軟件結(jié)構(gòu)層面的了解還是太膚淺了。每個項目，大量的時間花費在編寫那些低層的與業(yè)務(wù)無關(guān)的模塊（或者說可以抽象出這些模塊），這
就如同每次建筑，都從制造磚塊開始一樣。材料的準備不是一朝一夕之功。在結(jié)構(gòu)層上我們必須對系統(tǒng)形成深刻的理解，這不僅僅是業(yè)務(wù)建模的問題。