任何建筑項(xiàng)目都需要在開始施工之前制定一系列初步計(jì)劃，以作為整個(gè)過程的基礎(chǔ)和指南。在軟件開發(fā)中，遵循類似的過程，其中包括一個(gè)稱為建模的特定步驟。加泰羅尼亞大學(xué)計(jì)算機(jī)科學(xué)，多媒體和電信學(xué)院教授，互聯(lián)網(wǎng)上的SOM研究實(shí)驗(yàn)室研究小組成員解釋說：“該過程等同于在建造建筑物之前為建筑物生成一套計(jì)劃。

任何建筑項(xiàng)目都需要在開始施工之前制定一系列初步計(jì)劃，以作為整個(gè)過程的基礎(chǔ)和指南。在軟件開發(fā)中，遵循類似的過程，其中包括一個(gè)稱為建模的特定步驟。加泰羅尼亞大學(xué)計(jì)算機(jī)科學(xué)，多媒體和電信學(xué)院教授，​​互聯(lián)網(wǎng)上的SOM研究實(shí)驗(yàn)室研究小組成員解釋說：“該過程等同于在建造建筑物之前為建筑物生成一套計(jì)劃。”羅伯特·克拉里索（RobertClarisó）跨學(xué)科研究所（IN3）。

工程師使用建模從特定的角度描述軟件系統(tǒng)，例如軟件將使用的數(shù)據(jù)，其組件或他們期望其運(yùn)行的方式?；氐浇ㄖ?xiàng)目示例，計(jì)劃將是模型，這些模型可用于開發(fā)階段的指導(dǎo)以及進(jìn)行模擬和測(cè)試。

研究人員說：“最常用的模型類型是UML（統(tǒng)一建模語(yǔ)言）類圖符號(hào)，它用于描述軟件系統(tǒng)的結(jié)構(gòu)。” 使用這些模型的優(yōu)點(diǎn)是它們比源代碼更抽象，源代碼包含有關(guān)所用技術(shù)的許多特定細(xì)節(jié)。用克萊里索的話來說，“模型可以更簡(jiǎn)潔，更容易產(chǎn)生和理解。”

這樣，建模將更多地作為一個(gè)初步步驟，而不是源代碼的替代方法。這些模型使您更容易理解正在開發(fā)的系統(tǒng)，還可以用于生成某些實(shí)現(xiàn)元素，從而使編程過程中最重復(fù)的部分自動(dòng)化。

驗(yàn)證工具的作用

工程師使用驗(yàn)證工具來防止可能影響代碼本身以及系統(tǒng)最終實(shí)現(xiàn)的錯(cuò)誤。Clarisó強(qiáng)調(diào)了這一過程的重要性，他說：“我們需要確保模型正確，以最大程度地減少軟件中可能出現(xiàn)的錯(cuò)誤。”

作為在《對(duì)象技術(shù)雜志》上發(fā)表的一項(xiàng)研究的一部分，Clarisó及其同事Carlos A.González（Gran Telescopio Canarias研究員）和Jordi Cabot（ICREA研究員）已經(jīng)為UML / OCL提出了一種新的驗(yàn)證技術(shù)。解決常見問題的模型。設(shè)計(jì)師每次對(duì)模型進(jìn)行更改（例如添加，刪除或修改信息）時(shí)，都意味著必須重新分析整個(gè)系統(tǒng)，這就是為什么通常僅在確定了模型之后才進(jìn)行驗(yàn)證的原因。在過程結(jié)束時(shí)生產(chǎn)。

正如Clarisó解釋的那樣，“我們的文章概述了增量驗(yàn)證方法的應(yīng)用，也就是說，只要有更改，我們就可以更輕松地驗(yàn)證模型。” 不僅可以像現(xiàn)在這樣在過程結(jié)束時(shí)驗(yàn)證模型，還可以在構(gòu)建過程中驗(yàn)證模型，而不必從頭開始，這有助于早期發(fā)現(xiàn)錯(cuò)誤。

遍布全國(guó)和全球的活躍社區(qū)

這種方法在證書的使用方面也是創(chuàng)新的，這些示例說明了模型的正確操作。正如研究人員指出的那樣：“當(dāng)我們修改模型時(shí)，擁有新證書將消除對(duì)它進(jìn)行驗(yàn)證的需要。

適應(yīng)證書的成本比重新運(yùn)行驗(yàn)證過程的成本要低得多。”在解釋該過程時(shí)，作者建議，與其驗(yàn)證新模型，不如將原始模型的證書改編為新模型。他們現(xiàn)在面臨的挑戰(zhàn)是將這些技術(shù)集成到現(xiàn)有的軟件建模工具和環(huán)境中。

擔(dān)任西班牙模型驅(qū)動(dòng)軟件工程卓越網(wǎng)絡(luò)協(xié)調(diào)員的克拉里索在評(píng)論整個(gè)行業(yè)時(shí)強(qiáng)調(diào)，“西班牙建模界仍然非?；钴S，并參與了各種國(guó)家和國(guó)際研究項(xiàng)目。”

 

實(shí)際上，盡管該網(wǎng)絡(luò)不再運(yùn)行，但社區(qū)仍作為年度軟件和數(shù)據(jù)庫(kù)工程大會(huì)的一部分而協(xié)同工作并進(jìn)行協(xié)作，該大會(huì)擁有一個(gè)專門用于模型驅(qū)動(dòng)的軟件工程的空間。