Besides , uml is the visualized modeling language , with which developer can exactly describe the architecture and details of software system in the form of diagram , which will promote the communication between customers and developers 此外, uml作為一種可視化建模語言,使用它的開發(fā)人員能夠用圖形清晰地描述系統(tǒng)體系結(jié)構(gòu)及其所有細(xì)節(jié),有利于用戶與開發(fā)人員之間的交流。
Unified modeling language ( uml ) is a graphical modeling language with powerful ability and intuitionistic meaning . it provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers 統(tǒng)一建模語言( unifiedmodelinglanguage , uml )是一種描述能力強(qiáng)大且涵義直觀的可視化建模語言,它提供多種圖元從不同角度和應(yīng)用層次刻畫系統(tǒng)特性以及復(fù)雜的運行環(huán)境。
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 本文通過將面向?qū)ο蟮?font color="#cc0033">可視化建模語言與基于時序邏輯的形式化方法結(jié)合起來描述軟件體系結(jié)構(gòu),對軟件體系結(jié)構(gòu)描述研究、 uml形式語義研究和形式化方法在軟件開發(fā)中的應(yī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 基于此,本文開展了對基于時序邏輯的軟件體系結(jié)構(gòu)描述語言xyz / adl和uml之間的雙向轉(zhuǎn)換問題的研究,通過研究二者之間的轉(zhuǎn)換,實現(xiàn)將基于時序邏輯的形式化方法與面向?qū)ο蟮?font color="#cc0033">可視化建模語言相結(jié)合描述軟件體系結(jié)構(gòu),來探討如何將形式化方法應(yīng)用于實際的軟件開發(fā)過程中,這樣不但能促進(jìn)對當(dāng)前軟件主流技術(shù)的研究,而且能促進(jìn)對形式化開發(fā)方法的研究。