UML狀態(tài)機的形式化語義研究.pdf

1、目前,很多機構和個人都在從事UML的形式語義研究,他們試圖通過對UML的研究來對UML的未來產生影響.這些機構和個人所采用的方法主要是補充法和具有面向對象擴展的形式語言方法.這兩種方法各具有優(yōu)點,但是也存在不足.在補充法中所使用的形式化語言不具有面向對象的特征,不能很好地和當前實踐相結合,而具有面向對象擴展的形式語言方法又不能直接對UML模型的語義進行形式化,影響了讀者對UML模型形式化的理解.針對以上不足,作者將上述兩種方法結合起來,

2、提出了一種新的形式化狀態(tài)機語義的方法,即首先對UML狀態(tài)機的元模型的語法結構進行分析,然后通過具有面向對象特征的RAISE(Rigorous Approach to Industry SoftwareEngineering)的說明語言RSL(RAISE Specification Language)直接對UML狀態(tài)機的操作語義進行形式化.其中在對語法結構分析這一部分中,作者通過提出一個狀態(tài)層次結構對UML狀態(tài)機的各種狀態(tài)及其間的相互關系

3、進行分析,然后依次對事件、轉換的結構進行分析,最后對UML狀態(tài)機的語法結構進行了總結性形式化描述.在對UML狀態(tài)機的"運行到完成"這一基本操作的語義進行形i式化中,作者運用RSL語言,依次對轉換的成立、轉換的沖突、沖突的解決、轉換的選擇的沿義進行了形式化描述,并最終提出一個UML狀態(tài)機"運行到完成"操作的算法.通過上述這兩部分的結合,從而提出了一個完整的UML狀態(tài)機語義形式化的新方法.最后,作者通過一個實例說明UML狀態(tài)機語義的形式化描