柔性軟件體系結(jié)構(gòu)培訓(xùn)課件

柔性軟件體系結(jié)構(gòu)SoftwareArchitecture目錄THU

SAGroup為何要有柔性？1動(dòng)態(tài)軟件體系結(jié)構(gòu)：行為視角2動(dòng)態(tài)軟件體系結(jié)構(gòu)：反射視角3動(dòng)態(tài)軟件體系結(jié)構(gòu)：協(xié)調(diào)視角4柔性的概念和實(shí)例52為何要有柔性？目前的業(yè)務(wù)動(dòng)機(jī)的需要業(yè)務(wù)動(dòng)機(jī)要求軟件可以快速改變自身的體系結(jié)構(gòu)以適應(yīng)新的要求常規(guī)的“可擴(kuò)展性”已經(jīng)逐漸不能滿足快速變化的需要THU

SAGroup3柔性的要求一個(gè)可以進(jìn)行柔性變化的軟件需要：在運(yùn)行時(shí)做出體系結(jié)構(gòu)的改變?cè)诟淖冎靶枰ｒ?yàn)將要做出的改變一方面能夠滿足需要；另一方面能夠被驗(yàn)證是正確的可感受運(yùn)行上下文（環(huán)境）的改變來(lái)自行進(jìn)行體系結(jié)構(gòu)的改變可以通過(guò)一些規(guī)則對(duì)軟件的柔性加以限制THU

SAGroup4ChangeableAdaptable柔性的代價(jià)要實(shí)現(xiàn)柔性軟件體系結(jié)構(gòu)必須在運(yùn)行時(shí)顯式的維護(hù)體系結(jié)構(gòu)模型信息實(shí)現(xiàn)自適應(yīng)機(jī)制實(shí)現(xiàn)自適應(yīng)校驗(yàn)機(jī)制軟件結(jié)構(gòu)高度構(gòu)件化THU

SAGroup5總之，對(duì)軟件運(yùn)行帶來(lái)冗余開(kāi)銷，對(duì)性能和復(fù)雜性產(chǎn)生負(fù)面影響關(guān)鍵是要進(jìn)行在系統(tǒng)功能和柔性之間進(jìn)行權(quán)衡動(dòng)態(tài)軟件體系結(jié)構(gòu)什么是動(dòng)態(tài)軟件體系結(jié)構(gòu)(DynamicSoftwareArchitecture,DSA)？如果說(shuō)軟件體系結(jié)構(gòu)可以被簡(jiǎn)化的看作為“一組運(yùn)行時(shí)構(gòu)件、連接器和它們之間關(guān)系的集合”，那么動(dòng)態(tài)軟件體系結(jié)構(gòu)就是“一組可在運(yùn)行時(shí)變化的運(yùn)行時(shí)構(gòu)件、連接器和它們之間關(guān)系的集合”為什么需要?jiǎng)討B(tài)軟件體系結(jié)構(gòu)？解決柔性軟件體系結(jié)構(gòu)中的“可變性”（Changeable）問(wèn)題。THU

SAGroup6動(dòng)態(tài)性的級(jí)別THU

SAGroup7動(dòng)態(tài)性的級(jí)別級(jí)別1交互動(dòng)態(tài)性

（interactivedynamism）要求數(shù)據(jù)在固定的結(jié)構(gòu)下動(dòng)態(tài)交互級(jí)別2“結(jié)構(gòu)動(dòng)態(tài)性”（structuraldynamism）允許對(duì)結(jié)構(gòu)進(jìn)行修改，通常的形式是構(gòu)件和連接器實(shí)例的添加和刪除。特別的，本級(jí)別又常被稱為“動(dòng)態(tài)重配置”(dynamicreconfiguration)。級(jí)別3“體系結(jié)構(gòu)動(dòng)態(tài)性”(architecturaldynamism)，這種動(dòng)態(tài)性允許體系結(jié)構(gòu)用以定義所有體系結(jié)構(gòu)元素的基礎(chǔ)結(jié)構(gòu)發(fā)生改變，例如構(gòu)件和連接器類型。THU

SAGroup8目錄THU

