一種基于Bigraph的規(guī)則驅(qū)動(dòng)動(dòng)態(tài)模型研究

笪建莫啟程耀坤汪培芬張毅呂永華

摘 要：作為業(yè)務(wù)過(guò)程中的一個(gè)重要組成方面，業(yè)務(wù)規(guī)則驅(qū)動(dòng)業(yè)務(wù)邏輯的運(yùn)行，業(yè)務(wù)規(guī)則的變化導(dǎo)致業(yè)務(wù)邏輯實(shí)現(xiàn)功能的變化?；陉P(guān)注點(diǎn)分離的思想，將業(yè)務(wù)規(guī)則作為一個(gè)方面從業(yè)務(wù)邏輯中分離出來(lái)，并從更宏觀的層面實(shí)現(xiàn)業(yè)務(wù)規(guī)則對(duì)業(yè)務(wù)邏輯的組織及驅(qū)動(dòng)。業(yè)務(wù)規(guī)則不僅可以對(duì)單個(gè)業(yè)務(wù)邏輯構(gòu)件內(nèi)部的運(yùn)行流程進(jìn)行驅(qū)動(dòng)，還可以對(duì)涉及多個(gè)業(yè)務(wù)邏輯構(gòu)件的運(yùn)行過(guò)程進(jìn)行控制，并允許施加在業(yè)務(wù)邏輯構(gòu)件上的規(guī)則構(gòu)件可以同時(shí)為多個(gè)。同時(shí)，考慮到軟件系統(tǒng)所處環(huán)境的日益復(fù)雜化，引入自適應(yīng)機(jī)制，建立了三層的面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)，設(shè)計(jì)出面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)描述語(yǔ)言，基于Bigraph理論，建立了面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)的語(yǔ)義模型，通過(guò)定義Bigraph反應(yīng)系統(tǒng)來(lái)描述模型的動(dòng)態(tài)變化，最后對(duì)模型動(dòng)態(tài)變化后的完整性進(jìn)行了驗(yàn)證。

關(guān)鍵詞關(guān)鍵詞：業(yè)務(wù)規(guī)則；Bigraph；Bigraph反應(yīng)系統(tǒng)；面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)

DOIDOI：10.11907/rjdk.161932

中圖分類號(hào)：TP302

文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)文章編號(hào)：16727800（2016）011001805

基金項(xiàng)目基金項(xiàng)目：

作者簡(jiǎn)介作者簡(jiǎn)介：笪建（1979-），男，江蘇淮安人，碩士，淮安開放大學(xué)信息工程系助教，研究方向?yàn)檐浖こ獭④浖^(guò)程。

0 引言

作為業(yè)務(wù)過(guò)程中的一個(gè)重要組成方面，從一般意義上講，業(yè)務(wù)規(guī)則實(shí)質(zhì)上就是一組條件和在這組條件下進(jìn)行的一組操作；而從軟件工程的角度來(lái)看，可以將業(yè)務(wù)規(guī)則理解成業(yè)務(wù)邏輯執(zhí)行的控制流程，規(guī)則組織并驅(qū)動(dòng)業(yè)務(wù)邏輯的執(zhí)行，從而實(shí)現(xiàn)系統(tǒng)設(shè)計(jì)目標(biāo)。因此，本文基于關(guān)注點(diǎn)分離的思想，通過(guò)將業(yè)務(wù)規(guī)則從業(yè)務(wù)邏輯中分離出來(lái)，并從更宏觀的層面實(shí)現(xiàn)業(yè)務(wù)規(guī)則對(duì)業(yè)務(wù)邏輯的組織及驅(qū)動(dòng)。建立了三層的面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)（Aspect-Oriented Dynamic Model for Structure of Architecture， AODMSA），基于Bigraph理論最終建立了AODMSA的語(yǔ)義模型，最后對(duì)AODMSA模型動(dòng)態(tài)變化后的完整性進(jìn)行了驗(yàn)證。

1 Bigraph簡(jiǎn)介及面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)

