基于π演算的軟件體系結(jié)構(gòu)形式化研究.pdf

1、1.基于移動進(jìn)程代數(shù)π演算,提出軟件體系結(jié)構(gòu)形式化描述語言πADL,形式化描述軟件系統(tǒng)的結(jié)構(gòu)和行為.提出端口組裝和六種構(gòu)件組裝機制及相應(yīng)的組裝推導(dǎo)算法,以有效支持體系結(jié)構(gòu)層次化配置.2.對動態(tài)體系結(jié)構(gòu)進(jìn)行研究,提出πADL描述動態(tài)體系結(jié)構(gòu)的方法和相應(yīng)的形式語義.該方法運用獨立的π進(jìn)程描述動態(tài)配置為并,并與系統(tǒng)的計算行為交互,能夠描述動態(tài)體系結(jié)構(gòu)的諸多要素,包括動態(tài)演化的起因、時間、操作、非瞬時特性、斷點繼續(xù)執(zhí)行等.3.對體系結(jié)構(gòu)精化進(jìn)行

2、研究,指出復(fù)合構(gòu)件層次規(guī)約存在的不足,提出復(fù)合行為和體系結(jié)構(gòu)行為精化的概念、規(guī)約的方法和法則及推導(dǎo)算法,確保精化過程中高層體系結(jié)構(gòu)的行為特性得到保持,并自動生成低層體系結(jié)構(gòu).4.對體系結(jié)構(gòu)實現(xiàn)進(jìn)行研究,指出運用現(xiàn)有構(gòu)件技術(shù)實現(xiàn)體系結(jié)構(gòu)存在的問題,分析體系結(jié)構(gòu)領(lǐng)域和構(gòu)件技術(shù)領(lǐng)域中軟件構(gòu)件的特點,提出面向體系結(jié)構(gòu)的構(gòu)件接口模型AOCIM,形式化給出AOCIM兩級接口行為協(xié)議規(guī)約的方法,用以支持體系結(jié)構(gòu)的實現(xiàn).5.對體系結(jié)構(gòu)分析進(jìn)行研究,基于