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

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

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

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