SAGroup為何要有柔性？1動(dòng)態(tài)軟件體系結(jié)構(gòu)：行為視角2動(dòng)態(tài)軟件體系結(jié)構(gòu)：反射視角3動(dòng)態(tài)軟件體系結(jié)構(gòu)：協(xié)調(diào)視角4柔性的概念和實(shí)例59行為視角軟件體系結(jié)構(gòu)的描述可以被拆分為兩部分：與結(jié)構(gòu)相關(guān)的描述與行為相關(guān)的描述。在動(dòng)態(tài)軟件體系結(jié)構(gòu)中的重點(diǎn)是那些在運(yùn)行時(shí)對(duì)結(jié)構(gòu)進(jìn)行改變的行為。改變系統(tǒng)拓?fù)浣Y(jié)構(gòu)添加、刪除構(gòu)件實(shí)例……THU

SAGroup10抽象中的行為在進(jìn)程代數(shù)中，以一種序列化的方式執(zhí)行的一系列行為被抽象為進(jìn)程（Process）。行為的交互被簡(jiǎn)化為進(jìn)程的合成。CCSCSPπ-CalculusTHU

SAGroup11Process1DescriptionProcess2DescriptionOperationofProcessesInteractionInteractedorconcurrentprocessValidorNot

？π-演算π-演算：為移動(dòng)系統(tǒng)提出的演算系統(tǒng)一階π-演算(first-orderπ-calculus):解決連接移動(dòng)性問(wèn)題高階π-演算(high-orderπ-calculus):解決進(jìn)程本身的移動(dòng)問(wèn)題THU

SAGroup12π-演算文法0

表示停止活動(dòng)。它表示不做任何事的進(jìn)程，通常用來(lái)作為表達(dá)式的末尾。π

是代表活動(dòng)的前綴。當(dāng)一個(gè)前綴完成它的動(dòng)作之后，后續(xù)的進(jìn)程就會(huì)繼續(xù)執(zhí)行。+(求和操作符)的意思是進(jìn)行選擇。如果兩個(gè)進(jìn)程P和P’用這個(gè)符號(hào)進(jìn)行連接，他們之中只有一個(gè)可以執(zhí)行，另一個(gè)被忽略掉。|(并行合成操作符)是指并行的執(zhí)行。P|P’的意思是這兩個(gè)進(jìn)程并行執(zhí)行，他們可以利用共享的名稱進(jìn)行通訊。ν(限制操作符)用以限制名稱的作用域。νzP

的意思是名稱z僅僅在進(jìn)程P中可以使用。進(jìn)程P也不可以用z與外界環(huán)境進(jìn)行通訊。!(重復(fù)操作符)是一種對(duì)重復(fù)的簡(jiǎn)化寫(xiě)法。它等價(jià)于一個(gè)進(jìn)程總可以生成下一個(gè)同樣的進(jìn)程，即一個(gè)進(jìn)程反復(fù)的執(zhí)行下去。THU

SAGroup13π-演算文法(輸出前綴)意為“通過(guò)名稱x發(fā)送名稱y”。x(z)(輸入前綴)意為“通過(guò)名稱x接受名稱z”。τ(不可見(jiàn)前綴)表示對(duì)后續(xù)進(jìn)程的不可見(jiàn)動(dòng)作。例如，τ.P

會(huì)演化為P，在此期間不會(huì)與外界環(huán)境進(jìn)行交互。[boolean]π(條件前綴)當(dāng)boolean表達(dá)式為真時(shí)執(zhí)行前綴π。這種前綴的表達(dá)式通常分為兩類，一類是匹配條件，形式是[x=y]；另一類是非匹配條件，形式是[x≠y]。THU

SAGroup14π-演算實(shí)例一個(gè)固定服務(wù)器S，一個(gè)起中介作用的移動(dòng)電話A和另一部通過(guò)A連接到S的電話B。表示式：意為：一方面，A通過(guò)b將連接a發(fā)送到外界；另一方面B通過(guò)b收到了連接a，然后通過(guò)此連接或者發(fā)送d，或者接收e。（我們假設(shè)d是B用來(lái)訪問(wèn)某種數(shù)據(jù)的連接，而e是從S中訪問(wèn)數(shù)據(jù)的連接，d和e在圖中均未畫(huà)出）。經(jīng)過(guò)演算規(guī)得到：THU

SAGroup15π-演算類型將一個(gè)類型賦給一個(gè)敏成可以被寫(xiě)作a:T這里a是一個(gè)名稱，被稱為“委派名稱”（nameofassignment）T是一個(gè)類型，稱為“委派類型”（typeofassignment）π-演算中的類型值類型連接類型行為類型（進(jìn)程的類型）THU