Bigraph是由圖靈獎(jiǎng)獲得者Robin Milner[1]和他的合作者于2001年提出的一種基于圖形的形式化工具，主要用來(lái)為普適計(jì)算系統(tǒng)以及移動(dòng)和并發(fā)理論建模。本文從靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)結(jié)構(gòu)兩個(gè)不同的角度對(duì)Bigraph進(jìn)行闡述。從靜態(tài)結(jié)構(gòu)來(lái)講，一個(gè)Bigraph可以分解為兩個(gè)子圖：位置圖和連接圖[2]。位置圖用來(lái)表示各計(jì)算節(jié)點(diǎn)所在位置，節(jié)點(diǎn)之間可以相互嵌套，每一個(gè)節(jié)點(diǎn)分配一個(gè)控制，

控制可以用來(lái)描述一個(gè)節(jié)點(diǎn)擁有多少個(gè)端口，每一個(gè)端口對(duì)應(yīng)一個(gè)連接，端口同時(shí)也可以通過(guò)名字來(lái)表示，名字分為外部名和內(nèi)部名。首先給出Bigraph的定義。

定義1：Bigraph G=（V，E，Ctrl，GP，GL）：I->J，I=，J=。其中，y：有限的節(jié)點(diǎn)集；E：有限的邊集合；Ctrl：V->K，節(jié)點(diǎn)到控制的映射圖，表示每一個(gè)節(jié)點(diǎn)都有一個(gè)對(duì)應(yīng)的控制K，K用來(lái)描述該節(jié)點(diǎn)的端口，并規(guī)定該節(jié)點(diǎn)是原子節(jié)點(diǎn)還是復(fù)合節(jié)點(diǎn)。EGP=（V，Ctrl，prnt）：m→n為擴(kuò)展的位置圖。其中，m為內(nèi)部位置的個(gè)數(shù)，n為外部區(qū)域的個(gè)數(shù)，prnt：mUv→vUn，ELP=（V，E，Ctrl，link）：X→Y為擴(kuò)展的連接圖。其中，X為內(nèi)部名，Y為外部名，link：XUP->EUY，I=，J=分別為內(nèi)部和外部接口。從動(dòng)態(tài)性方面來(lái)講，Bigraph可以通過(guò)反應(yīng)規(guī)則（ r，r′）對(duì)自身進(jìn)行重配置， Bigraph和一組反應(yīng)規(guī)則可組成Bigraph反應(yīng)系統(tǒng)[3]。

針對(duì)傳統(tǒng)軟件開發(fā)中的缺點(diǎn)，人們提出了面向方面的編程，它能很好地解決上述問(wèn)題，其關(guān)鍵是識(shí)別和分離關(guān)注點(diǎn)[4]。本文基于關(guān)注點(diǎn)分離的思想，將系統(tǒng)中業(yè)務(wù)規(guī)則從業(yè)務(wù)邏輯中分離出來(lái)，通過(guò)定義相關(guān)的業(yè)務(wù)規(guī)則來(lái)決策業(yè)務(wù)邏輯的運(yùn)行和調(diào)整；同時(shí)考慮到軟件系統(tǒng)所處環(huán)境的日益復(fù)雜化，在本文中引入了自適應(yīng)機(jī)制。其體系結(jié)構(gòu)自底向上分為3層：環(huán)境層、規(guī)則層及行為層。其中，環(huán)境層由一些感知構(gòu)件組成，感知構(gòu)件用來(lái)感知環(huán)境的變化，向下輸出上下文事件，并通過(guò)驅(qū)動(dòng)連接件連接到規(guī)則構(gòu)件上。驅(qū)動(dòng)連接件對(duì)獲得的上下文事件進(jìn)行分析，作出相應(yīng)的決策來(lái)建立規(guī)則層模型或者對(duì)規(guī)則層模型進(jìn)行調(diào)整。規(guī)則層主要由一些規(guī)則構(gòu)件所組成，規(guī)則構(gòu)件分為原子規(guī)則構(gòu)件和復(fù)合規(guī)則構(gòu)件，原子規(guī)則構(gòu)件就是一條規(guī)則，而復(fù)合規(guī)則構(gòu)件則是由若干條緊密耦合的規(guī)則通過(guò)某種方式組合而成，這樣可以實(shí)現(xiàn)對(duì)規(guī)則的重用。調(diào)用連接件用來(lái)連接相關(guān)的規(guī)則構(gòu)件和行為構(gòu)件，通過(guò)規(guī)則構(gòu)件中定義的規(guī)則，就可以通過(guò)調(diào)用相關(guān)的行為構(gòu)件來(lái)實(shí)現(xiàn)相應(yīng)的業(yè)務(wù)規(guī)則，或者是對(duì)行為構(gòu)件模型進(jìn)行調(diào)整從而達(dá)到適應(yīng)變化后的規(guī)則模型。面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)如圖1和圖2所示。

