[發(fā)明專利]一種從元模型生成實(shí)例圖的方法及系統(tǒng)

有效

• 申請(qǐng)?zhí)枺?/td>: 201310059112.X
• 申請(qǐng)日: 2013-02-25
• 公開（公告）號(hào): CN103116496A
• 公開（公告）日: 2013-05-22
• 發(fā)明（設(shè)計(jì)）人: 朱嘉鋼;陸曉;鄧躍設(shè)
• 申請(qǐng)（專利權(quán)）人: 江蘇曉山信息產(chǎn)業(yè)股份有限公司
• 主分類號(hào): G06F9/44
• 分類號(hào): G06F9/44
• 代理公司: 無錫市大為專利商標(biāo)事務(wù)所 32104
• 代理人: 殷紅梅

技術(shù)領(lǐng)域

本發(fā)明涉及一種軟件開發(fā)的方法及系統(tǒng)，尤其是一種從元模型生成實(shí)例圖的方法及系統(tǒng)，屬于軟件開發(fā)的技術(shù)領(lǐng)域。

背景技術(shù)

目前軟件開發(fā)的主要方法主要有兩類，一類是基于軟件重用的思想，利用軟件組件、中間件來快速形成所需的軟件系統(tǒng)；另一類是基于軟件自動(dòng)生成的思想，利用相應(yīng)領(lǐng)域的元模型，經(jīng)過自動(dòng)生成模型進(jìn)而直接生成與模型對(duì)應(yīng)的軟件。與利用軟件組件、中間件來快速形成所需的軟件系統(tǒng)的技術(shù)路線比較，軟件自動(dòng)生成的技術(shù)路線的主要不同在于元模型可以作為一種領(lǐng)域描述語言提供給領(lǐng)域工程師使用，由領(lǐng)域工程師通過修改元模型生成的模型來修改所需的軟件代碼，而領(lǐng)域工程師通常不是計(jì)算機(jī)專家，可以不懂編程技術(shù)。

所述相應(yīng)的領(lǐng)域指一些特定工程領(lǐng)域，如自動(dòng)控制系統(tǒng)設(shè)計(jì)，嵌入式系統(tǒng)設(shè)計(jì)，系統(tǒng)集成，乃至軟件設(shè)計(jì)等。在這些領(lǐng)域中開發(fā)所需的軟件系統(tǒng)需要建立這些領(lǐng)域特定系統(tǒng)的模型，如描述特定系統(tǒng)的類圖。對(duì)這些領(lǐng)域的各種特定模型進(jìn)行抽象，可以得到描述這些特定模型的模型，這就是所述的元模型。元模型也可以是類圖。而由元模型可以生成符合相應(yīng)領(lǐng)域系統(tǒng)需求的模型，這就是所述的元模型的實(shí)例或?qū)嵗龍D。利用相應(yīng)領(lǐng)域的元模型，經(jīng)過自動(dòng)生成模型而直接生成與模型對(duì)應(yīng)的軟件的技術(shù)目前尚不成熟，這一過程有諸多技術(shù)難點(diǎn)需要解決。而由元模型對(duì)應(yīng)實(shí)例自動(dòng)生成方法就是要解決的技術(shù)難點(diǎn)之一。在軟件開發(fā)過程中，由元模型自動(dòng)生成實(shí)例模型進(jìn)而生成相應(yīng)代碼的方法，可以認(rèn)為是開發(fā)特定領(lǐng)域應(yīng)用軟件的一種先進(jìn)方法。目前已有一些軟件開發(fā)環(huán)境支持從實(shí)例模型自動(dòng)生成相應(yīng)應(yīng)用軟件框架或部分代碼（如ROSE平臺(tái)可以根據(jù)類圖生成程序中類和方法的框架），但不支持從元模型自動(dòng)生成實(shí)例模型。在這些目前已有的軟件開發(fā)環(huán)境中，從元模型生成實(shí)例模型的工作仍由手工完成。對(duì)于較為復(fù)雜的軟件模型，這種從元模型生成實(shí)例模型的手工完成方式存在以下問題：

