基于OOAPN模型的代碼逆向生成*

李金友，于江濤

（通化師范學(xué)院計算機學(xué)院，吉林通化 134002）

Petri網(wǎng)（Petri Net）是一種高效的建模和分析工具，近年來得到了快速的發(fā)展.但是Petri網(wǎng)是一種純理論工具，并不能適合所有領(lǐng)域的應(yīng)用需求.很多學(xué)者針對不同領(lǐng)域的研究對象，提出了各種各樣改進的Petri網(wǎng)理論.如近年來得到普遍應(yīng)用的隨機Petri網(wǎng)、著色 Petri網(wǎng)、模糊 Petri網(wǎng)、代數(shù) Petri網(wǎng)、面向?qū)ο驪etri網(wǎng)和面向?qū)ο蟠鷶?shù)Petri網(wǎng)模型等.

面向?qū)ο蟠鷶?shù)Petri網(wǎng)模型OOAPN（Object Oriented Petri Net）模型支持面向?qū)ο蟮母拍?，支持面向?qū)ο筌浖到y(tǒng)分析和建模，把代數(shù)理論、Petri理論以及面向?qū)ο蠓椒ê图夹g(shù)結(jié)合在一起，為形式化和智能化軟件工程環(huán)境的建立提供了一種有效方法，可以提高并發(fā)系統(tǒng)動態(tài)建模和復(fù)雜系統(tǒng)的高級建模的能力，實現(xiàn)系統(tǒng)的動態(tài)建模和不確定建模，完善現(xiàn)有建模方法的不足.

1 OOAPN模型建模工具系統(tǒng)分析

OOAPN模型建模工具旨在為人們提供一套科學(xué)的工程化的軟件開發(fā)工具系統(tǒng)，有效的管理分析、設(shè)計、編碼和測試的全過程，生成高效、正確的代碼.集成化思想與建模工具緊密地結(jié)合在一起，形成了具有強有力的逆向代碼自動生成的可編程和測試的集成化建模工具.OOAPN建模工具主要作用有:一個具有專用資源和早期查錯功能的交互式開發(fā)環(huán)境、對軟件的開發(fā)和維護過程中的許多環(huán)節(jié)實現(xiàn)了自動化、通過一個強有力的圖形接口，實現(xiàn)了直觀的程序設(shè)計.

基于OOAPN模型的建模工具，提出了模型驅(qū)動模板MDT（Model Driven Template）設(shè)計模式.模型驅(qū)動模板MDT（Model Driven Template）設(shè)計模式主要包含兩個要素:模型和模板.而這兩個要素都是抽象的，即在實際開發(fā)中，可根據(jù)需要采用不同的模型和模板.在建模系統(tǒng)中，模型采用的是OOAPN模型，模板采用的是Cheetah Templates模板引擎，在中心信息庫CIL（Center Information Library）中，用逆向代碼生成器，利用自定義的模式，匹配出符合要求的格式數(shù)據(jù)，再經(jīng)過逆向代碼生成器的加工轉(zhuǎn)換，使其轉(zhuǎn)變成符合nameSpace數(shù)據(jù)結(jié)構(gòu)類型的數(shù)據(jù)，再由CIL加工廠還原成OOAPN模型.系統(tǒng)運行界面如圖1所示.

圖1 是系統(tǒng)運行的界面

2 逆向代碼自動生成過程

逆向代碼的自動生成的主要構(gòu)件是正則表達式，利用自定義的模式，匹配出符合要求的格式數(shù)據(jù)，再經(jīng)過逆向代碼生成器的加工轉(zhuǎn)換，使其轉(zhuǎn)變成符合nameSpace數(shù)據(jù)結(jié)構(gòu)類型的數(shù)據(jù)，再由CIL加工廠還原成OOAPN模型.其系統(tǒng)結(jié)構(gòu)圖如圖2所示:

3 逆向代碼自動生成實現(xiàn)

首先，構(gòu)造自定義的正則模式，以便匹配出符合要求的代碼，進行下一步的轉(zhuǎn)換.如自定義的匹配函數(shù)（方法、事件）的正則模式:

其次，由逆向代碼生成器轉(zhuǎn)換成類型nameSpace數(shù)據(jù)結(jié)構(gòu)類型的數(shù)據(jù).如向一個已經(jīng)匹配的接口添加函數(shù)（方法、事件）:

再次，由中心信息庫CIL（Center Information Library）對nameSpace加工轉(zhuǎn)換成OOAPN模型.如向已經(jīng)在畫布存在的接口圖形的一個函數(shù)添加參數(shù)模型:

最后，由中心信息庫CIL（Center Information Library）對nameSpace加工轉(zhuǎn)換成有 效的OOAPN模型.

圖2 逆向代碼自動生成過程

4 結(jié)語

集成化思想與建模工具緊密地結(jié)合在一起，形成了具有強有力的逆向代碼自動生成的可編程和測試的集成化建模工具，有效的管理分析、設(shè)計、編碼和測試的全過程，生成高效、正確的模型.

:

［1］潘洪軍.面向?qū)ο蟠鷶?shù) Petri網(wǎng)［J］.吉林大學(xué)學(xué)報，2006（3）.

［2］克萊普，等著.解析MDA［M］.鮑志云，譯.人民郵電出版社，2004.

［3］袁崇義.Petri網(wǎng)原理與應(yīng)用［M］.北京:電子工業(yè)出版社，1998.

［4］賈立新，薛鈞義，茹峰.采用模糊Petri網(wǎng)的形式化推理算法及其應(yīng)用［J］.西安交通大學(xué)學(xué)報，2003（12）.

［5］叢佩政，任愛華.基于面向?qū)ο驪etri網(wǎng)的模型驅(qū)動開發(fā)方法的研究［J］.微計算機信息，2006（28）.