面向服務的可信軟件體系結構模型分析

占清華 黃沙

一、可信SOA模型

本文在可信SOA模型建模中，結合服務接口是面向服務軟件體系結構描述的關鍵問題，針對服務接口展開了接口模型建設工作。

1.特征接口

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

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

假設m∈M，則m是本地方法；

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

假設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結構中，服務注冊機構需要借助完整的服務接口進行描述，在描述過程中，如若某個地方法的必需動作未在服務接口出現，則這個接口是不完整的。本文，將把良定義特征接口作為研究重點，先在結構模型構建中利用shop服務接口進行描述，得到Pshop= （Ashop，Sshop，SCshop，SFshop）這一特征接口。

2.會話接口

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

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

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

3.協議接口

在面向服務系統中經常會遇到順序調用、并發調用等多種服務調用問題。這時，為了能夠實現面向服務目標，充分發揮面向服務軟件的價值與作用，需建立起一個協議接口。本文，在可信SOA模型建立過程中，將協議接口上動作集A用如下公式進行定義。同時，在定義期間，假設包含異常動作，由此達到協議接口描述目的。

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

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

二、相關工作概述

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

第二，良好的體系結構能夠支持軟件的開發與維護。在本文中，可信SOA模型建模有助于理解系統之間高層聯系，從根本上避免軟件開發中災難性后果的發生，并在不同軟件方案中做出合理的選擇。

第三，在可信SOA模型建模工作具體開展過程中，需嚴格把握建模過程，先提煉可信SOA模型的穩定需求，根據需求，提煉模型結構。然后，進入到模型的低層設計，提煉入庫，編程對應程序，達到結構模型設計目的。

參考文獻：

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

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