軟件體系結(jié)構(gòu)描述語言XYZ-ADL與UML的轉(zhuǎn)換機(jī)制研究.pdf

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

2、格精確，以軟件體系結(jié)構(gòu)描述語言ADL為代表；可視化描述清楚直觀，以UML為代表，兩者在描述軟件體系結(jié)構(gòu)方面具有很強(qiáng)的互補(bǔ)性，于是對ADL和UML結(jié)合問題的研究成為目前軟件體系結(jié)構(gòu)描述領(lǐng)域的熱點(diǎn)。 基于此，本文開展了對基于時序邏輯的軟件體系結(jié)構(gòu)描述語言XYZ／ADL和UML之間的雙向轉(zhuǎn)換問題的研究，通過研究二者之間的轉(zhuǎn)換，實(shí)現(xiàn)將基于時序邏輯的形式化方法與面向?qū)ο蟮目梢暬ＵZ言相結(jié)合描述軟件體系結(jié)構(gòu)，來探討如何將形式化方法應(yīng)用于實(shí)

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