占清華 黃沙

一、可信SOA模型

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

1.特征接口

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

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

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

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

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

P的不同動(dòng)作類型可用如下公式進(jìn)行表示：

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

2.會話接口

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

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

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

3.協(xié)議接口

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

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

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

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

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

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

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

參考文獻(xiàn)：

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

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