（1）、不能保證所生成實(shí)例模型的正確性。

（2）、降低了開發(fā)效率。

發(fā)明內(nèi)容

本發(fā)明的目的是克服現(xiàn)有技術(shù)中存在的不足，提供一種從元模型生成實(shí)例圖的方法及系統(tǒng)，其能確保軟件開發(fā)過程中從元模型生成實(shí)例模型環(huán)節(jié)中手工完成方式的正確性，提高操作的效率，適應(yīng)范圍廣，安全可靠。

按照本發(fā)明提供的技術(shù)方案，一種從元模型生成實(shí)例圖的方法，所述從元模型生成實(shí)例圖的方法包括如下步驟：

a、提供所需的元模型圖形文件，將所述元模型圖形文件中包含的類以及類之間的關(guān)系映射到第一關(guān)系中；

b、在上述第一關(guān)系中添加所需的應(yīng)用環(huán)境約束條件，以形成對(duì)應(yīng)的約束中轉(zhuǎn)關(guān)系；

c、將上述約束中轉(zhuǎn)關(guān)系生成與應(yīng)用環(huán)境約束條件對(duì)應(yīng)的具體模型的第二關(guān)系；

d、將上述第二關(guān)系逆映射得到第二圖形文件。

還包括步驟e、將第二圖形文件導(dǎo)入可視化軟件開發(fā)環(huán)境中，通過所述可視化軟件開發(fā)環(huán)境得到需要的實(shí)例圖。

所述步驟a中，元模型圖形文件包括由UML描述的類圖圖形文件。

所述步驟b中，在第一關(guān)系中添加所需的應(yīng)用環(huán)境約束條件的方法包括在第一關(guān)系中添加屬性列和屬性值。

所述第一關(guān)系為符合關(guān)系數(shù)據(jù)庫的關(guān)系，所述元模型圖形文件中包含的類以及類之間的關(guān)系對(duì)應(yīng)于第一關(guān)系中的行。

所述步驟c包括如下步驟：

c1、掃描第一關(guān)系，將第一關(guān)系中表示類的行根據(jù)應(yīng)用環(huán)境約束條件生成第二關(guān)系中對(duì)應(yīng)實(shí)例的類的行；

c2、掃描第一關(guān)系，將第一關(guān)系中表示類間關(guān)系的行根據(jù)應(yīng)用環(huán)境約束條件生成第二關(guān)系中對(duì)應(yīng)實(shí)例的類間關(guān)系的行。

所述步驟c1中，所述第一關(guān)系中表示類的行為抽象類時(shí)，在第二關(guān)系中生成的對(duì)應(yīng)為所述抽象類的部分或全部非抽象派生類。

所述步驟c2包括如下步驟：

c21、當(dāng)?shù)谝魂P(guān)系中表示類間關(guān)系行的兩端均為抽象類，則任選一端的抽象類，并找到所述抽象類的非抽象派生類，對(duì)于每一個(gè)所述抽象類的非抽象派生類，執(zhí)行步驟c22；

c22、當(dāng)?shù)谝魂P(guān)系中表示類間關(guān)系行的兩端中有一端為非抽象類，另一端為抽象類時(shí)，則找到所述抽象類的非抽象派生類，對(duì)于每一個(gè)所述非抽象類的非抽象派生類，執(zhí)行步驟c23；

c23、當(dāng)所述第一關(guān)系中表示類間關(guān)系行的兩端均為非抽象類時(shí)，根據(jù)應(yīng)用環(huán)境約束條件直接生成第二關(guān)系中對(duì)應(yīng)實(shí)例間的類間關(guān)系的行。

一種實(shí)現(xiàn)從元模型生成實(shí)例圖的系統(tǒng)，包括

第一可視化建模平臺(tái)，用于生成元模型圖形文件，并將所述元模型圖形文件輸入映射模塊；