在這種體系結(jié)構(gòu)中，存在3種類型的構(gòu)件，分別是：感知構(gòu)件、規(guī)則構(gòu)件及行為構(gòu)件。感知構(gòu)件主要用來(lái)感知環(huán)境的變化，對(duì)外輸出上下文事件；規(guī)則構(gòu)件封裝了一系列規(guī)則，用來(lái)決策行為構(gòu)件的運(yùn)行；行為構(gòu)件就是封裝了相應(yīng)業(yè)務(wù)邏輯的可組裝的軟件單元。同時(shí)也存在5種類型的連接件，分別是：上下文連接件，主要用來(lái)連接一些相關(guān)的感知構(gòu)件；驅(qū)動(dòng)連接件，主要用來(lái)連接感知構(gòu)件和規(guī)則構(gòu)件，通過(guò)感知構(gòu)件輸出的上下文事件來(lái)制定相應(yīng)的業(yè)務(wù)規(guī)則；規(guī)則構(gòu)件，主要用來(lái)連接規(guī)則構(gòu)件；調(diào)用連接件，用來(lái)連接規(guī)則構(gòu)件和行為構(gòu)件，通過(guò)規(guī)則調(diào)用相應(yīng)行為構(gòu)件的運(yùn)行；行為連接件主要是用來(lái)連接相應(yīng)的行為構(gòu)件。最后，在這種體系結(jié)構(gòu)中也存在兩種類型的配置：初始配置和動(dòng)態(tài)重配置。初始配置主要是用來(lái)建立最初的體系結(jié)構(gòu)模型，而動(dòng)態(tài)重配置就是用來(lái)根據(jù)環(huán)境或者是需求的變化對(duì)體系結(jié)構(gòu)模型進(jìn)行調(diào)整。

2 面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)

2.1 AODMSA中構(gòu)件及連接件定義

對(duì)環(huán)境的顯示表示是AODMSA模型實(shí)現(xiàn)軟件自適應(yīng)的基礎(chǔ)，對(duì)環(huán)境的建模已經(jīng)存在多種建模方法[15]，本文主要是采用已經(jīng)被廣泛使用且易被管理的鍵值對(duì)模型。

定義2（上下文）：上下文用來(lái)表示環(huán)境的一個(gè)維度，其定義來(lái)源于相應(yīng)的上下文本體，它是一個(gè)三元組；ctx=（type，name，value）。其中，type用來(lái)表示上下文的類型；name是上下文的名字，value為上下文的值，每一種上下文在一個(gè)確定的時(shí)刻只有一個(gè)確定的值。

定義3（上下文事件）：上下文事件用來(lái)表示上下文在時(shí)間上值的變化，它是一個(gè)三元組；ctxEvt=（ctx，value1，value2）。其中ctx為上述定義中的上下文，value1為ctx在某一個(gè)時(shí)間上的值，value2為ctx在下一個(gè)時(shí)間上的值。通過(guò)比較value1和value2的變化，就可以得到相應(yīng)的上下文事件。

在AODMSA模型中，最重要的一層是規(guī)則層，規(guī)則層由一些規(guī)則構(gòu)件組成，規(guī)則構(gòu)件又可以分為原子構(gòu)件和復(fù)合構(gòu)件，而一個(gè)原子構(gòu)件只包含一條規(guī)則。所謂規(guī)則就是在滿足前置條件的情況下所進(jìn)行的一組操作，而在這一組操作完成之后，又要滿足某種規(guī)定的后置條件。復(fù)合構(gòu)件則是由一組原子構(gòu)件通過(guò)某種方式復(fù)合而成。因此，為了定義規(guī)則層的規(guī)則構(gòu)件，首先要對(duì)規(guī)則進(jìn)行相應(yīng)的定義。而為了定義規(guī)則，首先需要給出前置條件和后置條件的定義。在本文中，將前置條件和后置條件及后面的條件都理解成一個(gè)特定的命題。

