本文關(guān)鍵詞：一種需求驅(qū)動(dòng)、以體系結(jié)構(gòu)為視圖的面向軟件動(dòng)態(tài)演化的模型與方法，由筆耕文化傳播整理發(fā)布。

博碩論文分類列表

馬列主義、毛澤東思想 藝術(shù)

數(shù)理科學(xué)和化學(xué) 文學(xué)

天文學(xué)、地理科學(xué) 軍事

文化科學(xué)、教育體育 經(jīng)濟(jì)

自然科學(xué)總論 哲學(xué)

查看更多分類

論文搜索

相關(guān)論文

面向服務(wù)實(shí)體的網(wǎng)構(gòu)軟件演化模型的
動(dòng)態(tài)軟件體系結(jié)構(gòu)建模與模型驗(yàn)證方
面向?qū)崟r(shí)作戰(zhàn)決策支持的動(dòng)態(tài)數(shù)據(jù)驅(qū)
一種嚴(yán)格分離模型和視圖的模板引擎
“模型-視圖-控制器”體系結(jié)構(gòu)視
面向?qū)ο筌浖丶?jí)的一種動(dòng)態(tài)測試工
基于UML的軟件體系結(jié)構(gòu)六視圖描
基于體系結(jié)構(gòu)的軟件動(dòng)態(tài)演化研究
基于BDI模型和ARCHON模型
面向方面軟件體系結(jié)構(gòu)動(dòng)態(tài)演化方法
基于體系結(jié)構(gòu)、特征驅(qū)動(dòng)的軟件動(dòng)態(tài)
面向體系結(jié)構(gòu)的軟件安全性需求開發(fā)
基于Bigraph的面向方面動(dòng)態(tài)
面向動(dòng)態(tài)需求的軟件模塊化結(jié)構(gòu)評(píng)價(jià)
面向服務(wù)的構(gòu)件動(dòng)態(tài)演化方法及其實(shí)
面向軟件產(chǎn)品族的構(gòu)件演化方法研究
一種氣體燃料發(fā)動(dòng)機(jī)面向控制的動(dòng)態(tài)
一種面向方面的需求分離建模方法研
基于演化博弈的網(wǎng)構(gòu)軟件動(dòng)態(tài)信任模
面向可用性的軟件體系結(jié)構(gòu)模型SA
基于非功能性特征的軟件動(dòng)態(tài)自演化
體系結(jié)構(gòu)驅(qū)動(dòng)的軟件開發(fā)方法研究
基于構(gòu)件的動(dòng)態(tài)軟件體系結(jié)構(gòu)模型的
用例驅(qū)動(dòng)方法在軟件需求獲取方面的
面向動(dòng)態(tài)需求的產(chǎn)品定制系統(tǒng)構(gòu)建方
一種本體驅(qū)動(dòng)的需求分析方法研究

科目列表

博士論文    

一種需求驅(qū)動(dòng)、以體系結(jié)構(gòu)為視圖的面向軟件動(dòng)態(tài)演化的模型與方法

     論文目錄

摘要第1-5頁

Abstract第5-8頁

目錄第8-12頁

第1章 緒論第12-24頁

   ·研究背景第12-14頁

     ·新形勢下的軟件自動(dòng)化第12-13頁

     ·軟件發(fā)展構(gòu)件化第13-14頁

     ·軟件演化動(dòng)態(tài)化第14頁

   ·動(dòng)因第14-18頁

     ·動(dòng)態(tài)演化而臨的“挑戰(zhàn)”第15-16頁

     ·現(xiàn)有的典型研究成果的應(yīng)對(duì)方法與不足第16-17頁

     ·針對(duì)動(dòng)態(tài)演化本文的若干重要觀點(diǎn)第17-18頁

   ·本文擬提出的應(yīng)對(duì)之道第18-21頁

     ·以需求模型為驅(qū)動(dòng)第19頁

     ·以體系結(jié)構(gòu)模型為視圖第19頁

     ·以行為管程為支撐第19-20頁

     ·以解決動(dòng)態(tài)演化面臨的挑戰(zhàn)為導(dǎo)向第20頁

     ·以具有嚴(yán)格數(shù)學(xué)基礎(chǔ)的形式化方法為基石第20-21頁

   ·研究意義第21頁

     ·理論意義第21頁

     ·實(shí)際意義第21頁

   ·創(chuàng)新點(diǎn)第21-22頁

   ·論文組織結(jié)構(gòu)及其關(guān)系第22-24頁

     ·組織結(jié)構(gòu)第22-23頁

     ·各章之間的關(guān)系第23-24頁

