軟件體系結構描述語言XYZ-ADL與UML的轉換機制研究.pdf

1、軟件體系結構作為20世紀90年代國際軟件工程領域出現(xiàn)的一個新興的重要研究方向，已經成為軟件工程界的一個研究熱點，同時也已發(fā)展成為軟件工程的一個獨立研究分支。軟件體系結構描述是軟件體系結構中一個非常重要的研究內容。如何用適當?shù)姆椒ò衍浖w系結構詳細精確地描述出來，這不僅影響著開發(fā)人員之間對軟件體系結構的理解和交流，更影響到后續(xù)分析、求精、驗證等工作。 目前主流的軟件體系結構描述方法有兩類，分別是形式化描述和可視化描述。形式化描述嚴

2、格精確，以軟件體系結構描述語言ADL為代表；可視化描述清楚直觀，以UML為代表，兩者在描述軟件體系結構方面具有很強的互補性，于是對ADL和UML結合問題的研究成為目前軟件體系結構描述領域的熱點。 基于此，本文開展了對基于時序邏輯的軟件體系結構描述語言XYZ／ADL和UML之間的雙向轉換問題的研究，通過研究二者之間的轉換，實現(xiàn)將基于時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟件體系結構，來探討如何將形式化方法應用于實

3、際的軟件開發(fā)過程中，這樣不但能促進對當前軟件主流技術的研究，而且能促進對形式化開發(fā)方法的研究。 本文具體工作如下：從XYZ／ADL到UML的轉換，首先定義了XYZ／ADL的語義基礎——XYZ／E的基本結構到UML的轉換規(guī)則，接著通過分析XYZ／ADL的設計元素和UML建模元素之間的語義相似，定義了二者之間的轉換規(guī)則，并用UML的擴展機制和對象約束語言OCL描述進一步的約束來完善相應的轉換過程：另外對于從UML到XYZ／ADL的轉