定義4（系統(tǒng)命題、規(guī)則）：一個(gè)命題就是定義在一個(gè)特定空間S上的一個(gè)二元組，PROP=（id，trueSet），其中id為命題的唯一標(biāo)識(shí)，而trueSet是該命題為真的所有常量的集合[6]。規(guī)則就是在滿足前置條件下所進(jìn)行的一組操作。因此，規(guī)則定義為一個(gè)二元組，rule=（pre，ops），其中pre表示為一個(gè)前置條件，ops為規(guī)則中所進(jìn)行的一組操作。

定義5（感知構(gòu)件、規(guī)則構(gòu)件及行為構(gòu)件）：感知構(gòu)件是封裝了感知環(huán)境變化手段的可組裝的軟件單元，對(duì)外輸出上下文事件，它是一個(gè)二元組，ctxComp=（ports，body）。其中，ports為感知構(gòu)件的端口集合，每一個(gè)端口定義為一個(gè)二元組（type，control）。其中，type為端口的類型，和上下文的類型相同；control為一個(gè)二元組，control=（provid，reques），分別用來(lái)表示端口是請(qǐng)求端口還是提供端口；body為感知構(gòu)件的內(nèi)部實(shí)現(xiàn)。規(guī)則構(gòu)件是封裝了一系列規(guī)則的可組裝軟件單元，用來(lái)決策行為構(gòu)件的運(yùn)行，它是一個(gè)二元組，ruleComp=（ports，body）。其中，ports為端口的集合，body為規(guī)則構(gòu)件的內(nèi)部實(shí)現(xiàn)，假如一個(gè)規(guī)則構(gòu)件是原子的，那么在body內(nèi)面只包含一條規(guī)則。行為構(gòu)件同樣定義為一個(gè)二元組，behComp=（ports，body）。其中，ports為端口的集合，body為行為構(gòu)件的內(nèi)部表示。

定義6（上下文連接件、驅(qū)動(dòng)連接件、規(guī)則連接件、調(diào)用連接件及行為連接件）：上下文主要用來(lái)連接相關(guān)感知構(gòu)件，對(duì)外向相關(guān)的感知構(gòu)件輸出上下文事件，它是一個(gè)二元組，ctxConn=（ports，ctxComps）。其中，ports為端口的集合，ctxComps為感知構(gòu)件的集合。驅(qū)動(dòng)連接件接收上下文構(gòu)件輸出的上下文事件并依此作出相應(yīng)的決策來(lái)生成相應(yīng)的業(yè)務(wù)規(guī)則，它的定義基于ECA（Event-Condition-Action）模式[5]。它是一個(gè)五元組，driveConn=（cComps，rComps，ports，conditions，actions），其中cComps為感知構(gòu)件集合，rComps為規(guī)則構(gòu)件集合，ports為驅(qū)動(dòng)連接件角色集合，conditions為一系列命題集合，表示施加在環(huán)境上的一系列條件，actions為對(duì)規(guī)則模型所施加的一系列操作。規(guī)則連接件用來(lái)連接規(guī)則構(gòu)件，它是一個(gè)二元組，ruleCon=（ports，rComps），其中ports為規(guī)則連接件角色集合，rComps為規(guī)則構(gòu)件集合。調(diào)用連接件用來(lái)連接規(guī)則構(gòu)件和行為構(gòu)件，它根據(jù)規(guī)則構(gòu)件內(nèi)定義的一些相關(guān)規(guī)則來(lái)生成相應(yīng)的行為構(gòu)件模型或者是對(duì)已經(jīng)生成了的行為構(gòu)件模型進(jìn)行動(dòng)態(tài)調(diào)整，它是一個(gè)三元組，callerCon=（ports，rComps，bComps），其中ports為調(diào)用連接件角色集合，eComps為規(guī)則構(gòu)件集合，bComps為行為構(gòu)件集合。行為連接件用來(lái)連接行為構(gòu)件，它是一個(gè)二元組，bCon=（ports，bComps），其中ports為行為連接件角色集合，bComps為行為構(gòu)件集合。

2.2 面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)描述語(yǔ)言