第2章 相關(guān)工作和研究基礎(chǔ)綜述第24-42頁

   ·引言第24頁

   ·軟件演化綜述第24-28頁

     ·軟件演化的概念第24-25頁

     ·軟件演化的分類第25-26頁

     ·靜態(tài)演化第26-27頁

     ·動(dòng)態(tài)演化第27-28頁

   ·軟件需求建模綜述第28-29頁

     ·需求建模概述第28-29頁

     ·面向特征的需求建模方法第29頁

   ·軟件體系結(jié)構(gòu)綜述第29-35頁

     ·體系結(jié)構(gòu)的概念第29-31頁

     ·非形式化的體系結(jié)構(gòu)建模第31-33頁

     ·形式化的體系結(jié)構(gòu)建模第33-35頁

   ·進(jìn)程代數(shù)第35-38頁

   ·Petri網(wǎng)第38-41頁

   ·小結(jié)第41-42頁

第3章 面向動(dòng)態(tài)演化的需求建模第42-60頁

   ·引言第42頁

   ·面向動(dòng)態(tài)演化的需求建模要求第42-43頁

   ·面向動(dòng)態(tài)演化的需求元模型的設(shè)計(jì)思路第43-44頁

   ·面向動(dòng)態(tài)演化的需求元模型的框架第44-45頁

   ·面向動(dòng)態(tài)演化的行為特征建模第45-54頁

     ·計(jì)算行為特征第46-48頁

     ·交互行為特征第48-51頁

     ·行為特征第51-52頁

     ·行為特征元模型的操作語義第52-54頁

   ·面向動(dòng)態(tài)演化的屬性特征建模第54-57頁

     ·屬性特征第54-56頁

     ·面向動(dòng)態(tài)演化建模的一個(gè)重要屬性特征第56-57頁

   ·面向動(dòng)態(tài)演化的需求模型第57-58頁

   ·需求元模型對(duì)需求建模要求的支持第58頁

   ·小結(jié)第58-60頁

第4章 面向動(dòng)態(tài)演化需求模型的規(guī)范化第60-82頁

   ·引言第60頁

   ·行為特征模型的規(guī)范化第60-70頁

     ·行為特征規(guī)范化的要求第60-61頁

     ·行為特征的規(guī)范形第61-65頁

     ·行為特征元模型的公理系統(tǒng)第65-68頁

     ·行為特征可規(guī)范化的完備性定理第68-70頁

   ·屬性特征模型的規(guī)范化第70-80頁

     ·屬性特征模型規(guī)范化的要求第70-71頁

     ·需求模型的參照完整性第71頁

     ·需求模型的依賴一致性第71-72頁

     ·需求模型的互斥一致性第72-73頁

     ·屬性特征模型范式第73-80頁

   ·小結(jié)第80-82頁

第5章 面向動(dòng)態(tài)演化的體系結(jié)構(gòu)建模第82-102頁

   ·引言第82-83頁

   ·面向動(dòng)態(tài)演化的體系結(jié)構(gòu)建模要求第83頁

   ·面向動(dòng)態(tài)演化的體系結(jié)構(gòu)元模型的設(shè)計(jì)思路第83-84頁

   ·面向動(dòng)態(tài)演化的體系結(jié)構(gòu)元模型的框架第84-85頁

   ·靜態(tài)視圖建模第85-93頁

     ·構(gòu)件Petri網(wǎng)結(jié)構(gòu)第85-87頁

     ·構(gòu)件第87-90頁

     ·連接件第90-93頁

   ·動(dòng)態(tài)視圖建模第93-96頁

     ·動(dòng)態(tài)構(gòu)件系統(tǒng)第94-95頁

     ·動(dòng)態(tài)體系結(jié)構(gòu)第95-96頁

   ·動(dòng)態(tài)演化建模第96-99頁

     ·構(gòu)件的結(jié)構(gòu)演化第96-97頁

     ·連接件的添加、刪除第97-98頁

     ·構(gòu)件的替換、添加和刪除第98-99頁

   ·體系結(jié)構(gòu)元模型對(duì)建模要求的支持第99-100頁

   ·小結(jié)第100-102頁

