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