占清華 黃沙

一、可信SOA模型

本文在可信SOA模型建模中，結(jié)合服務(wù)接口是面向服務(wù)軟件體系結(jié)構(gòu)描述的關(guān)鍵問題，針對服務(wù)接口展開了接口模型建設(shè)工作。

1.特征接口

特征接口簡稱SI，特征接口P是一個四元組（A，S，SC，SF）下面給出P的不同動作類型：

假設(shè)a∈dom（S），則a是本地動作；

假設(shè)m∈M，則m是本地方法；

假設(shè)a∈dom（SC），則a是成功動作；

假設(shè)a∈dom（SF），則a是異常動作。

P的不同動作類型可用如下公式進行表示：

required（a'）=（?a∈dom（S）a'∈S（a））

∨（?b∈dom（SCS）a'∈SC（b））∨（?c∈

dom（SF）a'∈SF（c））

在SOA結(jié)構(gòu)中，服務(wù)注冊機構(gòu)需要借助完整的服務(wù)接口進行描述，在描述過程中，如若某個地方法的必需動作未在服務(wù)接口出現(xiàn)，則這個接口是不完整的。本文，將把良定義特征接口作為研究重點，先在結(jié)構(gòu)模型構(gòu)建中利用shop服務(wù)接口進行描述，得到Pshop= （Ashop，Sshop，SCshop，SFshop）這一特征接口。

2.會話接口

特征接口并不能用于描述不同情況下可能引發(fā)的不同動作集合，這時就需要一個會話接口。本文，在會話接口定義過程中，將用下面公式進行表達。

ω||T|a|ω1∪ω2|ω1∩ω2

除了上述會話表達式會話接口定義以外，還可在定義將把會話接口I視為一個四元組（A，E，EC，EF），可以用csi（I）=（A，E，EC，EF）進行計算。由這種定義方式可知，當一個接口的詳細程度不同，那么同一個接口也可能被表示為不用會話。在會話接口定義中，可給定I=（A，E，EC，EF）用函數(shù)[ω]Rω（A）→22A計算，進而可由此獲得會話集函數(shù)，實現(xiàn)面向服務(wù)。

3.協(xié)議接口

在面向服務(wù)系統(tǒng)中經(jīng)常會遇到順序調(diào)用、并發(fā)調(diào)用等多種服務(wù)調(diào)用問題。這時，為了能夠?qū)崿F(xiàn)面向服務(wù)目標，充分發(fā)揮面向服務(wù)軟件的價值與作用，需建立起一個協(xié)議接口。本文，在可信SOA模型建立過程中，將協(xié)議接口上動作集A用如下公式進行定義。同時，在定義期間，假設(shè)包含異常動作，由此達到協(xié)議接口描述目的。

term||τ|a|a∪b|a∩b|a+b|a，b|

本文在對協(xié)議接口進行定義過程中，還將擴展協(xié)議自動機G視為（A，L，δ）這樣一個三元組，明確A代表可能出現(xiàn)的動作集，L則代表位置集合，δ是指位置遷移關(guān)系。然后，在EPA中，設(shè)計一條以上的路徑，完成協(xié)議服務(wù)。本文，將協(xié)議接口T視為（G，R，RC，RF），明確R，RC，RF分別代表一個部分函數(shù)，定義函數(shù)，進行服務(wù)描述。

二、相關(guān)工作概述

第一，模型是對現(xiàn)實問題的邏輯抽象，在可信SOA模型具體建模期間，要忽略現(xiàn)骨干細節(jié)問題，以具體的形式科學(xué)表現(xiàn)其框架結(jié)構(gòu)，從全局角度出發(fā)把握好這一框架結(jié)構(gòu)。同時，在可信SOA模型建模期間，需要以構(gòu)件、連接件為基礎(chǔ)刻畫框架結(jié)構(gòu)，以便更好地發(fā)現(xiàn)SOA模型可信性。

第二，良好的體系結(jié)構(gòu)能夠支持軟件的開發(fā)與維護。在本文中，可信SOA模型建模有助于理解系統(tǒng)之間高層聯(lián)系，從根本上避免軟件開發(fā)中災(zāi)難性后果的發(fā)生，并在不同軟件方案中做出合理的選擇。

第三，在可信SOA模型建模工作具體開展過程中，需嚴格把握建模過程，先提煉可信SOA模型的穩(wěn)定需求，根據(jù)需求，提煉模型結(jié)構(gòu)。然后，進入到模型的低層設(shè)計，提煉入庫，編程對應(yīng)程序，達到結(jié)構(gòu)模型設(shè)計目的。

參考文獻：

[1]何積豐，單志廣，王 戟，等.“可信軟件基礎(chǔ)研究”重大研究計劃結(jié)題綜述[J].中國科學(xué)基金，2018（3）.

[2]沈國華，黃志球，謝 冰，等.軟件可信評估研究綜述：標準、模型與工具[J].軟件學(xué)報，2016（4）.