中科院院士陸汝鈐———
揭開(kāi)知件工程的“面紗”
10月24日,中科院院士、計(jì)算機(jī)科學(xué)家陸汝鈐做客“計(jì)算機(jī)科學(xué)前沿高端學(xué)術(shù)論壇”,作了題為“知件和知件工程”的學(xué)術(shù)報(bào)告。
在回顧軟件工程的發(fā)展歷程后,陸汝鈐指出,在通常的軟件設(shè)計(jì)過(guò)程中,代碼和知識(shí)是不可分的。由于缺乏領(lǐng)域知識(shí),軟件工程師和用戶之間的溝通障礙日益嚴(yán)重。用戶在提出需求時(shí)往往使用本領(lǐng)域的“行話”,而軟件工程師很難準(zhǔn)確理解用戶的本意,導(dǎo)致設(shè)計(jì)的軟件無(wú)法滿足用戶需求。如果能將軟件設(shè)計(jì)中包含的“知識(shí)”分離出來(lái),把知識(shí)開(kāi)發(fā)從軟件開(kāi)發(fā)中分離出來(lái)、把知識(shí)開(kāi)發(fā)隊(duì)伍從軟件開(kāi)發(fā)隊(duì)伍中分離出來(lái)、把知識(shí)產(chǎn)業(yè)從軟件產(chǎn)業(yè)中分離出來(lái),形成“兩種商品、兩類開(kāi)發(fā)、兩支隊(duì)伍、兩個(gè)產(chǎn)業(yè)”,就能在產(chǎn)品設(shè)計(jì)和用戶需求的鴻溝上架起橋梁。
那么,如何實(shí)現(xiàn)這種分離呢?陸汝鈐指出,實(shí)現(xiàn)分離的基本原理是“領(lǐng)域知識(shí)+類自然語(yǔ)言理解(PNLU)”。類自然語(yǔ)言(PNL)是類似于自然語(yǔ)言的、半形式化的、能被計(jì)算機(jī)編譯和理解的語(yǔ)言范本。在這種語(yǔ)言范本中,用戶可以自然、準(zhǔn)確地描述需求,而不必顧忌使用“行話”,因?yàn)檫@些“行話”能夠被計(jì)算機(jī)準(zhǔn)確理解。
陸汝鈐表示,類自然語(yǔ)言的需求被輸入計(jì)算機(jī),經(jīng)過(guò)領(lǐng)域知識(shí)庫(kù)的類自然語(yǔ)言理解形成“類自然語(yǔ)言需求報(bào)告”,再經(jīng)過(guò)軟件知識(shí)庫(kù)的處理形成“類自然語(yǔ)言系統(tǒng)設(shè)計(jì)方案”,最終設(shè)計(jì)出“可運(yùn)行原型系統(tǒng)”。這一過(guò)程將領(lǐng)域知識(shí)庫(kù)和軟件知識(shí)庫(kù)分開(kāi),實(shí)現(xiàn)了“知識(shí)”和軟件設(shè)計(jì)的分離。按照這種原理,從軟件設(shè)計(jì)中分離出來(lái)的“知識(shí)模塊”的商品化形式就是“知件”,而基于“知識(shí)”的軟件工程就是“知件工程”。
軟件中的哪些“知識(shí)”需要做成知件呢?通過(guò)比較分析,陸汝鈐指出,只有起支撐作用的、全局的、穩(wěn)定的并且有足夠用戶群的“知識(shí)”才需要做成知件。
陸汝鈐強(qiáng)調(diào),知件和軟件一樣,有自己的生命周期模型和體系結(jié)構(gòu)技術(shù)。知件工程及基于知件的軟件工程把軟件產(chǎn)業(yè)和知識(shí)產(chǎn)業(yè)結(jié)合起來(lái),為IT事業(yè)注入了新的活力。