基于進程代數(shù)的面向服務軟件體系結構建模.pdf

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

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

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