亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        面向服務(wù)的可信軟件體系結(jié)構(gòu)模型分析

        2018-11-16 10:16:10占清華黃沙
        求知導(dǎo)刊 2018年28期
        關(guān)鍵詞:定義動(dòng)作服務(wù)

        占清華 黃沙

        一、可信SOA模型

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

        1.特征接口

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

        2.會(huì)話接口

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

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

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

        3.協(xié)議接口

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

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

        本文在對(duì)協(xié)議接口進(jìn)行定義過(guò)程中,還將擴(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)工作概述

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

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

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

        參考文獻(xiàn):

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

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

        猜你喜歡
        定義動(dòng)作服務(wù)
        服務(wù)在身邊 健康每一天
        服務(wù)在身邊 健康每一天
        服務(wù)在身邊 健康每一天
        動(dòng)作描寫(xiě)要具體
        招行30年:從“滿意服務(wù)”到“感動(dòng)服務(wù)”
        商周刊(2017年9期)2017-08-22 02:57:56
        畫(huà)動(dòng)作
        動(dòng)作描寫(xiě)不可少
        成功的定義
        山東青年(2016年1期)2016-02-28 14:25:25
        非同一般的吃飯動(dòng)作
        修辭學(xué)的重大定義
        成 人 网 站 免 费 av| 国产色视频一区二区三区不卡| 国产区精品一区二区不卡中文| 性一交一乱一伦一色一情孩交| 日韩中文网| 大屁股流白浆一区二区| 国产精品久久久在线看| 最爽无遮挡行房视频| 91av小视频| 亚洲精品视频免费在线| 上海熟女av黑人在线播放| 国产成人精品久久综合| 欧美第五页| av男人操美女一区二区三区| 一区二区三区字幕中文| 无码日韩精品一区二区三区免费 | 少妇被猛男粗大的猛进出| av无码天一区二区一三区| 久久狠狠髙潮曰十八女人| 国产av无码专区亚洲av男同| 丁香花在线影院观看在线播放| 亚洲男人堂色偷偷一区 | 人妻精品视频一区二区三区| 成人爽a毛片在线视频| 亚洲午夜福利精品久久| 偷窥偷拍一区二区三区| 久久久噜噜噜久久中文福利| 人妻被黑人粗大的猛烈进出| 中文字幕精品亚洲无线码二区| 最新中文字幕日韩精品| 久久香蕉国产线熟妇人妻| 精品少妇大屁股白浆无码| 精品久久免费国产乱色也| 中文字幕亚洲欧美在线不卡| 亚洲av无码成人精品国产| 国产成人无码一区二区在线观看 | 国产色xx群视频射精| 一区二区日韩国产精品| 日韩精品成人一区二区三区| 国产乱人无码伦av在线a| 亚洲中文字幕无码永久在线|