This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development 本文通過將面向對象的可視化建模語言與基于時序邏輯的形式化方法結合起來描述軟件體系結構,對軟件體系結構描述研究、 uml形式語義研究和形式化方法在軟件開發(fā)中的應用等方面都有一定的推動作用。
Based on these , this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2 . 0 and xyz / adl . in this paper , the disadvantage of several main methods of software architectural description is analysed , the advantage of uml 2 . 0 compared with uml 1 . x in the software architecture description is analysed , the corresponding relationship between uml 2 . 0 and xyz / adl in the architectural description is given and uml 2 . 0 model elements which used to describe the according architectural conception are determined , then a new way to describe software architecture which combine uml 2 . 0 and xyz / adl through defining the semantics of xyz / e for uml 2 . 0 is composed . in order to realize this method , the formal semantics of uml 2 . 0 sequence diagram and state diagram based on xyz / e are defined . in final , the arcitectural description of a simple dask manager system which uses our method is given 本文分析和比較了當前國內外常用的軟件體系結構描述方法,指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟件體系結構描述方面的優(yōu)勢,確定了用uml2 . 0描述軟件體系結構概念元素所使用的相關模型元素,給出了uml2 . 0與xyz / adl在體系結構描述中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義,把uml2 . 0與xyz / adl結合起來描述軟件體系結構的新方法,并分別定義了uml2 . 0的順序圖和狀態(tài)圖的xyz / e時序邏輯語義;最后通過對一個簡單的任務管理系統(tǒng)的體系結構進行描述,把本文提出的結合思想運用到實例系統(tǒng)的描述當中。
So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method 基于此,本文開展了對基于時序邏輯的軟件體系結構描述語言xyz / adl和uml之間的雙向轉換問題的研究,通過研究二者之間的轉換,實現(xiàn)將基于時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟件體系結構,來探討如何將形式化方法應用于實際的軟件開發(fā)過程中,這樣不但能促進對當前軟件主流技術的研究,而且能促進對形式化開發(fā)方法的研究。