第6章 從需求模型到體系結(jié)構(gòu)模型的變換第102-118頁

   ·引言第102-103頁

   ·模型變換的依據(jù)第103-104頁

   ·兩類最基本特征的變換第104-106頁

     ·原子計(jì)算行為特征的變換第104-105頁

     ·主動(dòng)特征和被動(dòng)特征的變換第105-106頁

   ·組合和復(fù)合的變換第106-110頁

     ·順序組合的變換第106-108頁

     ·選擇組合的變換第108-109頁

     ·迭代組合的變換第109頁

     ·并行復(fù)合的變換第109-110頁

   ·變換中的抽象與細(xì)化第110-112頁

     ·抽象第111頁

     ·細(xì)化第111-112頁

   ·變換得到的體系結(jié)構(gòu)模型的結(jié)構(gòu)性質(zhì)要求第112-115頁

     ·構(gòu)件的結(jié)構(gòu)性質(zhì)要求第113-114頁

     ·體系結(jié)構(gòu)的結(jié)構(gòu)性質(zhì)要求第114-115頁

   ·小結(jié)第115-118頁

第7章 面向動(dòng)態(tài)演化的行為管程第118-136頁

   ·引言第118-119頁

   ·行為管程概述第119-122頁

     ·行為管程的概念第119-120頁

     ·行為管程在動(dòng)態(tài)演化實(shí)施中所處的位置第120-122頁

   ·行為管程的管理職能第122-125頁

     ·行為管程的托肯管理第122-123頁

     ·行為管程的庫所管理第123-125頁

     ·行為管程的變遷管理第125頁

   ·行為管程的監(jiān)控職能第125-129頁

     ·行為管程的監(jiān)視職能第126-127頁

     ·行為管程的控制職能第127-129頁

   ·行為管程的演化職能第129-135頁

     ·驅(qū)動(dòng)構(gòu)件進(jìn)入靜止管理態(tài)第129-130頁

     ·驅(qū)動(dòng)構(gòu)件進(jìn)入活動(dòng)管理態(tài)第130-131頁

     ·連接件添加操作第131-132頁

     ·連接件刪除操作第132-133頁

     ·構(gòu)件添加操作第133-134頁

     ·構(gòu)件刪除操作第134-135頁

   ·小結(jié)第135-136頁

第8章 面向動(dòng)態(tài)演化的構(gòu)件之間相關(guān)性分析第136-164頁

   ·引言第136-137頁

   ·相關(guān)性分析分類第137頁

   ·構(gòu)件之間的結(jié)構(gòu)相關(guān)性分析第137-148頁

     ·基本結(jié)構(gòu)相關(guān)性第138-145頁

     ·復(fù)合結(jié)構(gòu)相關(guān)性第145-148頁

   ·構(gòu)件之間的行為關(guān)系及其相關(guān)性分析第148-163頁

     ·結(jié)構(gòu)相關(guān)性對(duì)行為相關(guān)性的作用第149-153頁

     ·行為相關(guān)性的部分傳遞性處理第153-159頁

     ·構(gòu)件行為相關(guān)性分析第159-163頁

   ·小結(jié)第163-164頁

第9章 動(dòng)態(tài)演化實(shí)施的一致性保持第164-180頁

   ·引言第164-165頁

   ·一致性的定義第165頁

   ·構(gòu)件狀態(tài)遷移第165-168頁

     ·構(gòu)件的狀態(tài)保存第166頁

     ·基于庫所映射方案的托肯更新第166-168頁

     ·構(gòu)件的狀態(tài)恢復(fù)第168頁

   ·構(gòu)件的行為空間和行為圖第168-171頁

     ·構(gòu)件的行為空間第169-170頁

     ·構(gòu)件的行為圖第170-171頁

   ·一致性保持第171-179頁

     ·構(gòu)件的內(nèi)部一致性保持第171-174頁

     ·構(gòu)件的外部一致性保持第174-179頁

   ·小結(jié)第179-180頁

