Posted on 2009-12-06 12:23
canonical 閱讀(1222)
評論(0) 編輯 收藏 所屬分類:
設計理論
結構的穩定性，直觀的理解起來，就是結構在存在外部擾動的情況下長時間保持某種形式不變性的能力。穩定意味著小的擾動造成的后果也是“小”的。在數學中，Taylor級數為我們描繪了變化傳播的基本圖景。
F(x0 + dx) = F(x0) + F'(x0)*dx + 0.5*F''(x0)*dx^2 + 
擾動dx可能在系統F中引發非常復雜的作用過程，在系統各處產生一個個局部變化結果。表面上看起來，似乎這些變化結果存在著無窮多種可能的分組方式，例如 (F'(x0)-2)*dx + 2*dx^2, 但是基于微分分析，我們卻很容易了解到Taylor級數的每一級都對應著獨立的物理解釋，它們構成自然的分組標準。某一量級下的所有變化匯總歸并到一起，并對應一個明確的整體描述。在抽象的數理空間中，我們具有一種無所不達的變化搜集能力。變化項可以從基礎結構中分離出來，經過匯總后可以對其進行獨立的研究。變化本身并不會直接導致基礎結構的崩潰。
在軟件建模領域，模型的穩定性面臨的卻是另一番場景。一個軟件模型一旦被實現之后，種種局部需求變更就都會形成對原有基礎結構的沖擊。一些局部的需求變化可能造成大片原有實現失效，我們將被迫為類似的需求重新編寫類似的代碼。此時，軟件開發并不像是一種純粹的信息創造，而是宛若某種物質產品的生產（參見從編寫代碼到制造代碼
http://canonical.javaeye.com/blog/333167 ）。顯然，我們需要一種能力，將局部變化從基礎結構中剝離出來，經過匯總歸并之后再進行綜合分析和處理。這正是AOP(Aspect Oriented Programming)技術的價值所在。
M1 = (G0+dG0)<M0+dM0> ==> M1 = G0<M0> + dM
AOP本質上是軟件結構空間的自由修正機制。只有結合AOP技術之后，軟件模型才能夠重新恢復抽象的本質，在時間之河中逃離隨機變化的侵蝕，保持實現層面的穩定性。在這一背景下，建模的目的將不是為了能夠跟蹤最終需求的變動，而是要在某個獨立的層面上能夠自圓其說，能夠具有某種獨立存在的完滿性，成為思維上可以把握的某個穩定的基點。模型的真實性將因為自身結構的完備性而得到證明，與外部世界的契合程度不再是價值判斷的唯一標準。
http://canonical.javaeye.com/blog/482620