技術(shù)編號(hào)：6458252
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明 一般地涉及計(jì)算機(jī)建模及相應(yīng)的約束語言的領(lǐng)域，并且具體而 言涉及一種用于生成關(guān)于模型的約束表達(dá)式的方法以及約束語言編輯器。背景技術(shù)計(jì)算機(jī)建模，特別是軟件建模主要是指在軟件工程領(lǐng)域(諸如，統(tǒng)一建模語言UML、 Eclipse建模框架EMF)中的對(duì)象建模，它從較高的層次 來描述應(yīng)用程序，進(jìn)而可以部分或全部地生成該應(yīng)用的實(shí)現(xiàn)代碼。絕大多 數(shù)模型是由許多方框箭頭圖和一些附隨的文本所組成，這樣的模型所傳達(dá) 的信息是不夠完整的，非正式的和不夠精確的，甚至有些時(shí)候...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。