本文關(guān)鍵詞：面向?qū)ο蟮慕M合軟件工程研究，由筆耕文化傳播整理發(fā)布。

網(wǎng)友小博士近日為您收集整理了關(guān)于代寫(xiě)軟件碩士論文：面向?qū)ο蟮慕M合軟件工程研究的文檔，，希望對(duì)您的工作和學(xué)習(xí)有所幫助。以下是文檔介紹：代寫(xiě)軟件碩士論文:面向?qū)ο蟮慕M合軟件工程研究面向?qū)ο蟮慕M合軟件工程研究關(guān)鍵詞:組合軟件,組合軟件工程,對(duì)象,軟件過(guò)程控制.引言組合軟件(eomponentsoftware)代表T新一代軟件技術(shù)發(fā)展的未來(lái).Mierosoft的OLE正發(fā)展成為文檔復(fù)合的一種標(biāo)準(zhǔn),有近200家軟件開(kāi)發(fā)商支持;IBM和APPle聯(lián)手開(kāi)發(fā)的標(biāo)準(zhǔn)OPenDO。,為各種組合軟件提供交叉平臺(tái).80年代發(fā)展CASE環(huán)境,并未從根本上解決軟件工程問(wèn)題,軟件開(kāi)發(fā)缺乏技術(shù)規(guī)范,軟件模塊復(fù)用率低下.組合軟件技術(shù)為解決這些難點(diǎn)提供了可能,可以大幅度提高軟件生產(chǎn)的效率.追根溯源,由軟件模塊組件組合軟件的思想早在70年代就已提出了.函數(shù)就是一種組件,函數(shù)通過(guò)參數(shù)適應(yīng)不同應(yīng)用需求的變化Ada語(yǔ)言的模塊Package也是一種組件,內(nèi)部實(shí)現(xiàn)細(xì)節(jié)掩藏,模塊通過(guò)界面規(guī)定進(jìn)行連接和組裝.Package還提供類屬機(jī)制(generic),使模塊通過(guò)類屬參數(shù),適應(yīng)不同應(yīng)用需求的變化.但由于傳統(tǒng)的軟件系統(tǒng)結(jié)構(gòu)的局限性,以過(guò)程為中心設(shè)計(jì)的功能模塊,其擴(kuò)充和復(fù)用能力差,對(duì)模塊進(jìn)行應(yīng)用重組的困難很大.從80年代開(kāi)始的面向?qū)ο蠹夹g(shù)的研究,使組合軟件重新萌發(fā)了新的活力.面向?qū)ο蟮能浖?以數(shù)據(jù)為中心設(shè)計(jì);對(duì)象類(class)除具有模塊的封裝性和類屬特性外,還具有繼承特性,極大地提高了類的可擴(kuò)充和可復(fù)用能力.與傳統(tǒng)的功能模塊比較,對(duì)象類的優(yōu)點(diǎn)是:(l)易于理解,具有完整的語(yǔ)義特征.(2)易于擴(kuò)充和修改,具有較高的通用性和可適應(yīng)性.(3)易于構(gòu)造組裝,具有規(guī)范的外部接口.面向?qū)ο笱芯康囊淮筘暙I(xiàn)在于改變了傳統(tǒng)軟件系統(tǒng)的結(jié)構(gòu),而正是這種結(jié)構(gòu),可使軟件用組合構(gòu)造的方法生成,這與組合軟件的要求是相適應(yīng)的.組合軟件工程是一種新型軟件工程開(kāi)發(fā)模型,基于對(duì)象技術(shù),用對(duì)象模塊來(lái)組裝構(gòu)造應(yīng)用軟件系統(tǒng).它可以克服傳統(tǒng)軟件工程方法的缺點(diǎn),是當(dāng)今軟件工程技術(shù)發(fā)展的主流.組合軟件工程的幾個(gè)突出優(yōu)點(diǎn)是:(l)實(shí)現(xiàn)了應(yīng)用軟件系統(tǒng)的柔性制造.應(yīng)用軟件系統(tǒng)是根據(jù)企業(yè)對(duì)象建模的結(jié)果,由預(yù)制的或重新定義的對(duì)象模塊組合裝配而成的一旦企業(yè)環(huán)境和用戶需求發(fā)生變化時(shí),部分對(duì)象模塊可以進(jìn)行擴(kuò)充和再定義,整個(gè)系統(tǒng)可以重新組合裝配.(2)實(shí)現(xiàn)了應(yīng)用軟件系統(tǒng)的規(guī)模開(kāi)發(fā),大大提高軟件開(kāi)發(fā)效率.各種對(duì)象模塊按照層次結(jié)構(gòu)形成領(lǐng)域框架,子領(lǐng)域框架等等一個(gè)應(yīng)用領(lǐng)域的應(yīng)用系統(tǒng)開(kāi)發(fā)由該領(lǐng)域的集成框架支持,與傳統(tǒng)軟件工程方法相比,可將該領(lǐng)域每個(gè)企業(yè)的應(yīng)用系統(tǒng)開(kāi)發(fā)減少一半甚至2/3的工作量.(3)提高了應(yīng)用軟件系統(tǒng)的開(kāi)發(fā)質(zhì)量.因?yàn)橛脕?lái)組裝應(yīng)用軟件系統(tǒng)的各個(gè)對(duì)象模塊和集成框架都是符合規(guī)范標(biāo)準(zhǔn)且經(jīng)過(guò)嚴(yán)格測(cè)試過(guò)的,具有一整套支持組合軟件工程的工具和質(zhì)量保證體系,這就保證了開(kāi)發(fā)出的應(yīng)用軟件系統(tǒng)的質(zhì)量.2SCOP系統(tǒng)模型SCOP是在國(guó)家863計(jì)劃支持下研制的基于組合軟件工程模型實(shí)現(xiàn)的框架軟件工具系統(tǒng).SCOP的基本含義是:SoftwareConstruetion=Objeets+ProeessControl即:軟件是對(duì)象組件的復(fù)合,而軟件設(shè)計(jì)則是對(duì)象組件經(jīng)過(guò)程控制的組合構(gòu)造.對(duì)象語(yǔ)義模型傳統(tǒng)的數(shù)據(jù)模型如ER或ERA模型建立于實(shí)體、關(guān)系和屬性之上,缺乏數(shù)據(jù)抽象的能力,也沒(méi)有表示動(dòng)態(tài)行為特征的機(jī)制.而另一方面,關(guān)于系統(tǒng)動(dòng)態(tài)特性的研究如Petri、S等,卻又是與系統(tǒng)的靜態(tài)結(jié)構(gòu)方面分開(kāi)進(jìn)行的.這樣,人們往往使用一種模型表示系統(tǒng)的靜態(tài)方面,而使用另外一種模型表示系統(tǒng)的動(dòng)態(tài)方面,兩種模型難以很好地結(jié)合.我們結(jié)合代數(shù)模型和時(shí)序模型提出一種對(duì)象形式語(yǔ)義模型「,一‘」,將靜態(tài)結(jié)構(gòu)和討書(shū)一為統(tǒng)一于對(duì)象模型之中.對(duì)角是封裝數(shù)據(jù)及其上操作的一個(gè)動(dòng)態(tài)演變的實(shí)體,具有自己的內(nèi)部狀態(tài)和動(dòng)態(tài)行為特征.對(duì)象提供一組操作供外界通過(guò)消息驅(qū)動(dòng)觀察對(duì)象屬性或改變對(duì)象的內(nèi)部狀態(tài).對(duì)象的內(nèi)部屬性和對(duì)象之間的關(guān)聯(lián)構(gòu)成對(duì)象的靜態(tài)結(jié)構(gòu).對(duì)象一旦初始建立,就在對(duì)象操作的作用下不斷更新變化.作用在初始對(duì)象上的一串對(duì)象操作的序列,稱為對(duì)象蹤跡(trace).對(duì)象蹤跡決定對(duì)象演變的歷史,反映對(duì)象的外部行為特征.對(duì)象語(yǔ)義模型應(yīng)能同時(shí)刻劃對(duì)象的靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)行為兩方面的特征.文獻(xiàn)「2]中將對(duì)象定義為對(duì)象操作、對(duì)象屬性和對(duì)象蹤跡的集合,即定義1.對(duì)象ob一(X,A,L,a),這里,X是對(duì)象操作的集合,A是對(duì)象屬性的集合,L是對(duì)象操作序列即蹤跡的集合,a是蹤跡狀態(tài)映射,即a=X.~2{〔a,dla任A,d〔‘,擔(dān)(a)}基于以上給出的對(duì)象定義,可以給出對(duì)象繼承、對(duì)象復(fù)合等重要概念的語(yǔ)義解釋:對(duì)象具有唯一的區(qū)別于其他對(duì)象的標(biāo)識(shí).對(duì)象通常是作為一個(gè)類的成員而存在.對(duì)象類表示這樣的一簇對(duì)象,它們具有相同的一組對(duì)象操作和對(duì)象屬性,且其對(duì)象蹤跡滿足相同的一組對(duì)象約束.從對(duì)象類生成對(duì)象,需經(jīng)過(guò)命名和初始.定義2.對(duì)象類定義為五元組C=(I,A,X,幾,幾,)這里,I是一個(gè)命名系統(tǒng),為每一個(gè)對(duì)象實(shí)例分配一個(gè)系統(tǒng)唯一的標(biāo)志名字;A和X的意義同定義l;Cs,是一組用一階謂詞邏輯公式表示的對(duì)象靜態(tài)約束的集合,規(guī)定對(duì)象的合法狀態(tài);島,是一組用時(shí)序邏輯公式表示的對(duì)象動(dòng)態(tài)約束的集合,規(guī)定對(duì)象蹤跡的合法狀態(tài)之間應(yīng)該滿足的時(shí)序制約關(guān)系.對(duì)象類自身也是一對(duì)象,類對(duì)象提供諸如創(chuàng)建新對(duì)象實(shí)例、刪除對(duì)象實(shí)例等操作以及類中當(dāng)前所包含的實(shí)例個(gè)數(shù)、對(duì)象標(biāo)識(shí)集等觀察.有關(guān)對(duì)象語(yǔ)義模型的細(xì)節(jié),請(qǐng)

1

  本文關(guān)鍵詞：面向?qū)ο蟮慕M合軟件工程研究，由筆耕文化傳播整理發(fā)布。