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

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

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