SAGroup16高階π-演算高階π-演算：在進(jìn)程之間傳遞進(jìn)程輸出前綴形式：經(jīng)由名稱a發(fā)送（具有類型Ｔ的）進(jìn)程P，然后執(zhí)行進(jìn)程Q輸入前綴形式：經(jīng)由名稱a接受（具有類型T的）進(jìn)程X，然后執(zhí)行進(jìn)程Q類型T在無(wú)關(guān)緊要的時(shí)候可以省略THU

SAGroup17高階π-演算實(shí)例S發(fā)出了一個(gè)能夠通過(guò)b傳遞e的進(jìn)程。A經(jīng)由a接收了這個(gè)進(jìn)程，然后這個(gè)進(jìn)程被激活。這樣A就并行的執(zhí)行兩方面動(dòng)作，一是A自己b(u)，另一方面則是激活的進(jìn)程。這樣的行為表示為：經(jīng)過(guò)演算得到等價(jià)的最終結(jié)果：THU

SAGroup18進(jìn)程Xπ-ADLπ-ADL元素構(gòu)件、連接器、行為構(gòu)件和連接器都由一組外部端口和內(nèi)部行為來(lái)表示π-ADL中的端口端口被描述成一組附加了通訊協(xié)議的連接。而連接則是交互中的最小單位，數(shù)據(jù)可以經(jīng)由連接進(jìn)行傳遞。連接的種類：輸入、輸出、輸入-輸出THU

SAGroup19π-ADL中的連接和π-演算中的連接可以被看作是對(duì)等物。π-ADL眼中的軟件體系結(jié)構(gòu)THU

SAGroup20π-ADL實(shí)例THU

SAGroup21component

DataConverter

isabstraction(){

typeIDis

Natural.typeNameis

String.typeInfois

Any.

type

StudentInfoEntry

is

tuple[ID,Name,Info].

type

SimpleStudentInfoEntry

is

tuple[ID,Name].

portincomingis{connectioninis

in(StudentInfoEntry)}.

portoutgoingis{connectionoutis

out(SimpleStudentInfoEntry)}.

behavior

is{

via

incoming::in

receive

entry:StudentInfoEntry.

projectentryasid,name,info.

via

outgoing::out

send

tuple(id,name) }}assuming{

protocol

is{( via

incoming::in

receive

any.true*.

via

outgoing::out

sendany)*}}π-ADL實(shí)例構(gòu)件解釋定義一個(gè)構(gòu)件DataConverter，它將包含學(xué)生信息轉(zhuǎn)換為分離的數(shù)據(jù)。它首先定義了5種值類型，其中三種是基本值類型的別名，兩種使用tuple來(lái)構(gòu)造。然后兩個(gè)端口被定義了。端口incoming負(fù)責(zé)通過(guò)輸入連接in接受學(xué)生數(shù)據(jù)。端口outcoming則被用來(lái)利用連接out輸出分離好的數(shù)據(jù)。描述行為的那段（behavior）描述了DataConverter是怎樣工作的。它接收StudentInfo類型的值對(duì)象，將它映射到三個(gè)域（id,name

和info）。然后最終發(fā)送出只包含學(xué)生ID和名稱的簡(jiǎn)單對(duì)象。之后的協(xié)議（protocol）要求在接收下一個(gè)StudentInfo對(duì)象之前，DataConverter必須先把當(dāng)前簡(jiǎn)化的學(xué)生信息對(duì)象發(fā)出去。THU

SAGroup22compose關(guān)鍵字compose是π-ADL動(dòng)態(tài)性的關(guān)鍵compose等同于π-演算中的“|”操作符compose相當(dāng)于可以動(dòng)態(tài)改變軟件系統(tǒng)的配置與compose相對(duì)，π-ADL提供了decompose關(guān)鍵字THU

SAGroup23π-ADL動(dòng)態(tài)性實(shí)例釋義：如果x的值比1大，則一個(gè)Client構(gòu)件，一個(gè)Server構(gòu)件，以及一個(gè)Channel連接器被創(chuàng)建出來(lái)，之后它們的配置也被創(chuàng)建了。語(yǔ)義上它們?nèi)咄瑫r(shí)按照各自的定義開(kāi)始運(yùn)行。此語(yǔ)句可被執(zhí)行多次，表示很多份Client-Server-Channel實(shí)例組被產(chǎn)生并運(yùn)行。產(chǎn)生的實(shí)例可以被decompose。THU