第10章 案例研究第180-198頁

   ·引言第180頁

   ·面向動(dòng)態(tài)演化的需求建模第180-185頁

     ·行為特征建模第180-182頁

     ·屬性特征建模第182-184頁

     ·需求模型及其規(guī)范化第184-185頁

   ·面向動(dòng)態(tài)演化的體系結(jié)構(gòu)建模第185-189頁

     ·體系結(jié)構(gòu)建模第185-187頁

     ·構(gòu)件建模第187-189頁

   ·動(dòng)態(tài)演化實(shí)施分析第189-197頁

     ·相關(guān)性分析第190-193頁

     ·一致性保持第193-197頁

   ·小結(jié)第197-198頁

第11章 工作總結(jié)與展望第198-206頁

   ·工作總結(jié)第198-203頁

   ·未來工作展望第203-206頁

參考文獻(xiàn)第206-210頁

攻讀博士學(xué)位期間主持和參與的課題第210-212頁

攻讀博士學(xué)位期間的主要成果第212-216頁

 1. 以第一作者身份發(fā)表和錄用的學(xué)術(shù)論文第212-213頁

 2. 以合作者身份發(fā)表和錄用的學(xué)術(shù)論文第213-214頁

 3. 攻讀博士學(xué)位期間獲得的獎(jiǎng)勵(lì)第214-216頁

致謝第216-217頁

論文編號(hào)BS6416，這篇論文共217頁
會(huì)員購買按0.35元/頁下載，共需支付75.95元。        直接購買按0.5元/頁下載，共需要支付108.5元 。

 您可能感興趣的論文

論文標(biāo)題頁數(shù)級(jí)別

面向需求持續(xù)演化的軟件體系結(jié)構(gòu)決策評(píng)價(jià)方法研究63頁碩士論文

嵌入式軟件需求規(guī)約到軟件體系結(jié)構(gòu)模型的轉(zhuǎn)換研究97頁博士論文

面向?qū)ο筌浖慕Y(jié)構(gòu)特性及演化模型的研究118頁博士論文

面向方面的軟件體系結(jié)構(gòu)演化研究72頁碩士論文

神經(jīng)構(gòu)件模型和軟件體系結(jié)構(gòu)演化方法的研究72頁碩士論文

面向服務(wù)的動(dòng)態(tài)演化軟件模型研究65頁碩士論文

基于需求驅(qū)動(dòng)的軟件體系結(jié)構(gòu)的研究與設(shè)計(jì)64頁碩士論文

一種基于Java接口和類加載器的軟件動(dòng)態(tài)演化模型65頁碩士論文

面向領(lǐng)域的軟件體系結(jié)構(gòu)復(fù)用與演化62頁碩士論文

基于代數(shù)理論的軟件體系結(jié)構(gòu)描述及軟件演化方法研究110頁博士論文

面向服務(wù)的語義模型驅(qū)動(dòng)企業(yè)應(yīng)用軟件開發(fā)方法及關(guān)鍵技術(shù)研究146頁博士論文

一種面向SaaS的軟件重構(gòu)方法的研究55頁碩士論文

一種基于依賴關(guān)系圖模型的減少演化影響范圍的本體演化方法50頁碩士論文

基于.NET反射機(jī)制的軟件動(dòng)態(tài)演化方法研究57頁碩士論文

版權(quán)申明：本目錄由網(wǎng)站制作，本站并未收錄原文，，如果您是作者，需要?jiǎng)h除本篇論文目錄請(qǐng)通過QQ或其它聯(lián)系方式告知我們，我們承諾24小時(shí)內(nèi)刪除。

  本文關(guān)鍵詞：一種需求驅(qū)動(dòng)、以體系結(jié)構(gòu)為視圖的面向軟件動(dòng)態(tài)演化的模型與方法，由筆耕文化傳播整理發(fā)布。