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

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

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