系統(tǒng)演化的形式化與具體化應(yīng)用研究.pdf

1、近年來，ICT技術(shù)迅猛發(fā)展，物聯(lián)網(wǎng)、云計算、SOA等技術(shù)的應(yīng)用越來越廣泛。軟件系統(tǒng)在各個領(lǐng)域的角色越來越重要，許多大型信息系統(tǒng)的功能和規(guī)模都變得越來越復(fù)雜，信息系統(tǒng)之間的關(guān)聯(lián)由單一性向多樣化的方向發(fā)展，諸如物聯(lián)網(wǎng)、傳感網(wǎng)應(yīng)用等的大型應(yīng)用軟件系統(tǒng)，正在由傳統(tǒng)的單一、封閉系統(tǒng)向開放、融合的系統(tǒng)體系（System of systems）演變。
　　如何更好的規(guī)劃、建設(shè)和維護這樣大規(guī)模、復(fù)雜的信息系統(tǒng)（大型應(yīng)用軟件系統(tǒng)）成為業(yè)界研究的熱點

2、。本文所提到的系統(tǒng)體系和框架方法（Framework Method）的相關(guān)理論，正是針對這一關(guān)注點而切入的，利用系統(tǒng)體系和框架方法，重點研究系統(tǒng)演化過程中的具體化（Materialization）和形式化（Formalization）描述方法，目的在于更加深入的研究軟件工程中的系統(tǒng)以及系統(tǒng)體系，更好的把握其生命周期各個階段的特征、其組成成分的功能和特性，以便更好的指導(dǎo)系統(tǒng)的建設(shè)，保證演化過程中的穩(wěn)定性，及對業(yè)務(wù)目標的持續(xù)支持。本文將框架