SAGroup24behavioris{ …

ifx>1

then

compose{cisClient()andsisServer()andach

isChannel()}

where{

c::outClient

unifies

ch::inChannel

and

s::inServer

unifies

ch::outChannel }

else

done …}unifies關(guān)鍵字指出哪些連接是等價(jià)的目錄THU

SAGroup為何要有柔性？1動(dòng)態(tài)軟件體系結(jié)構(gòu)：行為視角2動(dòng)態(tài)軟件體系結(jié)構(gòu)：反射視角3動(dòng)態(tài)軟件體系結(jié)構(gòu)：協(xié)調(diào)視角4柔性的概念和實(shí)例525反射視角什么是反射?反射是指在自身上進(jìn)行推導(dǎo)和實(shí)施某種行為的能力首先能“看得到”自己其次能“修改”自己THU

SAGroup26代碼級(jí)反射的例子釋義：根據(jù)輸入?yún)?shù)中的字符串找到一個(gè)類，并將這個(gè)類中所有的方法名輸出到控制臺(tái)上。THU

SAGroup27import

java.lang.reflect.*;public

class

MethodsDumper{

publicstaticvoid

main(String

args[]){

try{ Classc=Class.forName(args[0]); Methodm[]=c.getDeclaredMethods();

for(inti=0;i<m.length;i++)

System.out.println(m[i].toString()); }catch(Throwablee){

System.err.println(e); } }}反射的形式化模型一個(gè)基于層的模型除最頂層，每層都是其上一層的基層(base-level)除最低層，每層都是其下一層的元層(meta-level)反射模型的兩種基本操作是從基層到元層的提升過(guò)程，叫做“精化”（reification）；從元層到基層的下降過(guò)過(guò)程，稱為“反射”（reflection）THU

SAGroup28…level-4level-3level-2level-1pairofbase-andmeta-levelpairofbase-andmeta-levelpairofbase-andmeta-levelpairofbase-andmeta-level軟件體系結(jié)構(gòu)的反射模型MARMOLMARMOL(Meta

ARchitecture

MOdeL)元層的層數(shù)是不受限制的。使用MARMOL描述的體系結(jié)構(gòu)至少由一個(gè)元層和一個(gè)基層組成。MARMOL允許多層系統(tǒng)的出現(xiàn)，其中相鄰的兩層就被認(rèn)為是元層-基層對(duì)。任何元層-基層對(duì)的關(guān)系不受限制。對(duì)某個(gè)元層-基層對(duì)進(jìn)行理解和轉(zhuǎn)換的工作與MARMOL無(wú)關(guān)。這些內(nèi)容應(yīng)當(dāng)定義在每一個(gè)子層使用的模型上。在極端情況下，處于元層-基層對(duì)的兩層甚至可以毫無(wú)關(guān)系。每個(gè)在基層的構(gòu)建必須有一個(gè)相關(guān)聯(lián)的“元空間”（meta-space）。元空間負(fù)責(zé)維護(hù)所有和這個(gè)構(gòu)件有關(guān)的元信息。元空間是由元構(gòu)件（meta-components），元層構(gòu)件（meta-levelcomponent）和它們的組合關(guān)系構(gòu)成。元構(gòu)件是構(gòu)件進(jìn)行反射的直接對(duì)照物。一個(gè)基構(gòu)件被稱為它對(duì)應(yīng)元構(gòu)件的參照（referent）或者化身（avatar）。元層構(gòu)件是負(fù)責(zé)在元層操作元信息的構(gòu)件。在元空間和它對(duì)應(yīng)的基構(gòu)件之間有帶方向的聯(lián)系。從基層到元層的稱為具體化（reification），從元層到基層的稱為反射（reflection）。體系結(jié)構(gòu)構(gòu)件類型可以被看作元構(gòu)件。動(dòng)態(tài)性的表達(dá)能從這里獲益。THU

SAGroup29體系結(jié)構(gòu)反射過(guò)程中的動(dòng)態(tài)性表現(xiàn)THU

SAGroup30基于MARMOL的描述語(yǔ)言PilarTHU

SAGroup31構(gòu)件定義語(yǔ)法\componentname[<parameters>]( {[\interface]

(interfacedefinitions)}

[\config( {instancesdeclarations}|

[\bind( {bindingdeclarations})]

)] {\reifyexplicitreification}

[\constraint( {dynamicconstraint})])

Pilar的反射模型THU

