基于SOA的系統(tǒng)自動(dòng)生成研究.pdf

1、自動(dòng)程序設(shè)計(jì)是使用自動(dòng)化手段進(jìn)行程序設(shè)計(jì)的技術(shù)和過程，后發(fā)展成為使用自動(dòng)化手段進(jìn)行軟件系統(tǒng)生成的方法，被稱為軟件自動(dòng)化。其目的在于提高軟件生產(chǎn)率和軟件產(chǎn)品質(zhì)量。軟件自動(dòng)化過程通常包括從問題的非形式化描述到形式化的軟件需求規(guī)格說明、功能規(guī)格說明、設(shè)計(jì)規(guī)格說明，再到可執(zhí)行代碼生成、調(diào)試以及確認(rèn)交付的全過程。
　　 傳統(tǒng)的軟件自動(dòng)化方法通常是基于代碼生成的，而這些方法難以適應(yīng)大型系統(tǒng)構(gòu)建的要求?；谲浖?fù)用的軟件系統(tǒng)自動(dòng)生成技術(shù)在此方

2、面則很有潛力，與傳統(tǒng)的軟件自動(dòng)化不同的是，這里的系統(tǒng)生成是基于可復(fù)用程序代碼或稱組件的。研究使用面向服務(wù)的架構(gòu)，將可復(fù)用組件作為服務(wù)提供，根據(jù)項(xiàng)目的非形式化描述生成功能規(guī)格說明、設(shè)計(jì)規(guī)格說明，然后對(duì)服務(wù)庫(kù)里的服務(wù)進(jìn)行檢索匹配，最后使用基于SOA（Service Oriented Architecture）的服務(wù)組裝技術(shù)生成系統(tǒng)。研究的重點(diǎn)在于系統(tǒng)的自動(dòng)生成，首先討論了系統(tǒng)規(guī)格說明的自動(dòng)生成、需求與服務(wù)組件的形式化描述以及服務(wù)的檢索、匹配

3、和組裝技術(shù)，然后將人工智能技術(shù)和遺傳算法用于軟件系統(tǒng)自動(dòng)化，同時(shí)結(jié)合SOA技術(shù)進(jìn)行系統(tǒng)生成。
　　 在上述系統(tǒng)自動(dòng)生成理論的基礎(chǔ)上，得到一個(gè)基于SOA的系統(tǒng)自動(dòng)生成平臺(tái)的設(shè)計(jì)方案，實(shí)現(xiàn)了自動(dòng)生成系統(tǒng)框架AutoSOM。AutoSOM是一個(gè)基于SOA的系統(tǒng)生成平臺(tái)，作為軟件自動(dòng)生成系統(tǒng)SoftMaker的重要組成部分，AutoSOM在企業(yè)服務(wù)總線的基礎(chǔ)上構(gòu)建了一個(gè)從需求理解到服務(wù)組裝的系統(tǒng)生成平臺(tái)，使用戶需求得到充分的理解，減輕軟