軟件構(gòu)架驅(qū)動(dòng)的分布式系統(tǒng)開(kāi)發(fā)方法與支持工具研究.pdf

1、本研究以陜西省教育廳重大產(chǎn)業(yè)化項(xiàng)目(編號(hào)01zc26)為背景完成，該項(xiàng)目已于2004年12月通過(guò)驗(yàn)收，專家認(rèn)為項(xiàng)目總體上達(dá)到國(guó)內(nèi)先進(jìn)水平，在將形式化方法與可視化結(jié)合用于分布式軟件構(gòu)架建模方面的研究成果具有創(chuàng)新性。首先分析了SA和CBSD現(xiàn)狀及所存在的問(wèn)題，然后對(duì)構(gòu)架指導(dǎo)的基于構(gòu)件組裝的分布式系統(tǒng)開(kāi)發(fā)做了如下三個(gè)方面研究工作： 1.提出了一種以構(gòu)架為指導(dǎo)，面向構(gòu)件組裝的軟件開(kāi)發(fā)方法，把構(gòu)架自頂向下的指導(dǎo)和自底向上基于構(gòu)件的組裝結(jié)合

2、起來(lái)，將構(gòu)架指導(dǎo)引入軟件開(kāi)發(fā)的各個(gè)階段，縮小從系統(tǒng)高層設(shè)計(jì)到軟件實(shí)現(xiàn)的00設(shè)計(jì)之間的距離。 2.設(shè)計(jì)了從構(gòu)架描述語(yǔ)言ADEAG到UML的求精規(guī)則，將SA信息映射為00設(shè)計(jì)階段的表示，使構(gòu)件實(shí)現(xiàn)與組裝保持上層構(gòu)架的結(jié)構(gòu)和約束特性。并實(shí)現(xiàn)了轉(zhuǎn)換支持工具A2U，以保證轉(zhuǎn)換的正確性和效率。 3.提出了“圖形-＞本體-＞π演算-＞Dicide(FSP)”的可視化構(gòu)件交互設(shè)計(jì)解決方法，通過(guò)定義基本交互元素和組合規(guī)則的本體為圖形設(shè)計(jì)提