1.基于進(jìn)程代數(shù)的軟件體系結(jié)構(gòu)安全模型的建立方法，其特征在于包括以下步驟：?

1）創(chuàng)建軟件體系結(jié)構(gòu)的流圖；其中，方框表示為體系結(jié)構(gòu)元素實例AEIs，黑圈表示為局部交互，白框表示為體系結(jié)構(gòu)的交互，箭頭表示為附件；?

2）在軟件體系結(jié)構(gòu)的流圖基礎(chǔ)上，采用進(jìn)程代數(shù)作為形式化描述語言對各個軟件體系結(jié)構(gòu)要素進(jìn)行定義；?

3）對被定義的軟件體系結(jié)構(gòu)進(jìn)行安全性檢查，驗證檢查結(jié)果或進(jìn)行修改，得到軟件體系結(jié)構(gòu)安全模型。?

2.根據(jù)權(quán)利要求1所述的基于進(jìn)程代數(shù)的軟件體系結(jié)構(gòu)安全模型的建立方法，其特征在于：步驟2）所述軟件體系結(jié)構(gòu)要素包括體系結(jié)構(gòu)類型的名字、體系結(jié)構(gòu)類型所基于的體系結(jié)構(gòu)元素類型AETs以及體系結(jié)構(gòu)類型的拓?fù)浣Y(jié)構(gòu)；其中，?

所述每個AET通過名稱、行為、交互來定義；每個AET的所有實例AEIs的語義被定義為AET的行為，所述語義通過其AEIs根據(jù)具體附件相關(guān)的語義并行得到；?

所述體系結(jié)構(gòu)類型的拓?fù)浣Y(jié)構(gòu)，由AEIs的集合、體系結(jié)構(gòu)層的交互集合以及每個AEIs交互之間的附件集合共同聲明；所述AEIs的交互至少有一個局部交互，每個局部交互被包括在至少一個附件中。?

3.根據(jù)權(quán)利要求2所述的基于進(jìn)程代數(shù)的軟件體系結(jié)構(gòu)安全模型的建立方法，其特征在于：步驟2）所述軟件體系結(jié)構(gòu)要素的定義具體如下：?

2.1）體系結(jié)構(gòu)元素類型的語義及其實例：給定進(jìn)程代數(shù)描述語言寫的歸約，設(shè)C為一個帶行為E和交互集合I的AET，C的語義及其實例被定義為s[|C|]＝E/(Act-τ-I)；?

2.2）給定一個體系結(jié)構(gòu)類型A，若C₁，…，C_n為某些AEI，設(shè)變量i，j，k為1到n，然后對每個AEI?C_i，I_Ci為其交互集；為聲明為體系結(jié)構(gòu)層的交互，為其附著于C₁，…，C_n的交互集的局部交互；?

2.3）交互集合是內(nèi)連接的：一個C₁，…，C_n的局部交互集合LI是內(nèi)連接的當(dāng)且僅當(dāng)對于LI交互的每個對（C_i.a₁，C_j.a₂），要么它們之間有一個附件鏈，要么有一個交互C_k.a₃屬于LI，使得C_i.a₁和C_k.a₃之間有附件，且C_k.a₃連接到C_j.a₂；LI是最大集；?

2.4）一個映射動作重命名函數(shù)集合形如：ΨC_i；C₁...C_n：LI?C_i；C₁...C_n→S(C₁...C_n)以方式ΨC_i；C₁...C_n（a₁）=ΨC_j；C₁...C_n（a₂），當(dāng)且僅當(dāng)C_i.a₁和C_j.a₂同屬一個連通集；?

2.5）兩種限制語義：C_i限制于C₁，…，C_n的封閉式和開放式的交互語義定義為：?

封閉式的交互語義：[|C_i|]C?C₁...C_n=[|C_i|]/(Act-{τ}-LI?C_i；C₁...C_n)[ΨC_i；C₁...C_n]，開放式的交互語義：[|C_i|]O?C₁...C_n=[|C_i|]/(Act-{τ}-(LI?C_i；C₁...C_n∪Al?C_i))[ΨC_i；C₁...C_n]；?

2.6）組件集合的交互語義：定義C₁，...，C_n的封閉和開放語義：?

封閉語義：[|C₁，…，C_n|]C=[|C₁|]C?C₁...C_n||_S(C₁，C₂；C₁，...，C_n)[|C₂|]CC₁...C_n||_S(C₁，C₃；C₁...C_n)∪_S(C₂，C₃；C₁…C_n)......||?||∪_i=1^n-1_S(C_i,C_n；C₁...C_n)[|C_n|]C?C₁…C_n；?

開放語義：[C₁，…，C_n|]O=[|C₁|]O?C₁...C_n||_S(C₁，C₂；C₁，...，C_n)[|C₂|]O?C₁...C_n||_S(C₁,C₃；C₁...C_n)∪_S(C₂，C₃；C₁…C_n)......||∪_i=1^n-1_S(C_i,C_n；C₁...C_n)[|C_n|]O?C₁…C_n；?

2.7）一個帶有AEIs?C₁，…，C_n的體系結(jié)構(gòu)的類型A的語義為[|A|]＝[|C₁…C_n|]O。?