基于進(jìn)程代數(shù)的面向服務(wù)軟件體系結(jié)構(gòu)建模.pdf

1、隨著軟件技術(shù)的發(fā)展,一種被稱為面向服務(wù)軟件體系結(jié)構(gòu)SOA的軟件系統(tǒng)開發(fā)方法被提出并得到迅速發(fā)展。今天的SOA是基于已經(jīng)廣泛接受的Web服務(wù)標(biāo)準(zhǔn),被譽(yù)為下一代Web服務(wù)的基礎(chǔ)框架。但是目前大多數(shù)對(duì)SOA的研究仍集中在Web服務(wù)標(biāo)準(zhǔn)的拓展、Web服務(wù)開發(fā)工具以及服務(wù)應(yīng)用集成等方面,對(duì)SOA系統(tǒng)架構(gòu)設(shè)計(jì)和形式化建模方面的研究還缺乏關(guān)注。本文采用一種基于Pi演算的描述語言πADL,對(duì)SOA系統(tǒng)的形式化建模過程進(jìn)行詳細(xì)的描述和驗(yàn)證。
　　

2、 論文首先對(duì)面向服務(wù)的相關(guān)技術(shù)和Pi演算基本理論進(jìn)行闡述。在此基礎(chǔ)上給出了服務(wù)的相關(guān)定義和服務(wù)模型,描述了服務(wù)的角色、元素、服務(wù)屬性以及服務(wù)之間的交互關(guān)系。利用Pi演算對(duì)服務(wù)、角色以及操作進(jìn)行定義,以及對(duì)服務(wù)屬性進(jìn)行詳細(xì)的描述和分析。
　　 本文采用基于移動(dòng)進(jìn)程理論P(yáng)i演算的描述語言πADL,對(duì)SOA模型進(jìn)行形式化規(guī)約,為SOA的應(yīng)用和系統(tǒng)設(shè)計(jì)提供形式化的描述、分析和驗(yàn)證方法。首先介紹SOA架構(gòu)的基本結(jié)構(gòu),包括服務(wù)、連接件、系統(tǒng)

3、配置等,然后用πADL直接、顯式地對(duì)這三部分進(jìn)行規(guī)約。服務(wù)是具有統(tǒng)一描述性的組件集合,πADL通過對(duì)端口、角色進(jìn)行規(guī)約,從而獨(dú)立地描述組件、連接件的功能行為。系統(tǒng)配置是服務(wù)、連接件按照特定方式組織而成的有機(jī)整體,主要研究組件或服務(wù)的組裝,其中組件組裝成服務(wù),服務(wù)也可以組裝形成組合服務(wù)。組裝技術(shù)包括端口組裝、連接件連接以及組裝運(yùn)算操作。
　　 論文最后介紹了一個(gè)簡(jiǎn)單SOA系統(tǒng)的建模實(shí)例,用專門針對(duì)Pi演算開發(fā)的自動(dòng)驗(yàn)證工具移動(dòng)工作