24小時(shí)論文定制熱線(xiàn)
24小時(shí)論文定制熱線(xiàn)
摘要
如今軟件開(kāi)發(fā)在互聯(lián)網(wǎng)時(shí)代被廣范使用，其應用場(chǎng)景日益豐富多樣，其規模和復雜度也隨著(zhù)日益增長(cháng)，以致軟件開(kāi)發(fā)的效率和質(zhì)量出現了瓶頸，甚至引發(fā)了"軟件危機"問(wèn)題。為了解決。上述問(wèn)題，研究人員嘗試引入各種方法到軟件開(kāi)發(fā)和自動(dòng)化技術(shù)中，包括面向對象方法、結構化方法、原型方法等。其中Object-Z語(yǔ)言作為面向對象的形式化描述方法，可以通過(guò)構造操作組件和狀態(tài)封裝來(lái)支持對大型軟件開(kāi)發(fā)系統的語(yǔ)法以及語(yǔ)義的描述。
但是目前對Object-Z語(yǔ)言的研究成果十分有限，研究人員只是用Object-Z語(yǔ)言描述簡(jiǎn)單場(chǎng)景的語(yǔ)義，生成C、Java、 Python 等編程語(yǔ)言，鮮有應用于大型軟件系統開(kāi)發(fā)和自動(dòng)化生成工作中的典型案例，尤其是對于具有語(yǔ)義信息的軟件業(yè)務(wù)邏輯的自動(dòng)化生成而言，在理論和工程實(shí)踐中都缺乏可供參考的實(shí)際指導性研究。
因此本文首先提出了基于Object-Z語(yǔ)言的SSM框架中通用業(yè)務(wù)邏輯語(yǔ)義的形式化描述方法，其中包括數學(xué)運算、邏輯運算、判斷語(yǔ)句、循環(huán)語(yǔ)句等。其次，設計并實(shí)現了描述文件的解析器，以驗證語(yǔ)義描述文件的正確性以及語(yǔ)義描述的完整性。第三，設計了業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統，提出了從基于Object-Z語(yǔ)言的通用業(yè)務(wù)邏輯語(yǔ)義描述文件到SSM （ Spring+SpringMVC+MyBatis）框架中業(yè)務(wù)層實(shí)現函數的映射規則，實(shí)現了對應的SSM框架中典型業(yè)務(wù)的Java代碼自動(dòng)生成，并進(jìn)行了測試和驗證工作。測試結果表明，由實(shí)現的生成器可以完整、準確地自動(dòng)生成目標Java 代碼。本文的研究成果在理論上提升了業(yè)務(wù)邏輯的語(yǔ)義描述能力，提升了代碼生成的自動(dòng)化程度，有效減少人工的重復性勞動(dòng)強度，提高了軟件開(kāi)發(fā)效率。
關(guān)鍵詞：Object-Z 語(yǔ)言Java 代碼自動(dòng)化生成軟件開(kāi)發(fā)
ABSTRACT
Nowadays, software development is widely used in the Internet era, and its application scenarios are becoming increasingly rich and varied, as well as its scale and complexity are also increasing. As a result, the efficiency and quality of software development has become a bottleneck, and even causes the problem of "software crisis". In order to solve the above problems, researchers try to introduce various methods into software development and automation technology, including object-oriented method, structured method, prototype method and so on. ObjectZ languagc, as an object-oriented formal description method, can support the description of syntax and semantics of large-scale software development system by constructing operation components and state encapsulation.
But, the research of Object-Z language is very limited, the researchers just use simple language to describe the scene Object-Z semanties, generate programming languages such as C, Java, Python, rarely applied in large software system development and typical cases in the work of the automatic generation, especially for automatic generation sofware business logic with semantic information, lack of reference in theory and engineering practice of actual instruetional research.
Therefore, this thesis first proposes a formal description method of general business logic semantics in the SSM（Spring + Spring MVC + Mybatis） framework based on the Object-Z language, including mathematical operations, logical operations, judgment statements, and circular statements, etc. Second, the parser of description files are designed and implemented to verify the correctness of semantic description files and the completeness of semantic descriptions. Third, the automatic generation system of business logic Java code is designed, and the mapping rules from the semantic description file of general business logic based on the Object- Z language to the implementation function of business layer in SSM ftamework are put forward, and the automatic generation of typical business Java code in the corresponding SSM framework is implemented, and the testing and verification work are carried out. The test results show that the implemented generator can automatically generate the target Java code completely and accurately. The research results of this thesis theoretically improve the semantic description capability of business logic, enbance the degree of automation of codegeneration, effectively reduce manual repetitive labor intensity, and improve the efficiency of softwaredevelopment.
KEY WORDS Object-Z Language Java Code Automatic GenerationSoftware Development
目錄
第一章緒論
1.1研究背景及意義
伴隨著(zhù)計算機技術(shù)和互聯(lián)網(wǎng)的迅速發(fā)展，軟件開(kāi)發(fā)被人們應用到生產(chǎn)生活的各個(gè)場(chǎng)景中，來(lái)處理各種問(wèn)題，發(fā)揮著(zhù)不可替代的作用。軟件開(kāi)發(fā)會(huì )在社會(huì )生產(chǎn)活動(dòng)中扮演任勞任怨的"工人",24小時(shí)地服務(wù)于生產(chǎn)工作，從而提高人們在生產(chǎn)勞動(dòng)的工作效率，解放一定的勞動(dòng)力， 并提高社會(huì )生產(chǎn)力。軟件開(kāi)發(fā)也會(huì )在人們的生活中豐富大眾娛樂(lè )活動(dòng)方式擴展大眾獲取外界信息和與他人實(shí)時(shí)聯(lián)系的渠道叫。因此在21世紀計算機技術(shù)發(fā)展的浪潮中，軟件開(kāi)發(fā)的發(fā)展與研究仍具有非常重要的意義。同時(shí)，軟件開(kāi)發(fā)被人們不斷地應用到更加復雜場(chǎng)景處理更加困難難題的過(guò)程中，軟件開(kāi)發(fā)技術(shù)的規模和復雜度在不斷提高，但其效率在不時(shí)下降。失誤率也不時(shí)上開(kāi)。軟件開(kāi)發(fā)技術(shù)的發(fā)展與進(jìn)步-直受到瓶頸的約束，產(chǎn)生了被大眾逐漸熟知的"軟件危機",即如何在提高軟件開(kāi)發(fā)復雜度前提下提高軟件開(kāi)發(fā)的效率和可靠性，網(wǎng)時(shí)又保證其軟件質(zhì)量。這也越來(lái)越成為軟件工程領(lǐng)域的一個(gè)核心問(wèn)題中。
為了解決上述軟件開(kāi)發(fā)存在的問(wèn)題，研究人員提出-系列方法提高軟件開(kāi)發(fā)的效率和質(zhì)量，其中包括面向對象方法、結構化方法。鳳型方法等。在經(jīng)歷多年發(fā)展，其中作為面向對象方法，UMLP （Unifed Modeling Language, 統一建模語(yǔ)言）類(lèi)圖因其簡(jiǎn)單、統一的特點(diǎn)，而且能表達軟件開(kāi)發(fā)中動(dòng)態(tài)和靜態(tài)消息，已逐漸成為軟件工程領(lǐng)域的標準建模語(yǔ)言回。雖然面向對象、可視化建模、強大的表達能力等優(yōu)點(diǎn)使UML建模被廣泛應用到軟件開(kāi)發(fā)中，但是UML建模也存在固有的弊端，比如無(wú)法從語(yǔ)法上建立狀態(tài)圖與順序圖的關(guān)系問(wèn)。無(wú)法從語(yǔ)法上建立活動(dòng)圖與順序圖在流程描述中的關(guān)系，協(xié)作圖和順序圖中與消息相伴的參數不。
能與類(lèi)圖建立關(guān)系等。此外，UML是一-種半正式語(yǔ)言四，其語(yǔ)法部分采用正式規范，語(yǔ)義部分采用非正式規范，因此UML建模容易在不同的開(kāi)發(fā)人員之間產(chǎn)生二義性m,從面衍生如增加開(kāi)發(fā)成本等其他問(wèn)題。
為了解決UML建模存在的問(wèn)題，研究人員引入具有嚴格數理理論的形式化方法。形式化方法憑借自身數理理論能簡(jiǎn)祜、準確地描述軟件開(kāi)發(fā)中系統的類(lèi)、屬性、狀態(tài)和操作等，因而能準確無(wú)誤地描述軟件開(kāi)發(fā)的概念、本質(zhì)和證明規范，能夠在不同的軟件開(kāi)發(fā)活動(dòng)之間平滑過(guò)度，并且能在軟件開(kāi)發(fā)前需求說(shuō)明階段能夠通過(guò)自身推理發(fā)現與需求說(shuō)明不--致的問(wèn)題。因此研究人員結合形式化方法和UML建模，有效解決UML描述語(yǔ)義的模糊性和不一-致性。 隨著(zhù)大量軟件開(kāi)發(fā)經(jīng)驗的積累，結合UML軟件建模和形式化方法已經(jīng)成為軟件開(kāi)發(fā)領(lǐng)域中至關(guān)重要的技術(shù)。其中Z問(wèn)語(yǔ)言就是是一門(mén)發(fā)展較為成熟、應用較為廣泛的形式化描述語(yǔ)言，用來(lái)UML軟件建模間。目前研究人員已使用Z語(yǔ)言擂述UML系列圖響、UML CASE圖1.文獻[10]用形 式化語(yǔ)言Z定義UML序列圖的嚴格語(yǔ)義，井給出抽象句法、合式規則以及應滿(mǎn)足的一致性約束。文獻[12] 將可視化建模語(yǔ)盲UML和形式化方法z集成而得到一種新的求精方法來(lái)尋求出一種在軟件體系結構求精過(guò)程中UML到Z映射與轉換機制，該文獻研究結果說(shuō)明：UML與Z結合可以得到一種新的求精方法，這種求精方法不僅能夠在一定程度 上提高軟件的一致性和可靠性，而且可以在實(shí)際應用中推廣使用。
同樣作為形式化描述語(yǔ)言，Ojct-2IW 語(yǔ)言是Z語(yǔ)言面向對象的拓展4.Z語(yǔ)言本身就是形式化規范語(yǔ)言凹，因引入嚴格的數學(xué)理論和推理，能夠發(fā)現與規則不一致的錯誤，井解決使其符合軟件開(kāi)發(fā)的功能要求心。雖然Z語(yǔ)言具有簡(jiǎn)單、易組合和實(shí)用的優(yōu)點(diǎn)，但是它不是而向對象描述語(yǔ)法和語(yǔ)義的，存在一些不可忽視的問(wèn)題，比如對大型軟件開(kāi)發(fā)系統描述能力不夠，對于影響某- -狀志模式的所有操作模式的識別能力有限等。面Object-Z 語(yǔ)言通過(guò)構遺操作組建和狀態(tài)封裝來(lái)支持對大型軟件開(kāi)發(fā)系統語(yǔ)法以及語(yǔ)義的措述叨。
1.2研究現狀
形式化方法通過(guò)引用嚴格的數學(xué)模型和符號系統簡(jiǎn)單、明確地描述和驗證軟件系統開(kāi)發(fā)當中的需求設計、系統規范、軟件系統結構設計等特性。形式化方法自十九世紀四十年代起，計算機科學(xué)家們大力推展形式化方法的發(fā)展和完善，至今已有十二位學(xué)者因研究形式化方法的成果獲得圖靈獎。形式化方法可以分為五類(lèi)叫：一是基于模型的方法呵，如Z、VDM2 （Vienna Development Method,維也納開(kāi)發(fā)方法）。該方法描述了軟件開(kāi)發(fā)的狀態(tài)和狀態(tài)操作等，但是不能描述并發(fā)狀態(tài)；二是代數方法，如CLEAR語(yǔ)言、OBJ語(yǔ)言。該方法通過(guò)不同狀態(tài)操作的關(guān)聯(lián)關(guān)系形式化描述操作語(yǔ)義，但不描述軟件開(kāi)發(fā)的狀態(tài)：三是過(guò)程代數方法，如ccs （ Caleulus of Communicate on Systems, 通信系統演算）。CSP（Communication SequentialProcess通信順序過(guò)程）。該該類(lèi)方法對并發(fā)操作顯示建模，通過(guò)操作間可允許觀(guān)察的通訊。上的限制（約束）來(lái)表示行為；四是基于邏輯方法，如時(shí)志邏輯。該類(lèi)方法通過(guò)邏輯描述軟件系統開(kāi)發(fā)的特性：五是基于網(wǎng)絡(luò )的方法。如Petri網(wǎng)、謂詞變換網(wǎng)。該類(lèi)方法根據網(wǎng)絡(luò )中的數據流顯式地給出系統的并發(fā)模型。
目前國內外形式化方法的主要研究?jì)热葜饕袃蓚�(gè)方面： -是基于形式語(yǔ)言和形式語(yǔ)義學(xué)的形式化描述方法。通過(guò)引用具有嚴格邏輯的形式語(yǔ)言和精確的形式語(yǔ)義學(xué)，形式化描述方法可以簡(jiǎn)單、準確地描述軟件系統開(kāi)發(fā)中業(yè)務(wù)功能語(yǔ)義，這是在軟件開(kāi)發(fā)中使用形式化方法是否規范的依據。上述的基于模型的形式化方法和基于代數即屬于形式化描述方法。另一研究?jì)热菔腔谛问交枋龇椒ǖ男问交炞C方法。該方法與形式化指述方法密切關(guān)聯(lián)。它就是來(lái)驗證目前已有的軟件系統是否符合形式描述語(yǔ)言描述的規范以及滿(mǎn)足軟件系統設計需求等。傳統的形式化驗證方法就是測試和驗證，通過(guò)實(shí)際實(shí)驗的方法對系統方法檢查錯誤。目前國內外研究人員仍舊使用形式化方法描述和驗證軟件系統開(kāi)發(fā)。參考文獻[21]
基于形式化語(yǔ)言z描述互聯(lián)網(wǎng)登錄系統的主要操作模式，并通過(guò)形式化驗證方法確認互聯(lián)網(wǎng)登錄系統是否已滿(mǎn)足用戶(hù)主要需求。參考文獻（[2]基于形式化語(yǔ)言VMD來(lái)優(yōu)化預報船舶運動(dòng)姿態(tài)學(xué)習機。實(shí)驗結果表明基于VDM和APSO（Adapation Parti cle Swarm Optimization,自適應粒子群優(yōu)化算法）組合的預測模型具有更高的準確度。參考文獻[23]說(shuō)明了形式化方法在列車(chē)運行控制系統的應用。為了能說(shuō)明列車(chē)運行控制系統中四種與系統安全相關(guān)特性（實(shí)時(shí)性、混成性、分布性、反應性），該文獻采用了這四種特性相關(guān)的形式化方法，其實(shí)驗結果表明形式化方法在措述系統具有一定的優(yōu)勢和不足。
Obiect-Z作為- -種面向對 象的形式化語(yǔ)言，它繼承了Z語(yǔ)言?xún)?yōu)良的規范模式又憑借面向對象的特性更加適合描述大型軟件系統開(kāi)發(fā)中業(yè)務(wù)功能語(yǔ)義，不過(guò)目前Object-Z 語(yǔ)言的研究與應用只活躍在社區范圍內，其國內外的研究成果十分有限。參考文獻[1]為Oyject-Z中的核心建模概念提供了精確的描述性語(yǔ)義，并為UML類(lèi)構造提供了形式化描述。在給出正式描述的情況下，它還在元級別提供了兩種語(yǔ)言之間的正式語(yǔ)文映射，這使Object Z語(yǔ)言與UML兩者之間的翻譯更加系統化。UML模型的任何驗證都可以使用為Object-Z提供的推理技術(shù)在其對應的ObjctZ規范上進(jìn)行。通過(guò)這種方法，該文獻不僅為UML提供了精確的語(yǔ)義基礎，而且為推理UML模型提供了可靠的機制。參考文獻[13]介紹了使用面向對象的正式規范語(yǔ)言Object-Z 精確描述軟件或系統的技術(shù)。該文獻還介紹了許多不同的案例研究，以說(shuō)明面向對象的形式規范的技術(shù)和語(yǔ)言，并說(shuō)明形式規范在形式驗證和實(shí)現中的關(guān)鍵作用。參考文獻[24]是國外較新有關(guān)Objet-:Z 研究的發(fā)表論文，該論文主要是闡述ObjectZ語(yǔ)言的語(yǔ)法規則以及對應Python代碼的映射規則。參考文獻[1]是國內較新的有關(guān)ObjetZ語(yǔ)言研究成果。該文獻說(shuō)明了Objea-Z語(yǔ)言的語(yǔ)法規則和使用方法，然后基于Objec-Z語(yǔ)言描述了軟件開(kāi)發(fā)系統中的業(yè)務(wù)功能語(yǔ)義，該文以銀行系統信用卡功能為案例說(shuō)明，最后設計Objct-Z語(yǔ)言到Python語(yǔ)言的映射規則，實(shí)現基于Objc-Z語(yǔ)言的Python代碼自動(dòng)化生成。該文獻為本文提供了設計思路，幫助指導本文如何用Object-Z語(yǔ)言描述和驗證大型系統業(yè)務(wù)功能語(yǔ)義，以及如何映射成如C. Java、 Python 等編程語(yǔ)言，最終實(shí)現目標代碼自動(dòng)化生成技術(shù)。
代碼自動(dòng)化生成就是根據用戶(hù)對軟件系統開(kāi)發(fā)任務(wù)霜求建立的模型而自動(dòng)生成目標端程代碼喲。代碼自動(dòng)化生成的工作流程是用戶(hù)根據軟件開(kāi)發(fā)的任務(wù)需求建模，代碼自動(dòng)生成應用或者工具會(huì )根據內部規定好的映射規則，自動(dòng)從輸入模型中提取所需參數井自動(dòng)生成目標代碼叫。自二十世紀誕生起，代碼自動(dòng)化生成技術(shù)受到了軟件開(kāi)發(fā)人員和計算機學(xué)者們的追捧而得意迅速發(fā)展，到目前該技術(shù)已經(jīng)成熟和完善，已有較多的研究成果被公開(kāi)發(fā)表。代碼自動(dòng)化生成技術(shù)可以分為五類(lèi)：基于模型生成、基于模版生成、基于對象關(guān)系映射生成、基于文檔注釋生成以及動(dòng)態(tài)代理技術(shù)，其中最為常見(jiàn)的技術(shù)當屬基于模型設計和基于模版設計。參考文獻（27提出了基于UML2x版本序列圖的代碼自動(dòng)化生成技術(shù)，通過(guò)UML2.x版本序列圖中XML元數據相互交互表示方法，該文獻構建-個(gè)序列整合圈的模型，來(lái)封裝代碼自動(dòng)生成相關(guān)信息，最后實(shí)驗表明該文獻提出的代碼生成技術(shù)可以生成控制器類(lèi)代碼文件的48%代碼行。參考文獻[28]介紹了基于使用規則和框架知識表示技術(shù)（ECG-RF） 的專(zhuān)家代碼生成器開(kāi)發(fā)。其中，該文獻介紹的ECG-RF系統是一-種無(wú)源代碼生成器。可以在固定結構的軟件中執行自動(dòng)代碼生成的任務(wù)。為了開(kāi)發(fā)ECG-RF系統，將基于規則的系統的人工智能（AI）和框架知識表示技術(shù)應用于代碼生成任務(wù)。ECG-RF使用從ECG-RF知識庫中檢索到的代碼塊填充某個(gè)固定結構程序的預定義框架。填充操作由ECG-RF的推理引擎完成，并通過(guò)圖形用戶(hù)界面（GUI） 從用戶(hù)收集的信息中進(jìn)行指導。最終實(shí)驗結果表明ECG-RF設計概念是合理可靠的。參考文獻[29]提出基于UML活動(dòng)團以及活動(dòng)圖與序列圖之間的關(guān)聯(lián)關(guān)系設計自動(dòng)生成類(lèi)定義、方法定義、控制流的算法，解決了統-一建模語(yǔ)言（UML）模型因模型沒(méi)有某些實(shí)現細節、單個(gè)UMI模型不足以完成完整代碼生成。或者某些模型元素可能無(wú)法直按轉換為源代碼等原因而無(wú)法全自動(dòng)翻譯成完整源代碼的問(wèn)題。
對于現階段的研究狀況而言，0Object-Z 語(yǔ)言作為面向對象的形式化語(yǔ)言，能夠描述業(yè)務(wù)功能語(yǔ)義的內容過(guò)于單一且無(wú)實(shí)用價(jià)值。而且研究人員只是將基于Objec-Z語(yǔ)言描述語(yǔ)義文件映射成編程語(yǔ)言代碼，而不是映射成具有較高使用價(jià)值的SSM （Spring、SpringMVC. Mybatis） 框架各層代碼。代碼自動(dòng)化生成技術(shù)雖已成熟，但目前生成的目標代碼大多是框架代碼，更加無(wú)法根據基于Object-Z語(yǔ)言描述語(yǔ)義文件來(lái)自動(dòng)生成SSM框架各層代碼。針對以上研究現狀的不足，本文將設計與實(shí)現基于Objc-Z語(yǔ)言的業(yè)務(wù)邏輯Java 代碼自動(dòng)生成器。它能夠基于Objct-Z這- 面向對象的形式化語(yǔ)言，形式化描述和驗證SSM框架項目中業(yè)務(wù)層實(shí)現函數的功能語(yǔ)義，同時(shí)能夠根據輸入的描述語(yǔ)義文件自動(dòng)生成描述該業(yè)務(wù)功能語(yǔ)義的語(yǔ)法樹(shù)。通過(guò)對可視化語(yǔ)法樹(shù)的檢查和驗證，再實(shí)時(shí)修改描述語(yǔ)義文件，已確保輸入文件不存在語(yǔ)法錯誤問(wèn)題和語(yǔ)文遺漏問(wèn)題。本文也將基于A(yíng)NTLR工具設計一種基于Objct-Z語(yǔ)言描述語(yǔ)義文件到業(yè)務(wù)層實(shí)現函數Java代碼的映射規則，并設計出可由Objec-Z語(yǔ)言文件自動(dòng)生成SSM框架業(yè)務(wù)層實(shí)現函數Java代碼的自動(dòng)化生成技術(shù)。
1.3研究?jì)热?/strong>
1.3.1研究?jì)热?/strong>
根據上節介紹的形式化方法。ObjeclZ語(yǔ)言以及代碼自動(dòng)化生成技術(shù)的研究現狀，本文將設計與實(shí)現基于Ofject-Z這-"形式化描述語(yǔ)言的通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器。本文的研究?jì)热葜饕譃樗牟糠郑旱谝徊糠?是基于Objct-Z語(yǔ)言的通用業(yè)務(wù)功能語(yǔ)義形式化描述方法：第二部分是從基于Object-Z 語(yǔ)言的通用業(yè)務(wù)邏輯語(yǔ)義描述文件到SSM框架中Service 層業(yè)務(wù)實(shí)現函數Java代碼的映射規則：第三部分是基于Objct-Z 語(yǔ)言的通用業(yè)務(wù)邏輯Java 代碼自動(dòng)生成器的設計與實(shí)現：第四部分是業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的測試與驗證。下面將概括性說(shuō)明這四部分主要研究?jì)热荩?/p>
（1）基于Objec.Z語(yǔ)言的通用業(yè)務(wù)功能語(yǔ)文形式化描述方法
ObjectZ語(yǔ)言作為Z語(yǔ)言面向對象的擴展，繼承了Z語(yǔ)育的規范和優(yōu)點(diǎn)，并憑借面向對象的特性，來(lái)通過(guò)對類(lèi)的操作修改對象狀態(tài)。但是目前對Object-Z語(yǔ)言的研究成果十分有限，只是簡(jiǎn)單利用OjectZ語(yǔ)盲形式化描述簡(jiǎn)單場(chǎng)景語(yǔ)義并轉換成C. Java. Python 等端程語(yǔ)言，無(wú)法使用于大型復雜的軟件系統開(kāi)發(fā)。
本文提出基于Object-Z 語(yǔ)言形式化描述和驗證SSM框架中Service 層通用業(yè)務(wù)功能語(yǔ)義。其研究?jì)热葜饕譃閮蓧K：
a）基于Object-Z語(yǔ)言對通用業(yè)務(wù)中語(yǔ)法內容的描述該部分描述的通用業(yè)務(wù)中語(yǔ)法內容包括通用業(yè)務(wù)中的對象、方法、狀態(tài)、屬性等。基于Objet-Z 語(yǔ)言，本文以class和genclass兩個(gè)語(yǔ)法單元描述業(yè)務(wù)邏輯中對象，其中這兩個(gè)語(yǔ)法單元都可以嵌入ObjectZ語(yǔ)言其他的語(yǔ)法單元和init.
state等模塊，來(lái)描述業(yè)務(wù)邏輯中對象的狀態(tài)、成員變量、初始化條件等。class 和genclass兩者語(yǔ)法單元可以在底部直接形式化描述某系統通用業(yè)務(wù)功能語(yǔ)義，或者通過(guò)嵌入op語(yǔ)法單元形式化描述。
b）基于Objct-Z語(yǔ)音對通用業(yè)務(wù)中功能語(yǔ)義的描述該部分描述的通用業(yè)務(wù)中語(yǔ)文內容主要包括數學(xué)運算、集合運算，邏輯運算。
判斷語(yǔ)句、循環(huán)語(yǔ)句等。基于Objct-Z語(yǔ)言，本文將排列組合各個(gè)已描述好業(yè)務(wù)對象、方法。狀態(tài)、屬性的語(yǔ)法單元和模塊，以此能完整地描述通用業(yè)務(wù)功能語(yǔ)義。
（2）從基于ObjectZ語(yǔ)言的通用業(yè)務(wù)邏輯語(yǔ)義擂述
文件到SSM框架中Service層業(yè)務(wù)實(shí)現函數Java代碼的映射規則作為面向對象的形式化語(yǔ)言，Object-Z 沒(méi)有普及到大型軟件系統代碼開(kāi)發(fā)工作的原因在于，目前沒(méi)有標準的規范定義描述業(yè)務(wù)功能語(yǔ)義的Objct-Z 語(yǔ)言文件到SSM框架中業(yè)務(wù)函數Java代碼的映射規則。為了設計與實(shí)現基于Objct-Z語(yǔ)言的業(yè)務(wù)邏輯Java 代碼自動(dòng)生成器，本文設計了Object-Z 語(yǔ)言到SSM框架中Service層業(yè)務(wù)實(shí)現函數Java 代碼的映射規則。其中包括： Objcct-Z 語(yǔ)言clas/geclass語(yǔ)法單元被映射成業(yè)務(wù)實(shí)現函數，該單元中state模塊內容披映射成業(yè)務(wù)實(shí)現函數中成員變量的聲明與定義， init 語(yǔ)法單元內容被映射成業(yè)務(wù)實(shí)現函數中成員變量的初始化操作，op語(yǔ)法單元內容被映射成業(yè)務(wù)實(shí)現函數中實(shí)現后臺業(yè)務(wù)功能的方法。
（3）基于Objct-Z語(yǔ)言的通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的設計與實(shí)現
在有上述兩個(gè)理論依據作為支撐后，本文將設計與實(shí)現語(yǔ)法樹(shù)自動(dòng)生成系統和通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統，并組合成通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器。其中，本文設計的語(yǔ)法樹(shù)自動(dòng)生成系統包含三個(gè)功能模塊：系統檢查功能模塊、系統分析功能模塊、系統生成功能模塊，分別負責檢查輸入文件語(yǔ)法的正確性和語(yǔ)義的完整性。分析輸入文件描述通用的業(yè)務(wù)對象和業(yè)務(wù)功能語(yǔ)義、根據分析結果自動(dòng)生成可視化的語(yǔ)法樹(shù)。語(yǔ)法樹(shù)自動(dòng)生成系統的輸入文件也是業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統的輸入文件，后者會(huì )依據本文設計并定義好的映射規則，自動(dòng)生成目標Java代碼。
（4）業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的測試與驗證在設計與實(shí)現
完業(yè)務(wù)邏輯Java 代碼自動(dòng)生成器后，本文將基于Object-Z語(yǔ)言編寫(xiě)描述虛擬網(wǎng)項目的增添虛擬網(wǎng)功能語(yǔ)義和刪除虛擬網(wǎng)功能語(yǔ)義的輸入文件，輸入到語(yǔ)法樹(shù)自動(dòng)生成系統和業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統中，觀(guān)察生成語(yǔ)法樹(shù)是否能完整描述業(yè)務(wù)功能語(yǔ)義，再觀(guān)察生成的業(yè)務(wù)邏輯Java代碼是否為目標代碼。以測試和驗證業(yè)務(wù)邏輯Java代碼自動(dòng)生成器。
1.3.2關(guān)鍵技術(shù)
本文的研究目標就是利用bjec-Z語(yǔ)言這一- 較成熟的形式化描述語(yǔ)言，對通用業(yè)務(wù)邏輯語(yǔ)義進(jìn)行描述，使得開(kāi)發(fā)人員在不接觸SSM框架、Java 編程語(yǔ)言的情況下，簡(jiǎn)捷、高效地對SSM框架業(yè)務(wù)層實(shí)現函數邏輯語(yǔ)義進(jìn)行操作，以便提高軟件開(kāi)發(fā)的速度和效率。通過(guò)基于Object-Z 語(yǔ)言對通用業(yè)務(wù)邏輯語(yǔ)義的措述，業(yè)務(wù)邏輯Java代碼自動(dòng)生成器自動(dòng)生成通用業(yè)務(wù)實(shí)現函數Java代碼，其中包括實(shí)現函數繼承父類(lèi)關(guān)系。實(shí)現函數輸入變量和返回值類(lèi)型、實(shí)現函數中私有變量和公共變量的申明和賦值、實(shí)現函數中數學(xué)運算、邏輯運算和判讀表達式等。開(kāi)發(fā)人員可以直接使用或者修改自動(dòng)化生成的實(shí)現函數Java代碼，作為SSM框架業(yè)務(wù)層實(shí)現函數，滿(mǎn)足軟件開(kāi)發(fā)的需求。因此軟件開(kāi)發(fā)人員不需要再花費大量的時(shí)間、精力投入到SSM框架實(shí)現函數的學(xué)習和開(kāi)發(fā)，只需要基于已經(jīng)定義好的映射規則和Object-Z語(yǔ)言，簡(jiǎn)介準確地描述通用業(yè)務(wù)邏輯語(yǔ)義，然后輸入到業(yè)務(wù)還輯Java代碼自動(dòng)生成器中，得到生成的SSM框架業(yè)務(wù)層實(shí)現函數Java代碼。
本文最終給用戶(hù)提供的是可以直接使用或者修改的SSM框架業(yè)務(wù)層實(shí)現函數Java代碼，以便直接提供給軟件開(kāi)發(fā)或者進(jìn)行后續開(kāi)發(fā)。開(kāi)發(fā)者也可以在本課題項目。上繼續研究開(kāi)發(fā)，依照本課題提出的代碼自動(dòng)化方法繼續擴展描述通用業(yè)務(wù)邏輯語(yǔ)義的內容和其映射到SSM框架業(yè)務(wù)層實(shí)現函數代碼的映射規則，并完成實(shí)現函數Java代碼的自動(dòng)化生成。本課題擬提出的關(guān)鍵技術(shù)有：
（1）基于Object-Z語(yǔ)言的通用業(yè)務(wù)邏輯語(yǔ)義的形式化描述
通過(guò)對通用業(yè)務(wù)邏輯語(yǔ)義抽象，基于Oljc-Z語(yǔ)言設計和定義各個(gè)模塊形式化描述通用業(yè)務(wù)邏輯語(yǔ)文中的類(lèi)、方法、狀態(tài)、操作等。用戶(hù)根據自己的需求，可以直接調用已定好的Objec-Z語(yǔ)言模塊，也可以修改或者重新定文已有的0ObjectZ語(yǔ)言模塊來(lái)彌補描述邏輯語(yǔ)義信息的缺陷，之后組合排列各個(gè)模塊來(lái)描述通用業(yè)務(wù)邏輯語(yǔ)義。形式化方法為通用業(yè)務(wù)相關(guān)功能的抽象表達提供了一種規范，要求能夠根據該規范精準、簡(jiǎn)短的表達常用的數據功能。應該具有語(yǔ)義一-致性。既描述語(yǔ)句具有確定的意義，不能具有二義性，不能產(chǎn)生矛盾。
（2）通用業(yè)務(wù)邏輯語(yǔ)義到SSM框架業(yè)務(wù)層實(shí)現
函數代碼的映射規則本課題可以對通用業(yè)務(wù)邏輯語(yǔ)義形式化描述，但是生成目標輸出SSM框架業(yè)務(wù)層實(shí)現函數Java代碼需要依賴(lài)于通用業(yè)務(wù)功能語(yǔ)義描述到SSM框架業(yè)務(wù)層實(shí)現函數Java代碼的映射規則。本課題已對通用業(yè)務(wù)邏輯進(jìn)行抽象化描述，井基于BNP范式定義其映射到SSM框架業(yè)務(wù)層實(shí)現函數Java代碼的映射規則。
開(kāi)發(fā)人員可以直接調用本課題定義的映射規則，完成部分通用業(yè)務(wù)邏輯函數代碼到自動(dòng)化生成。同時(shí)，開(kāi)發(fā)入員可以根據自身開(kāi)發(fā)需求，直接修改或者重新定義已有的映射規則，彌補現有映射規則描述的缺陷
（3）業(yè)務(wù)邏輯實(shí)現函數Java代碼自動(dòng)化生成技術(shù)
以Objec-Z語(yǔ)言描述語(yǔ)義文件作為業(yè)務(wù)邏輯實(shí)現函數Java自動(dòng)生成器的輸入，利用Otjectz語(yǔ)音編輯器檢查寓意描述文件的語(yǔ)法規范等生成語(yǔ)法樹(shù)，并在現有工具等基礎上生成帶有邏輯語(yǔ)義的SSM框架業(yè)務(wù)層實(shí)現函數Java代碼。
1.4研究生期間工作
在近三年的研究生期間，本人學(xué)習了計算機技術(shù)相關(guān)基礎課程，選修了團論、Java語(yǔ)言等課程，自學(xué)形式語(yǔ)言與自動(dòng)機、形式化語(yǔ)育、UML等知識，并積極參與了實(shí)驗室承接的開(kāi)發(fā)項目，主要工作包括：
（1）基于SSM框架的虛擬網(wǎng)業(yè)務(wù)編排系統的后臺業(yè)務(wù)功能開(kāi)發(fā)
虛損網(wǎng)不同于傳統物理網(wǎng)絡(luò )，其網(wǎng)絡(luò )規模可以動(dòng)態(tài)伸縮，并支持網(wǎng)絡(luò )功能的按需配置和定制。虛報網(wǎng)絡(luò )管理模型由虛擬網(wǎng)絡(luò )、傳統網(wǎng)絡(luò )運維E理和成擬網(wǎng)的擴展管理城三個(gè)部分組成。實(shí)驗室承接對基礎設施和網(wǎng)絡(luò )功能的管理任務(wù)。在虛擬網(wǎng)項目中，本人承擔了虛擬網(wǎng)項目后臺業(yè)務(wù)功能開(kāi)發(fā)任務(wù)，與前端開(kāi)發(fā)人員聯(lián)調滿(mǎn)足項目設計需求，與負責后臺底層物理設備人員聯(lián)調，將后臺虛擬網(wǎng)功部署到底層交換機組成的物理網(wǎng)絡(luò )中，實(shí)現對虛擬網(wǎng)網(wǎng)絡(luò )創(chuàng )建和管理功能。經(jīng)過(guò)一年多的項目開(kāi)發(fā)歷程中，本人熟練掌握SSM概架的使用和研究，積累了不少的項目開(kāi)發(fā)經(jīng)驗，并提高了編程能力
（2）從Objcct-Z語(yǔ)言到業(yè)務(wù)邏輯Java代碼的生成器設計與實(shí)現
為了能形式化描述虛擬網(wǎng)項目后臺業(yè)務(wù)應用功能，本人翻鬩大量資料查詢(xún)形式化描述大型軟件系統開(kāi)發(fā)業(yè)務(wù)功能語(yǔ)義的方法，了解到如VDM、B. Z等形式化描述語(yǔ)盲。通過(guò)研究資料對比，本人選擇Object-Z語(yǔ)官作為描述和驗證虛擬網(wǎng)后臺業(yè)務(wù)功能語(yǔ)義的形式化語(yǔ)言。在此過(guò)程中，我還用形式化方法和z. Objct-Z形式化語(yǔ)言描述并驗證了虛擬網(wǎng)項目UML類(lèi)圖和序列圖中的語(yǔ)義信息。因此。
本人在本文研究開(kāi)始之前，已經(jīng)閱讀大量文獻和Object-Z 語(yǔ)言的書(shū)籍，熟悉Objec-Z語(yǔ)言的語(yǔ)法規則和使用規則，也從Objcct-Z語(yǔ)言社區中獲得Object-Z 語(yǔ)言編輯器和其他工具，因此較為熟練地編輯Object-Z語(yǔ)言文件，井能生成可視化語(yǔ)法樹(shù)。不過(guò)社區提供的編輯器并不適用于編寫(xiě)描述SSM框架后臺業(yè)務(wù)功能語(yǔ)義的Objct-Z語(yǔ)言文件，甚至不能生成可視化語(yǔ)法樹(shù)。因此后面本文設計實(shí)現了語(yǔ)法樹(shù)自動(dòng)生成器，來(lái)彌補Object-Z語(yǔ)音編輯器的缺失。
1.5論文組織結構
本文總共分為七章，各章節的具體內容組織如下：
第一章，緒論，首先介紹了本文的研究背景及意義，分析了當前形式化描述語(yǔ)言，包括Objec-Z語(yǔ)言以及代碼自動(dòng)生成技術(shù)的研究現狀。并對本課題的研究?jì)热葑髁苏w性闡述，最后介紹本人在研究生期間的工作內容。
第二章，背景知識與相關(guān)技術(shù)，這一章主要介紹 了本文研究中涉及到的相關(guān)方法、技術(shù)以及本文設計與測試過(guò)程中涉及的框架方法，其中包括UML、形式化方法、Objct-Z 語(yǔ)言、SSM榧架和代碼自動(dòng)化生成技術(shù)，并在該章各個(gè)小節里較詳細介紹了上述方法、技術(shù)以及bject-Z譜言的概念、組成部分、研究?jì)热荨l(fā)展狀況等。
第三章。基于Object-.Z 語(yǔ)盲通用業(yè)務(wù)功能語(yǔ)義形式化描述方法。本章將Objec-Z語(yǔ)言的通用業(yè)務(wù)功能語(yǔ)義形式化描述方法的工作步驟分為兩步，第-步是基于Objct-Z語(yǔ)言語(yǔ)法單元形式化描述通用業(yè)務(wù)的語(yǔ)法內容，包括通用業(yè)務(wù)中對象、方法，屬性等。第二步是排列組合上述描述的語(yǔ)法單元，來(lái)形式化描述通用業(yè)務(wù)功能語(yǔ)義。本章最后以俄羅斯方塊游戲為案例進(jìn)行說(shuō)明。
第四章，業(yè)務(wù)邏輯Java代碼自動(dòng)生成器映射規則定義。結合第三章對bject-Z語(yǔ)言語(yǔ)法分析內容，本章先對目標文件分析，提取業(yè)務(wù)邏輯Java代碼自動(dòng)生成過(guò)程的所需映射參數，然后介紹Objcct-Z 語(yǔ)言語(yǔ)法分析樹(shù)到業(yè)務(wù)邏輯Java代碼的映射過(guò)程，再以簡(jiǎn)單句法制導翻譯式五元組形式化推導和定義映射規則，最后基于BNF范式定義從Object-Z語(yǔ)言語(yǔ)法分析樹(shù)映射到業(yè)務(wù)邏輯Java 代碼的映射規則。即業(yè)務(wù)邏輯Java代碼自動(dòng)生成器映射過(guò)程中依賴(lài)的映射規則。
第五章，業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的設計與實(shí)現。本章是基于第三章和第四章提出的理論，利用ANTLR工具設計與實(shí)現業(yè)務(wù)邏輯Java代碼自動(dòng)生成器。首先。本章以第三章提出的理論為依據，設計與實(shí)現了代碼自動(dòng)生成器中語(yǔ)法樹(shù)自動(dòng)生成模塊，該模塊可以檢查基于Objct-Z 語(yǔ)盲描述語(yǔ)義的輸入文件，確認輸入文件不存在語(yǔ)法錯誤以及語(yǔ)義描述不完善等問(wèn)題。然后基于第四章提出的映射規則，設計與實(shí)現了代碼自動(dòng)生成器中代碼自動(dòng)生成模塊，該模塊將無(wú)誤的輸入文件自動(dòng)轉換成業(yè)務(wù)邏輯Java代碼。通過(guò)語(yǔ)法樹(shù)自動(dòng)生成模塊與代碼自動(dòng)生成模塊的組合，本章完成對業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的設計與實(shí)現。
第六章，業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的測試與驗證。本章將在業(yè)務(wù)邏輯Java代碼自動(dòng)生成器上端寫(xiě)描述虛擬網(wǎng)項目后臺業(yè)務(wù)中添加虛報網(wǎng)功能語(yǔ)文和刪除虛擬網(wǎng)功能語(yǔ)義的輸入文件，然后輸入到代碼自動(dòng)生成器中，觀(guān)察生成的可視化語(yǔ)法樹(shù)是否存在語(yǔ)法錯誤、語(yǔ)義未被完整準確地描述等問(wèn)題，再觀(guān)察生成的業(yè)務(wù)邏輯Java代碼是否為目標代碼，經(jīng)過(guò)上述步驟本章完成測試與驗證。
第七章，總結與展望。本章對以上幾章研究?jì)热莺凸こ涕_(kāi)發(fā)進(jìn)行總結和展望，.
并且指出了本文設計的業(yè)務(wù)邏輯Java代碼自動(dòng)生成器存在的不足之處和后續進(jìn)一步改善的地方。
第二章背景知識與相關(guān)技術(shù)
2.1 UML簡(jiǎn)介
2.1.1 UML概述
2.1.2 UML基本組成
2.1.3 UML缺陷
2.2形式化方法介紹
2.2.1形式化方法的基本概念
2.2.2形式化的規范方法分類(lèi)和驗證方法
2.2.3形式化方法的問(wèn)題和發(fā)展
2.3 ObjctZ語(yǔ)盲
2.3.1 Z語(yǔ)言
2.3.2面向對象的z語(yǔ)盲
2.3.3 Z語(yǔ)言與Object-Z語(yǔ)言的比較
2.4 SSM框架
2.4.1 Spring框架
2.4.2 Spring MVC框架
2.4.3 Mybatis框架
2.4.4 SSM框架的開(kāi)發(fā)流程
2.5代碼自動(dòng)化生成技術(shù)
2.6本章總結
第三章基于Object-Z的通用業(yè)務(wù)功能語(yǔ)義形式化描述方法
3.1基于Object-Z語(yǔ)言對通用業(yè)務(wù)語(yǔ)法描述
3.1.1基于Objct-Z語(yǔ)言對通用業(yè)務(wù)對象描述
3.1.2基于Objc-Z語(yǔ)言對通用業(yè)務(wù)方法描述
3.1.3基于Ofjct-Z語(yǔ)言對通用業(yè)務(wù)類(lèi)初始化描述
3.2基于ObjectZ語(yǔ)言對通用業(yè)務(wù)功能語(yǔ)義的描述
3.2.1基于數學(xué)模型和符號系統描述通用業(yè)務(wù)語(yǔ)義
3.2.2基于排列組合語(yǔ)法單元描述通用業(yè)務(wù)功能語(yǔ)義
33案例說(shuō)明
3.4本章總結
第四章業(yè)務(wù)邏輯Java代碼自動(dòng)生成器映射規則的定義
4.1目標文件分析
4.1.1 Service層業(yè)務(wù)實(shí)現函數的關(guān)定格式
4.1.2 Service層業(yè)務(wù)實(shí)現函數的通用邏輯
4.2 ObjectZ語(yǔ)言語(yǔ)法分析樹(shù)到業(yè)務(wù)邏輯Java代碼的映射過(guò)程
4.3映射規則形式化定義
4.4映射規則BNF范式定義
4.4.1基于BNF范式定義輸入模型
4.4.2基于BNF范式定義輸出模型
4.4.3輸入模型到輸出模型的映射規則的BNF范式定義
4.5本章總結
第五章業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的設計與實(shí)現
5.1 輸入文件分析
5.2 ObjectZ語(yǔ)法解析模塊的設計與實(shí)現
5.3 業(yè)務(wù)邏輯Java代碼生成模塊的設計與實(shí)現
5.3.1通用業(yè)務(wù)中函數的映射輸出
53.2通用業(yè)務(wù)中方法的映射輸出
5.3.3通用業(yè)務(wù)中變量的映射輸出
5.3.4通用業(yè)務(wù)中變量初始化條件的映射輸出
5.3.5通用業(yè)務(wù)中基礎語(yǔ)義的映射
5.4本章總結
第六章業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的測試與驗證
6.1基于Objct-Z語(yǔ)言編寫(xiě)描述語(yǔ)義文件
6.2語(yǔ)法樹(shù)自動(dòng)生成系統的測試與驗證
6.3業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統的測試與驗證
6.4業(yè)務(wù)邏輯Java代碼自動(dòng)生成器性能測試
6.5本章總結
第七章總結及展望
7.1本文工作總結
本文設計并實(shí)現了基于Objec-Z形式化描述語(yǔ)言的SSM框架中業(yè)務(wù)邏輯Java代碼自動(dòng)生成器。其中，本文研究Object-Z語(yǔ)言的語(yǔ)法規則，結合所需生成的SSM框架通用業(yè)務(wù)功能語(yǔ)義。設計和編寫(xiě)了Objca_Z語(yǔ)言的各個(gè)語(yǔ)法單元模板，通過(guò)排列組合的方式形式化描述SSM框架中通用業(yè)務(wù)功能語(yǔ)義，以此完成描述語(yǔ)義語(yǔ)法樹(shù)自動(dòng)生成系統。本文再根據生成的描述語(yǔ)義語(yǔ)法樹(shù)，結合所需生成的SSM框架通用業(yè)務(wù)邏輯Java代碼，設計和實(shí)現了SSM框架通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統。使用人員可以根據自身業(yè)務(wù)需求，基子Objc-Z語(yǔ)言編寫(xiě)描述SSM框架中通用業(yè)務(wù)功能語(yǔ)義文件，也可以直接使用或者修改本文提出的對SSM框架中通用業(yè)務(wù)語(yǔ)義描述的語(yǔ)法單元模板，然后在語(yǔ)法樹(shù)自動(dòng)生成系統上編譯生成語(yǔ)法樹(shù)文件，業(yè)務(wù)邏輯Java代碼自動(dòng)生成器會(huì )編譯語(yǔ)法樹(shù)文件自動(dòng)生成業(yè)務(wù)邏輯Java代碼。使用人員將無(wú)需花費大量時(shí)間成本編寫(xiě)通用業(yè)務(wù)邏輯Java代碼，只需編寫(xiě)簡(jiǎn)易的Oject-Z語(yǔ)言文件，通過(guò)業(yè)務(wù)邏輯Java代碼自動(dòng)生成器直接獲得所需的業(yè)務(wù)邏輯Java代碼。本文的主要內容如下：
（1）提出基于Object-Z語(yǔ)言對通用業(yè)務(wù)邏輯語(yǔ)義的描述
基于Object-Z 這- -面向對象的形式化描述語(yǔ)言，本文根據通用業(yè)務(wù)需求設計了Object-Z語(yǔ)言中各個(gè)語(yǔ)法單元模版，來(lái)形式化描述通用業(yè)務(wù)的類(lèi)、方法、成員變量等，再組合排列已定義好的Object-Z語(yǔ)言語(yǔ)法單元，來(lái)形式化描述ssM框架中通用業(yè)務(wù)功能語(yǔ)義。
（2）設計了形式化描述語(yǔ)義文件到SSM框架通用業(yè)務(wù)邏輯
Java代碼的映射規則基于BNF范式，本文定義描述語(yǔ)義語(yǔ)法樹(shù)作為輸入模型，定義目標SSM框架通用業(yè)務(wù)邏輯Java代碼作為輸出模型，井設計和實(shí)現了形式化描述語(yǔ)義語(yǔ)法樹(shù)文件映射成SSM框架通用業(yè)務(wù)邏輯Java代碼的映射規則（3）設計和實(shí)現SSM框架通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器本文設計了描述語(yǔ)義語(yǔ)法樹(shù)自動(dòng)生成系統和SSM框架通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成系統，并組合成通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器。使用人員只需編寫(xiě)基于Objc-Z語(yǔ)言形式化描述語(yǔ)義文件，利用本文提出的通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器，直接得到SSM框架中通用業(yè)務(wù)邏輯Java代碼。本文提出的Object-Z語(yǔ)言語(yǔ)法單元模板形式化描述了虛報網(wǎng)項目SSM框架中某些業(yè)務(wù)功能語(yǔ)義，再輸入到SSM框架通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器中，最終獲取到目語(yǔ)義，再輸入到ssm框架通用業(yè)務(wù)邏輯框架通用業(yè)務(wù)邏輯代碼自動(dòng)生成器中，最終獲取到目 標Java代碼，完成對SSM框架通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的驗證標Java代碼，完成對SSM框架通用業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的驗證。
本文創(chuàng )新點(diǎn)主要包括兩點(diǎn)：
（1）基于0Objec-Z語(yǔ)言的SSM框架通用業(yè)務(wù)功能語(yǔ)義的形式化描述
基于0 Objec-Z語(yǔ)言的ssm框架通用業(yè)務(wù)功能語(yǔ)義的形式化描述目前對于Obiect-Z 語(yǔ)言這一形式化描述語(yǔ)言的研究成果十分有限，已發(fā)表目前對于Obiect-Z 語(yǔ)言這一形式化描述語(yǔ)言的研究成果十分有限，已發(fā)表 的成果也只是使用Objec-Z語(yǔ)言形式化描述簡(jiǎn)單功能語(yǔ)義。本文提出基于Object的成果也只是使用objec-Z語(yǔ)言形式化描述簡(jiǎn)單功能語(yǔ)義。本文提出基于對象 Z語(yǔ)言形式話(huà)描迷SSM框架中通用業(yè)務(wù)功能語(yǔ)義，將擴大Objcct-Z這一面向對Z語(yǔ)言形式話(huà)描迷ssm框架中通用業(yè)務(wù)功能語(yǔ)義，將擴大Objcct-Z這一面向對 象的形式化語(yǔ)言的使用范圍。開(kāi)發(fā)人員后續可以直接使用或者修改本文提出的語(yǔ)象的形式化語(yǔ)言的使用范圍。開(kāi)發(fā)人員后續可以直接使用或者修改本文提出的語(yǔ) 法單元模板，通過(guò)排列組合語(yǔ)法單元的方式來(lái)形式化擂述SSM框架中通用業(yè)務(wù)法單元模板，通過(guò)排列組合語(yǔ)法單元的方式來(lái)形式化擂述ssm框架中通用業(yè)務(wù) 功能語(yǔ)義功能語(yǔ)義。
（2）通用業(yè)務(wù)功能語(yǔ)義描述到SSM框架中業(yè)務(wù)層實(shí)現函數Java代碼的映射
（通用業(yè)務(wù)功能語(yǔ)義描述到ssm框架中業(yè)務(wù)層實(shí)現函數框架中業(yè)務(wù)層實(shí)現函數代碼的映射 規則規則 目前研究現狀是設計和定義Object-Z語(yǔ)言到C. Java、 Python等編程語(yǔ)言的目前研究現狀是設計和定義Object-Z語(yǔ)言到C. Java、 Python等編程語(yǔ)言的 映射規則，實(shí)現編程代碼的非自動(dòng)化生成。現有研究工作定文的映射規則是無(wú)法映射規則，實(shí)現編程代碼的非自動(dòng)化生成。現有研究工作定文的映射規則是無(wú)法 滿(mǎn)足通用業(yè)務(wù)邏輯語(yǔ)義描述到SSM框架業(yè)務(wù)層實(shí)現函數代碼自動(dòng)化生成的需求。
滿(mǎn)足通用業(yè)務(wù)邏輯語(yǔ)義描述到ssm框架業(yè)務(wù)層實(shí)現函數代碼自動(dòng)化生成的需求。 因此本課題在現有研究?jì)热莼A上，擬設計和定義通用業(yè)務(wù)邏輯語(yǔ)義到SSM框因此本課題在現有研究?jì)热莼A上，擬設計和定義通用業(yè)務(wù)邏輯語(yǔ)義到ssm框 架業(yè)務(wù)層實(shí)現函數代碼的映射規則，結合現有工具完成SSM框架業(yè)務(wù)層實(shí)現函架業(yè)務(wù)層實(shí)現函數代碼的映射規則，結合現有工具完成ssm框架業(yè)務(wù)層實(shí)現函 數代碼的自動(dòng)化生成。本課題設計和定義的規則，將會(huì )幫助Object-Z語(yǔ)言描述更數代碼的自動(dòng)化生成。本課題設計和定義的規則，將會(huì )幫助Object-Z語(yǔ)言描述更 加復雜業(yè)務(wù)邏輯語(yǔ)義，井且會(huì )自動(dòng)化生成SSM框架業(yè)務(wù)層實(shí)現函數代碼。本課加復雜業(yè)務(wù)邏輯語(yǔ)義，井且會(huì )自動(dòng)化生成ssm框架業(yè)務(wù)層實(shí)現函數代碼。本課 題對通用業(yè)務(wù)業(yè)務(wù)邏輯語(yǔ)義到SSM框架業(yè)務(wù)層實(shí)現函數代碼映射規則的研究也題對通用業(yè)務(wù)業(yè)務(wù)邏輯語(yǔ)義到ssm框架業(yè)務(wù)層實(shí)現函數代碼映射規則的研究也 會(huì )幫助Web應用的開(kāi)發(fā)，具有很高的創(chuàng )新性和實(shí)用性。
會(huì )幫助應用的開(kāi)發(fā)，具有很高的創(chuàng )新性和實(shí)用性。
7.2未來(lái)工作展望
本文提出并實(shí)現了通用業(yè)務(wù)邏輯Java 代碼自動(dòng)生成器，使用人員根據自身本文提出并實(shí)現了通用業(yè)務(wù)邏輯代碼自動(dòng)生成器，使用人員根據自身 需求可以直接使用或者修改本文提出的Object-Z 語(yǔ)言各類(lèi)語(yǔ)法單元模版，作為需求可以直接使用或者修改本文提出的Object-Z 語(yǔ)言各類(lèi)語(yǔ)法單元模版，作為 業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的輸入，最終生成SSM框架中通用業(yè)務(wù)邏輯Java業(yè)務(wù)邏輯代碼自動(dòng)生成器的輸入，最終生成SSM框架中通用業(yè)務(wù)邏輯Java 代碼。使用人員也可以修改通用業(yè)務(wù)功能語(yǔ)義描述到SSM框架中業(yè)務(wù)層實(shí)現函代碼。使用人員也可以修改通用業(yè)務(wù)功能語(yǔ)義描述到ssm框架中業(yè)務(wù)層實(shí)現函 數Java代碼的映射規則，繼續開(kāi)發(fā)和完善。 本文尚還有-些需要進(jìn)一步研究完數代碼的映射規則，繼續開(kāi)發(fā)和完善。本文尚還有-些需要進(jìn)一步研究完 善的地方：
（1）本文提出的ObjectZ語(yǔ)言語(yǔ)法單元模板只是簡(jiǎn)單形式化描述某大型系統
（1）本文提出的objectz語(yǔ)言語(yǔ)法單元模板只是簡(jiǎn)單形式化描述某大型系統 開(kāi)發(fā)中部分業(yè)務(wù)邏輯語(yǔ)義。雖能夠使用但具有- -定的局限性。在后續的研究中。
開(kāi)發(fā)中部分業(yè)務(wù)邏輯語(yǔ)義。雖能夠使用但具有--定的局限性。在后續的研究中。 本人將豐富對通用業(yè)務(wù)語(yǔ)法和語(yǔ)義描述的Ojet-Z語(yǔ)言語(yǔ)法單元模板。
本人將豐富對通用業(yè)務(wù)語(yǔ)法和語(yǔ)義描述的Ojet-Z語(yǔ)言語(yǔ)法單元模板。
（2）本文提出的通用業(yè)務(wù)功能語(yǔ)義描述到SSM框架中業(yè)務(wù)層實(shí)現函數Java
（2）本文提出的通用業(yè)務(wù)功能語(yǔ)義描述到SSM框架中業(yè)務(wù)層實(shí)現函數Java 代碼的映射規則也是具有不小的局限性。面對大型軟件系統開(kāi)發(fā)及其復雜多樣的業(yè)務(wù)需求，業(yè)務(wù)邏輯Java代碼自動(dòng)生成器無(wú)法滿(mǎn)足使用人員的需求。本人會(huì )在后續的工作豐富通用業(yè)務(wù)功能語(yǔ)義描述到SSM框架中業(yè)務(wù)層實(shí)現函數Java代碼的映射規則，使得用戶(hù)人員可以輸入基于Object-Z 語(yǔ)言編寫(xiě)的描述復雜業(yè)務(wù)邏輯語(yǔ)義文件，最終獲得目標代碼文件。
（3）本文設計與實(shí)現的業(yè)務(wù)邏輯
Java自動(dòng)生成器可以生成語(yǔ)法樹(shù)讓使用人員檢查編寫(xiě)的描述語(yǔ)義文件，但是無(wú)法自動(dòng)檢查生成的Service 層業(yè)務(wù)實(shí)現函數Java代碼的正確性和可實(shí)用性。使用人員只能手動(dòng)檢查生成代碼判斷是否存在問(wèn)題。參考本文第六章提出的測試和驗證工作，使用人員在部署生成代碼到SSM框架Service 層時(shí)，還需要添加一- 些配置和聲明等。這讓使用人員在實(shí)用生成業(yè)務(wù)實(shí)現函數Javg代碼時(shí)花費更多的時(shí)間和精力。無(wú)疑降低業(yè)務(wù)邏輯Java代碼自動(dòng)生成器的實(shí)用性和簡(jiǎn)便性。
致謝
（如您需要查看本篇畢業(yè)設計全文，請您聯(lián)系客服索取）