本文已建立了一個(gè)三層的面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)模型，因而，需要定義出相應(yīng)的體系結(jié)構(gòu)語(yǔ)言（ADL），以便對(duì)AODMSA模型進(jìn)行規(guī)約和分析。軟件體系結(jié)構(gòu)描述語(yǔ)言是對(duì)軟件系統(tǒng)概念架構(gòu)的描述，它必須能夠支持體系結(jié)構(gòu)中的構(gòu)件、連接件及配置3個(gè)基本模塊的顯式規(guī)約[7]。本文考慮到引入自適應(yīng)機(jī)制并且將環(huán)境作為一個(gè)顯式部分引入AODMSA模型中，因此，定義出一種新的體系結(jié)構(gòu)描述語(yǔ)言，它包括對(duì)環(huán)境、構(gòu)件、連接件、配置及系統(tǒng)的描述。部分用EBNF定義的體系結(jié)構(gòu)元素如下：

//單個(gè)系統(tǒng)體系結(jié)構(gòu)的描述，它包含類型聲明、配置聲明及約束聲明3個(gè)部分

：：=System“{“{“，”}*“；”{“，”}*“，” [{“，”}*]”}”

//類型聲明，它包含構(gòu)件類型的聲明和連接件類型的聲明

：：=Type“{“{“，”}*“；”{“，”}*

//類型名字的定義

：：=|：：=ctxComp|ruleComp|

behaviorComp

：：=ctxConn|driveConn|ruleConn|callerConn|behaviorConn

//構(gòu)件的聲明，它分為兩類：原子構(gòu)件和復(fù)合構(gòu)件

原子構(gòu)建是指不具有內(nèi)部結(jié)構(gòu)的構(gòu)件，它可能包含屬性聲明、約束聲明、端口聲明、上下文聲明、規(guī)則聲明及行為聲明，而復(fù)合構(gòu)件由多個(gè)構(gòu)件和連接件組裝而成，在規(guī)約的層次上需要表達(dá)成員之間的組合。在復(fù)合構(gòu)件的聲明中沒(méi)有行為的定義，復(fù)合構(gòu)件的行為由組成其內(nèi)部各構(gòu)件的行為并行組裝而成，當(dāng)一個(gè)構(gòu)件是規(guī)則構(gòu)件時(shí)，同樣如此，只不過(guò)考慮的是規(guī)則。

：：=|

//原子構(gòu)件定義

：：=Component”{“[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；” “}”

//復(fù)合構(gòu)件定義

：：=Component”{“[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；”[]“}”

//上下文聲明

：：=Context “：” “=”

//規(guī)則聲明，包含前置條件、操作聲明

：：=Rule“{”[]“；” “}”

//操作行為聲明，包含順序、循環(huán)、條件3種規(guī)則行為，規(guī)則行為中的行為既可以在同一個(gè)行為構(gòu)件中，也可以發(fā)布在不同的行為構(gòu)件中

：：=“{”{“，” < rule_Behavior >}*“}”

//規(guī)則行為

：：=Sequence“（””，””）”|Paralel“（””，””）”|While“（”“）”“{“”}”|”if“（”“）”“{”“}”[else“{”< rule_Behavior_Statement >] “}”

//規(guī)則行為聲明，用構(gòu)件名加行為聲明組成

：：=< Component_Name >“.”< behavior_Statement >

//前置條件聲明：：=Pre“{”{“，”< condition >}*“}”

：：=“（”“，”“，”“）”|“（”< condition >“，”< condition >“，” “）”

：：= >|<|>=|<=|OR|AND|NOT|（User define）

//行為聲明，它包括發(fā)送信息、接收信息、內(nèi)部行為、啞行為、順序行為、并行行為、選擇行為及循環(huán)行為

：：=Behavior“{”{“，”}*“}”：：=Send“（”“，”“）”|Receive“（”“，”“）”|InternalActivity|SilentActivity|Sequence“（””，””）”|Paralel“（””，””）”|While“（”“）”“{“”}”|”if“（”“）”“{”“}”[else“{”< behavior_Statement >] “}”

//連接件定義，包括屬性聲明、約束聲明、端口聲明及自適應(yīng)聲明

：：=Connection”{“[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“；”[{“，”}*]“}”

//自適應(yīng)操作聲明

：：=While“（”“）”“{”if“（”“）”“{”“}” “}”

：：=“（”“，”“）”|“（” “，” “）”

：：= >|<|>=|<=|OR|AND|NOT|（User define）

//體系結(jié)構(gòu)配置聲明，包括新建構(gòu)件和連接件、刪除構(gòu)件和連接件、添加構(gòu)件和連接件、替換構(gòu)件和連接件，并將兩個(gè)構(gòu)件組裝成一個(gè)復(fù)合構(gòu)件

：：=NewComp”（“”）”|DelComp”（“”）”|AddComp”（“”）”|RelpComp”（“”）”|NewConn”（“”）”|DelConn”（“”）”|AddConn”（“”）”|RelpConn”（“”）”|Attach”（“”.””，””.””）”|Detach”（“”.””，””.””）”|Rely”（“”.””，””.””）”

2.3 AODMSA結(jié)構(gòu)的 Bigraph模型

在給出AODMSA中的構(gòu)件及連接的定義并用EBNF對(duì)它們的結(jié)構(gòu)和行為進(jìn)行規(guī)約之后，將這些定義好的構(gòu)件及連接件映射到Bigraph上，就可以建立起AODMSA的語(yǔ)義模型，然后對(duì)該語(yǔ)義模型進(jìn)行一系列的行為模擬，就可以在實(shí)施實(shí)際的調(diào)整之前獲知調(diào)整后的實(shí)際系統(tǒng)是不是保持諸如完整性、一致性等性質(zhì)，從而減少實(shí)際系統(tǒng)運(yùn)行后期維護(hù)所要付出的代價(jià)及系統(tǒng)在運(yùn)行過(guò)程中所出現(xiàn)的風(fēng)險(xiǎn)。首先，通過(guò)對(duì)AODMSA模型進(jìn)行分析，其包含這樣幾種核心概念：構(gòu)件、連接件、端口、角色、連接、內(nèi)部表示及配置。利用Bigraph理論及定義1，可以很容易地將AODMSA模型中的相關(guān)元素映射到Bigraph上。其映射關(guān)系如表1所示。

定義9（Bigraph擴(kuò)展的反應(yīng)規(guī)則）：擴(kuò)展的反應(yīng)規(guī)則是一個(gè)三元組，ER=（r，r′，constraints），其中r和r′分別為反應(yīng)物和生成物，constraints為在實(shí)施這一條反應(yīng)規(guī)則的過(guò)程中必須滿足的約束條件的集合。

定義10（Bigraph擴(kuò)展反應(yīng)系統(tǒng)）：AODMSA模型的擴(kuò)展Bigraph反應(yīng)系統(tǒng)（EBRS）是一個(gè)二元組，它一組Bigraph及一組反應(yīng)規(guī)則，Bconstruct =（Kconstruct ，Rconstruct ），其中Kconstruct 為控制的集合，Rconstruct 為一組定義9中的擴(kuò)展反應(yīng)規(guī)則。

根據(jù)定義10中的反應(yīng)規(guī)則，可以對(duì)AODMSA結(jié)構(gòu)進(jìn)行初始配置，配置完成后就建立了AODMSA結(jié)構(gòu)的Bigraph模型。之后，根據(jù)環(huán)境變化，驅(qū)動(dòng)連接件作出相應(yīng)決策，對(duì)Bigraph模型中的規(guī)則層進(jìn)行動(dòng)態(tài)調(diào)整，從而實(shí)現(xiàn)雖然業(yè)務(wù)規(guī)則變化快速但是并不需要對(duì)系統(tǒng)中業(yè)務(wù)邏輯進(jìn)行調(diào)整，達(dá)到了對(duì)行為層的一種無(wú)侵入式動(dòng)態(tài)演化的目的。

3 AODMSA結(jié)構(gòu)的Bigraph模型演化完整性驗(yàn)證

通過(guò)上述研究，可以建立起AODMSA結(jié)構(gòu)的Bigraph模型，但是，在建立起模型之后，考慮到軟件系統(tǒng)運(yùn)行環(huán)境可能發(fā)生變化，需要對(duì)模型進(jìn)行動(dòng)態(tài)調(diào)整。而首要問(wèn)題就是需要確定系統(tǒng)實(shí)施調(diào)整之后，該實(shí)際系統(tǒng)是否還能滿足用戶業(yè)務(wù)需求及系統(tǒng)的一系列約束條件能否滿足等。通過(guò)定義10中的擴(kuò)展Bigraph反應(yīng)系統(tǒng)，可以很容易地對(duì)AODMSA結(jié)構(gòu)進(jìn)行動(dòng)態(tài)調(diào)整，但是在調(diào)整過(guò)程中，需要確保不能違反系統(tǒng)中的一系列約束條件，即要保證系統(tǒng)的“完整性”。所以，應(yīng)該在動(dòng)態(tài)調(diào)整過(guò)程中對(duì)所使用的反應(yīng)規(guī)則進(jìn)行判斷，看它們是否違反約束條件，假如在調(diào)整過(guò)程中有一個(gè)反應(yīng)規(guī)則違反了約束條件，那么對(duì)于這一次動(dòng)態(tài)調(diào)整應(yīng)該予以終止。假如在每一步中所實(shí)施的反應(yīng)規(guī)則都滿足約束條件，那么，最后生成的模型也滿足約束條件。

定理1：采用定義10中的EBRS來(lái)對(duì)AODMSA結(jié)構(gòu)的Bigraph模型進(jìn)行調(diào)整，假如每一次的反應(yīng)規(guī)則都滿足約束條件，那么最終調(diào)整后的Bigraph模型的完整性將得到保持。

4 結(jié)語(yǔ)

本文基于關(guān)注點(diǎn)分離思想，將業(yè)務(wù)規(guī)則從業(yè)務(wù)邏輯中分離出，借助于自適應(yīng)思想，建立了三層的面向方面動(dòng)態(tài)模型的體系結(jié)構(gòu)；設(shè)計(jì)了面向方面動(dòng)態(tài)模型體系結(jié)構(gòu)描述語(yǔ)言；通過(guò)將AODMSA模型映射到Bigraph上，從而建立了AODMSA結(jié)構(gòu)的語(yǔ)義模型，并且定義了相應(yīng)的Bigraph反應(yīng)系統(tǒng)，便于對(duì)Bigraph結(jié)構(gòu)模型進(jìn)行動(dòng)態(tài)調(diào)整；最后，通過(guò)定理1可以對(duì)調(diào)整后的系統(tǒng)完整性進(jìn)行驗(yàn)證。但是本文也存在一些不足：本文僅僅對(duì)AODMSA的結(jié)構(gòu)建立了相應(yīng)的語(yǔ)義模型，并未對(duì)AODMSA模型中的行為進(jìn)行建模，當(dāng)然也不能對(duì)系統(tǒng)動(dòng)態(tài)調(diào)整后的一致性進(jìn)行驗(yàn)證，需要在后續(xù)研究中加以改進(jìn)。

參考文獻(xiàn)：

[1] MILNER R.Bigraphical reactive systems：basic theory[C].the International Conference of Mathematicians，2001.

[2] JENSEN O H，MILNER R.Bigraphs and mobile processes（revised） [R].UCAMCLTR580.University of Cambridge，2003.

[3] 許可，王躍宣，吳澄.網(wǎng)格服務(wù)鏈模型的驗(yàn)證分析技術(shù)及應(yīng)用[J].中國(guó)科學(xué)： F輯，2007，37（4）：467485.

[4] MCCARTHY D，DAYAL U.The architecture of an active database management system[J].ACM SIGMOD Record，1989，18（2）：215224.

[5] MEDVIDOVIC N，TAYLOR RN.A classification and comparison framework for software architecture description languages[J].Software Engineering，2000，26（1）：7093.

[6] 陳洪龍，李仁發(fā).基于Bigraph理論的動(dòng)態(tài)演化軟件相關(guān)特性分析與驗(yàn)證方法[J].小型微型計(jì)算機(jī)系統(tǒng)，2010（12）：23052309.

[7] 汪玲，戎玫，張廣泉，等.基于Bigraph的面向方面動(dòng)態(tài)軟件體系結(jié)構(gòu)演化研究[J].計(jì)算機(jī)科學(xué)，2010，37（9）：137140.

（責(zé)任編輯：孫 娟）