SAME模型構(gòu)件的形式語義及應(yīng)用研究.pdf

1、現(xiàn)代造船模式的應(yīng)用和推廣，加快了船舶結(jié)構(gòu)設(shè)計(jì)模塊化和標(biāo)準(zhǔn)化技術(shù)的形成。隨著先進(jìn)制造理論的引入，使得現(xiàn)代造船模式迅速向敏捷制造方向發(fā)展。這種船舶敏捷制造，是將某船舶項(xiàng)目的船舶設(shè)計(jì)、生產(chǎn)計(jì)劃、船舶總裝等管理功能作為一個(gè)獨(dú)立的主體或盟主，以船廠內(nèi)部的各生產(chǎn)中心和大量的配套廠、原材料供應(yīng)商和外協(xié)廠組成的多項(xiàng)目動(dòng)態(tài)聯(lián)盟。船舶敏捷制造對企業(yè)建模理論和方法提出了新的要求，基于構(gòu)件的企業(yè)建模方式和形式化模型構(gòu)件描述順應(yīng)了這一要求。 從企業(yè)建模角

2、度看，基于形式語義的船舶敏捷制造企業(yè)(SAME，Ship-Building Agile Manufacture Enterprise)動(dòng)態(tài)建模和模型構(gòu)件自動(dòng)組合的必要性和實(shí)用價(jià)值是顯而易見的：船舶敏捷制造企業(yè)的模型構(gòu)件自動(dòng)組合能大大提高企業(yè)建模的效率，減少人工參與；靜態(tài)語義和動(dòng)態(tài)語義刻畫了船舶敏捷制造的模型構(gòu)件的本質(zhì)屬性，有利于人們把握船舶企業(yè)信息和業(yè)務(wù)活動(dòng)的根本特征；模型構(gòu)件的自動(dòng)組合是構(gòu)件復(fù)用的直接表現(xiàn)形式，能最大程度的實(shí)現(xiàn)船舶敏捷

3、制造企業(yè)模型的功能增值。 綜合考慮敏捷制造企業(yè)中主體(Agent)行為的過程性、并發(fā)性和協(xié)同性，本文提出一種基于動(dòng)態(tài)屬性的企業(yè)模型構(gòu)件抽象表示，旨在刻畫主體在外部動(dòng)作或者環(huán)境作用下的演變過程。首先，給出了一種基于自動(dòng)機(jī)理論的構(gòu)件模型定義，并著重刻畫了構(gòu)件在動(dòng)作作用下的狀態(tài)遷移，采用鄰接鏈表實(shí)現(xiàn)了構(gòu)件及其遷移過程在計(jì)算機(jī)中的表示，同時(shí)給出了一個(gè)基于行為的構(gòu)件模型觀察等價(jià)判定算法。上述研究有效的刻畫了構(gòu)件動(dòng)態(tài)屬性及模型之間的通訊，得

4、到SAME這一個(gè)復(fù)雜系統(tǒng)的動(dòng)態(tài)模型，刻畫了模型構(gòu)件的操作語義。 現(xiàn)有模型接口大多是基于語法的描述，然而，模型構(gòu)件自動(dòng)組合過程依賴于接口解釋的形式語義。為了滿足模型構(gòu)件的共享和復(fù)用需求，本文引入形式本體實(shí)現(xiàn)模型靜態(tài)屬性的語義支撐，為模型構(gòu)件的端口提供了語義解釋模版。針對SAME的分布特性，給出了一個(gè)分布式本體集成算法以構(gòu)造更高層次上的共享語義空間。 本文著重研究面向SAME模型構(gòu)件的本體靜態(tài)語義和進(jìn)程操作語義，奠定SAME