SAGroup32Pilar描述實(shí)例釋義：構(gòu)件Multiplier：它有兩個(gè)端口：A和B。行為是先通過(guò)端口A讀取一個(gè)值，然后再通過(guò)端口B將讀入值的兩倍發(fā)送出。問(wèn)號(hào)表示輸入，嘆號(hào)表示輸出。關(guān)鍵字\rep表示這個(gè)行為不斷的重復(fù)。構(gòu)件Logger：它在條件滿足時(shí)會(huì)記錄日志。它利用守護(hù)關(guān)鍵字\when定義了一個(gè)監(jiān)控器。同時(shí)利用關(guān)鍵字avatar實(shí)現(xiàn)了與其對(duì)應(yīng)的化身構(gòu)件的訪問(wèn)。當(dāng)Logger的化身偵測(cè)到端口A上有輸入時(shí)，它就利用端口C記錄日志。為了實(shí)現(xiàn)記錄日志的行為，Logger化身必須保證定義端口A。THU

SAGroup33\componentMultiplier(

(portA|portB)

\constraint(\rep(A?(x);B!(2x))))\componentLogger(

(portC) \constraint(\rep(\whenavatar.A?(z)

(C!(z)))))\component

LoggedMultiplier(

\config(mul:Multiplier)

\reify(mul:Logger))Pilar描述實(shí)例（接上頁(yè)……）構(gòu)件LoggedMultiplier。在LoggeMultiplier中聲明了構(gòu)件Multiplier的實(shí)例mul。另外，mul與元構(gòu)件Logger保持具體化聯(lián)系。因此，在Logger中定義的行為會(huì)在此實(shí)例中反映出來(lái)。mul的整體效果就是當(dāng)從端口A中收到一個(gè)值后，就通過(guò)端口B發(fā)送出接收值得兩倍，同時(shí)將這個(gè)接收值得副本通過(guò)端口C發(fā)出，用以記錄日志。THU

SAGroup34基于MARMOL的描述語(yǔ)言Pilar操作描述\new(c:T)創(chuàng)建類型T的新實(shí)體c\delc刪除實(shí)體c\aliaspasq端口p的作用域更改，as表示改名\hidep隱藏端口pavatar引用當(dāng)前元構(gòu)件的化身self引用元構(gòu)件本身\reifyR(c:m)在化身c和元實(shí)體m之間創(chuàng)建具體化聯(lián)系\findrR(c:m)尋找c和m之間的具體化聯(lián)系\nullrR判斷R是否是具體化聯(lián)系THU

SAGroup35動(dòng)態(tài)體系結(jié)構(gòu)操作Pilar的動(dòng)態(tài)性描述實(shí)例THU

SAGroup36\componentDB((portdata))\componentServer((port

data_source))\component

