基于csp的面向方面狀態(tài)圖形式化描述方法研究.pdf

1、UML作為面向?qū)ο蠓治龊驮O(shè)計(jì)建模語言的標(biāo)準(zhǔn)，有廣泛的應(yīng)用和擴(kuò)展背景，通過UML的擴(kuò)展機(jī)制使其支持面向方面狀態(tài)圖的建模，但UML建模的狀態(tài)圖采用的是自然語言描述及圖表結(jié)構(gòu)，缺乏形式化的精確語義，不利于系統(tǒng)的求精和驗(yàn)證，從而有必要引入形式化方法對其進(jìn)行研究。 本文首先說明了面向方面存在的優(yōu)點(diǎn)，闡述了面向方面編程的核心思想，并通過形式化語言B的AOP擴(kuò)充以及支持組件設(shè)計(jì)和AOP的形式化方法AO-RT-Z綜述了最近幾年在形式化面向方面的

2、研究工作。然后通過UML擴(kuò)展機(jī)制把面向方面狀態(tài)圖分成核心狀態(tài)圖和方面狀態(tài)圖，利用編織事件映射為織入方法將兩者聯(lián)系起來以實(shí)現(xiàn)面向方面狀態(tài)圖的建模，但原有的織入方法描述只適用于一個(gè)核心組件和一個(gè)方面。本文擴(kuò)展了織入方法的描述，給出了一種描述多個(gè)方面同時(shí)織入核心組件或方面的方法，此方法說明了多個(gè)方面織入核心組件或者方面的次序，為復(fù)雜的面向方面狀態(tài)圖的建模奠定了基礎(chǔ)。 為了對面向方面的狀態(tài)圖進(jìn)行進(jìn)一步的求精和驗(yàn)證，本文給出一種通過CSP