DataChannel( (portinput|portoutput)

\constraint(\reify

R(avatar:CommonLink(avatar.input|avatar.output);output?(W);\delR;\reifyS(avatar:CachedLink(avatar.input|avatar.output)))\component

CommonLink( (portinput|portoutput)

\constraint(\rep(avatar.input?(X);avatar.output!(X)))\component

CachedLink( (portinput|portoutput)

\config(ca:Cache|comm1:CommonLink(c.input|comm1.output)|comm2:CommonLink(comm2.input|c.output)))\componentCache( (portinput|portoutput)

\constraint{ignorehere})\componentSystem(

\config(d:DB|s:Server|c:DataChannel(d.data|s.data_source)))注意?。ilar的動(dòng)態(tài)性描述實(shí)例釋義：以上描述定義了三個(gè)連接在一起的構(gòu)件：DB的實(shí)例d，Server的實(shí)例s，和DataChannel的實(shí)例c。DataChannel的約束規(guī)定c與元構(gòu)件CommonLink建立具體化聯(lián)系。而CommonLink的行為（由CommonLink的約束規(guī)定）是簡(jiǎn)單的把從input端口中接收到的數(shù)據(jù)通過(guò)output端口轉(zhuǎn)發(fā)。當(dāng)c偵測(cè)到信號(hào)“W”到來(lái)時(shí)（W的含義是s發(fā)現(xiàn)訪問(wèn)過(guò)載時(shí)發(fā)出的警告），c的具體化構(gòu)件CommonLink被刪除了，同時(shí)c動(dòng)態(tài)的與CachedLink建立具體化聯(lián)系。在此期間Cache的實(shí)例ca被動(dòng)態(tài)的創(chuàng)建，并和兩個(gè)CommonLink的實(shí)例comm1和comm2連接上。從這個(gè)過(guò)程中可以看到這并不是簡(jiǎn)單的添加、刪除或構(gòu)件替換，而是體系結(jié)構(gòu)的綜合改變。最終的結(jié)果是系統(tǒng)中引入了緩存，提高了服務(wù)器的性能。THU

SAGroup37Pilar的動(dòng)態(tài)性描述實(shí)例注：為了避免過(guò)分的混亂，我們將這些具體化類型在圖中用斜體表示，而并不把它們畫(huà)在元層中。此圖把實(shí)際上處于多個(gè)元層上的元構(gòu)件畫(huà)到一個(gè)元層中。圖中的實(shí)線表示常規(guī)的綁定關(guān)系，虛線則表示具體化聯(lián)系。THU

SAGroup38目錄THU

SAGroup為何要有柔性？1動(dòng)態(tài)軟件體系結(jié)構(gòu)：行為視角2動(dòng)態(tài)軟件體系結(jié)構(gòu)：反射視角3動(dòng)態(tài)軟件體系結(jié)構(gòu)：協(xié)調(diào)視角4柔性的概念和實(shí)例539協(xié)調(diào)視角何謂協(xié)調(diào)模型（CoordinationModel）“通過(guò)將活動(dòng)的部分粘連在一起構(gòu)建程序的過(guò)程”——(Gelemter,D.andN.Carriero."Coordinationlanguagesandtheirsignificance."CommunicationsoftheACM35(2):96,1992)協(xié)調(diào)模型特征：將系統(tǒng)看作兩種不同活動(dòng)的組合進(jìn)行實(shí)際計(jì)算的部分：若干進(jìn)程利用資源進(jìn)行計(jì)算協(xié)調(diào)部分：負(fù)責(zé)管理計(jì)算進(jìn)程的通訊和協(xié)作THU

SAGroup40協(xié)調(diào)活動(dòng)活動(dòng)活動(dòng)邏輯上實(shí)現(xiàn)上協(xié)調(diào)計(jì)算計(jì)算協(xié)調(diào)協(xié)調(diào)協(xié)調(diào)計(jì)算協(xié)調(diào)計(jì)算協(xié)調(diào)計(jì)算經(jīng)典協(xié)調(diào)模型Linda以TupleSpace為協(xié)調(diào)中樞數(shù)據(jù)被抽象為T(mén)uplepassivetuple,activetupleactualelement,formalelement對(duì)TupleSpace的原子操作out(t)in(t)rd(t)eval(p)優(yōu)勢(shì)異步通訊THU

SAGroup41可能會(huì)被鎖?。╞locked）Linda模型THU

SAGroup42使用Linda解決哲學(xué)家問(wèn)題THU

SAGroup43#defineNUM5void

philosopher(inti){

while(true) { think();

in(“ticket”);

in(“fork”,i);

in(“fork”,(i+1)%NUM); eat();

out(“fork”,i);

out(“fork”,(i+1)%NUM);

out(“ticket”); }}intmain(){

inti;

for(i=0;i<NUM;i++) {

out(“fork”,i);

eval(philosopher(i));

if(i<NUM–1)

out(“ticket”); } return0;}本代碼采用C-Linda實(shí)現(xiàn)由于只發(fā)放了NUM-1個(gè)ticket，所以永遠(yuǎn)不會(huì)死鎖，并且可以達(dá)到最大的并發(fā)度。LIMELIME：LindaInaMobileEnvironment特別考慮位置問(wèn)題每個(gè)MobileAgent(MA)擁有一個(gè)自己的TupleSpace（InterfaceTupleSpace,ITS)多個(gè)ITS動(dòng)態(tài)組成SharedTupleSpace設(shè)置多個(gè)級(jí)別的TupleSpace，以滿足邏輯移動(dòng)性和物理移動(dòng)性的需要。每個(gè)tuple具有兩個(gè)位置參數(shù)，分別是currentlocation和destinationlocation。兩個(gè)參數(shù)不同的tuple被稱為misplacedtuple.定義了Reaction機(jī)制兩種模式：ONCE和ONCEPERTUPLE兩種語(yǔ)義：StrongReaction和WeakReactionTHU

SAGroup44LIME的多級(jí)TupleSpaceTHU

SAGroup45基于位置信息的out操作THU

SAGroup46當(dāng)ω初始時(shí)無(wú)法連接的情況下out[λ](t)的執(zhí)行過(guò)程目錄THU