專利名稱：在業(yè)務模型中集成模型語義和領域語義的方法和裝置的制作方法
技術領域：
本發(fā)明涉及一種在業(yè)務模型中集成模型語義和領域語義的方法和裝置，以便于集成和利用嵌入在業(yè)務模型中的語義。
背景技術：
隨著在現(xiàn)今的企業(yè)中模型驅(qū)動方式的廣泛采用，業(yè)務被建模為駐留在多個層(比如戰(zhàn)略、運轉(zhuǎn)、執(zhí)行、實施等)中的大量模型。但是這些模型中的語義內(nèi)容(含義)仍然沒有很好地集成，因此使得這些模型很難理解、交流、再利用和利用。
業(yè)務模型中的語義大致地可以劃分為兩類1.模型語義這種語義通常嵌入在模型的元結(jié)構(gòu)中。以業(yè)務處理模型為例，每個建模元素(例如，行動、數(shù)據(jù)對象、控制等)以及多個建模元素之間的關系(例如，一個行動會發(fā)送/接收一個數(shù)據(jù)對象)代表一個具體而確切的含義。
2.領域語義這種語義通常表現(xiàn)為領域知識，并且被引用在業(yè)務模型所使用的字/短語中。在用于建模元素/關系的名稱、標題、或注釋中使用的每個字代表該領域語義中的某個具體而確切的含義。
目前，在利用和處理語義方面還存在以下的困難。
首先，不同的業(yè)務建模方法具有不同的元模型作為模型語義的規(guī)范。并且只有共享相同元模型的這些模型才能共享一個共同的模型語義庫。
其次，沒有已經(jīng)建立的標準來規(guī)定和解釋在業(yè)務模型內(nèi)的字和短語的含義。
更重要的是，模型語義和領域語義雖然對于業(yè)務是重要的，但是通常在解決業(yè)務問題時是隔離的?；蛘哒f，現(xiàn)今的業(yè)務語義實際上被劃分為兩個隔離的部分。
不同的公司或組織已經(jīng)隱含地或明確地提出和應用了一些現(xiàn)有的方法和方式，以解決上述的問題。
統(tǒng)一建模語言(UML(Unified Modeling Language))是由對象管理組織(OMG(Object Management Group))設計的以規(guī)定、視覺化和注解(specify，visualize和document)用于軟件系統(tǒng)的模型。對于成為用于不同種類的軟件元素的共同的建模語言的目標，UML可以被認為是努力統(tǒng)一模型語義。元對象架構(gòu)(MOF(Meta ObjectFramework))是UML中的規(guī)范以支持元模型規(guī)范。符合相同元模型的所有模型將共享共同的模型語義庫，這樣能夠互操作。但是UML的問題在于1)很難強求所有的建模方法使用共同的語言(比如MOF)作為其元模型描述語言；2)遵從不同元模型的兩個模型(甚至兩者都是基于MOF)仍然不能完全共享模型語義，仍然很難建立這些模型之間的關系。
本體(Ontology)被許多人認為是解決與領域語義有關的問題的最好的方式。RDF(S)以及DAML/OWL是由標準組織定義的，用以正式地表示具體領域(比如銀行和電信)內(nèi)的概念以及概念間的關系。但是，主要的問題在于很難具有所有相關方都能接受的共同的本體。
以上描述的兩種方式實際上都沒有充分考慮業(yè)務語義隔離問題的處理。也就是說，以現(xiàn)今的方式，模型要么被看作一組沒有領域內(nèi)容(需要由人類理解)的元結(jié)構(gòu)，要么只是被看作和被應用的環(huán)境無關的概念/關系體系。然而當需要通過計算機輔助裝置進一步理解和應用模型時，兩種語義不僅都是重要的，而且都是必不可少的。這個問題已經(jīng)成為在很好地解決業(yè)務問題時進一步應用模型驅(qū)動方式的主要障礙。
概括地講，現(xiàn)今利用業(yè)務語義的問題可以概括為1.模型語義和領域語義通常在實際的業(yè)務實踐中是隔離的，這使得它們的集成計算是不可能的；2.業(yè)務模型中的領域語義是模糊的，并且缺乏在遵從不同元模型的業(yè)務模型之間共享領域語義的機制。

發(fā)明內(nèi)容
本發(fā)明的目的在于提供一種業(yè)務模型中集成模型語義和領域語義的方法和裝置，以克服現(xiàn)有技術的上述問題。
為此，本發(fā)明提供了一種業(yè)務模型中集成模型語義和領域語義的方法，包括業(yè)務模型輸入步驟，輸入要實現(xiàn)的業(yè)務模型；領域語義定位步驟，將業(yè)務模型的建模元素的領域語義定位到領域本體，并輸出相應的領域模型語義；模型語義轉(zhuǎn)換步驟，將業(yè)務模型的建模元素轉(zhuǎn)換成模型本體表示的業(yè)務模型語義；統(tǒng)一語義模型形成步驟，將上述業(yè)務模型語義和領域模型語義組合，輸出統(tǒng)一語義模型。
本發(fā)明還提供了一種業(yè)務模型中集成邏輯語義和領域語義的裝置，包括領域語義定位器，將輸入的業(yè)務模型的建模元素的領域語義定位到領域本體，并輸出相應的領域模型語義；模型語義轉(zhuǎn)換器，將輸入的業(yè)務模型的建模元素轉(zhuǎn)換成模型本體表示的業(yè)務模型語義；統(tǒng)一語義模型形成器，將上述業(yè)務模型語義和領域模型語義組合，輸出統(tǒng)一語義模型。
本發(fā)明的主要關鍵點在于如何將嵌入在業(yè)務模型中的兩種語義，即領域語義和模型語義，相互關聯(lián)和結(jié)合，假定這些模型是由不同的人遵從不同的元模型和領域符號進行的。
本發(fā)明的一個關鍵點在于使用統(tǒng)一語義模型USM作為嵌入在模型中的模型語義和領域語義的共同的基礎。與通常使用本體來表示具體模型中的概念相比，本發(fā)明創(chuàng)造性地使用本體來表示具體建模方法的模型語義。統(tǒng)一語義模型使用概念和關系作為基本建模元素，并且組織成本體的形式。在集成模型語義和領域語義期間，業(yè)務模型以USM的方式表示。然后通過注解建模元素的注釋的標題中使用的字/短語，業(yè)務模型中的領域語義被指定和定位到領域本體中的相應的概念或關系。
之后，業(yè)務模型中的語義，不論是模型語義或領域語義，被轉(zhuǎn)換為統(tǒng)一語義模型，然后被用于支持進一步的工作，比如分析、推理等。
為了保證產(chǎn)生的統(tǒng)一語義模型的質(zhì)量，也可選擇使用推理引擎根據(jù)嵌入在領域和模型本體中的一些約束，以及用戶提供的規(guī)則或政策，來驗證統(tǒng)一語義模型。
本發(fā)明的方法可以由軟件中的算法自動進行或者由圖形用戶界面輔助進行。
本發(fā)明具有以下的優(yōu)點，領域語義和模型語義都被收集和利用，對現(xiàn)有模型的充分利用將產(chǎn)生更有意義的業(yè)務結(jié)果和價值。
已知建模方法和格式的模型都被支持，而不需要對建模者有任何先決條件的要求。
將業(yè)務模型語義集成為統(tǒng)一語義模型能夠有很多的進一步應用，業(yè)務價值是巨大的。
通過以下的結(jié)合附圖的說明及權利要求書的內(nèi)容，并且隨著對本發(fā)明的更全面了解，本發(fā)明的其他目的和效果將變得更加清楚和易于理解。


下面將參考附圖來描述本發(fā)明的優(yōu)選實施方式，其中圖1表示根據(jù)本發(fā)明將業(yè)務模型中的模型語義和領域語義指定和定位到模型本體和領域本體。
圖2表示根據(jù)本發(fā)明在業(yè)務模型中集成模型語義和領域語義裝置的系統(tǒng)結(jié)構(gòu)圖。
圖3表示根據(jù)本發(fā)明在業(yè)務模型中集成模型語義和領域語義的方法的流程圖。
圖4表示以UML表達的業(yè)務處理元模型。
圖5表示用于銀行業(yè)的領域本體的示例。
圖6表示信貸業(yè)務處理的一個示例。
圖7表示規(guī)范圖6中的信貸業(yè)務處理。
圖8表示對業(yè)務模型的模型語義轉(zhuǎn)換和領域語義定位的詳細流程。
具體實施例方式
圖1示意地表示在根據(jù)本發(fā)明的在業(yè)務模型中集成模型語義和領域語義的方法中，將業(yè)務模型中的模型語義和領域語義指定和定位到模型本體和領域本體。模型本體收集模型語義，領域本體收集領域語義。然后通過以下方式，能夠明確地指定業(yè)務模型的語義，即將業(yè)務模型的建模元素與模型本體鏈接，并且將建模元素中的字和短語，比如標題或注釋，注解為領域語義中的概念或關系。共同的本體表述保證了模型語義和領域語義都能轉(zhuǎn)換成統(tǒng)一語義模型。
圖2表示根據(jù)本發(fā)明在業(yè)務模型中集成模型語義和領域語義的裝置20的系統(tǒng)結(jié)構(gòu)圖。該裝置20有以下三個主要的輸入業(yè)務模型，即業(yè)務戰(zhàn)略/運營和解決方案組成/實施模型；用于業(yè)務模型的元模型，通常是UML模型；用戶定義的規(guī)則以描述對統(tǒng)一語義模型的約束。
該裝置的輸出是統(tǒng)一語義模型，由嵌入在領域/模型本體中的一些約束，以及用戶提供的規(guī)則/策略來驗證統(tǒng)一語義模型。
圖2所示的裝置20包括以下部件領域語義定位器21，用于定位模型描述內(nèi)的領域概念或關系。模型語義轉(zhuǎn)換器22，用于將業(yè)務模型轉(zhuǎn)換成本體表示。統(tǒng)一語義模型形成器23，用于將領域語義定位器21和模型語義轉(zhuǎn)換器22處理的業(yè)務模型形成為統(tǒng)一業(yè)務模型并輸出。裝置20還可以選擇包括推理引擎24。推理引擎24可以是一般用途規(guī)則引擎或增強的描述邏輯引擎，能夠根據(jù)現(xiàn)有的知識推理新的事實，并根據(jù)這些事實導出一些結(jié)論。裝置20還可以選擇包括語義模型驗證器25，根據(jù)用戶定義的規(guī)則以及嵌入在領域/模型本體中的約束來驗證統(tǒng)一語義模型。裝置20還包括本體庫26，本體庫26具有領域本體261和模型本體262，分別用于存儲領域語義和模型語義。
該裝置20還可以選擇包括模型規(guī)范器27和模型本體生成器28，以支持裝置20的處理過程。模型規(guī)范器27根據(jù)領域本體261中的詞匯來檢驗和規(guī)范業(yè)務模型元素中的標題和注釋中使用的詞匯。規(guī)范后的業(yè)務模型被輸入到領域語義定位器21和模型語義轉(zhuǎn)換器22，以進行相應處理。模型本體生成器28根據(jù)UML或XSD元模型產(chǎn)生模型本體表示。
圖3表示根據(jù)本發(fā)明在業(yè)務模型中集成模型語義和領域語義方法的流程圖。
以下描述了利用本發(fā)明的裝置20實現(xiàn)本發(fā)明的方法的簡單完整的示例。
本發(fā)明的裝置20可以選擇在圖3步驟S31之前，由模型本體生成器28根據(jù)元模型生成模型本體262。以業(yè)務處理建模為例，圖4是用于業(yè)務處理的UML元模型，其中表示了對業(yè)務處理建模時主要的建模元素，比如Activity、IA以及DataLane等。
然后，模型本體生成器28根據(jù)用于業(yè)務處理的元模型生成模型本體262。下面是根據(jù)圖4的UML元模型生成的模型本體262的具體示例。
...
//定義模型本體中的類<owl:Ontology rdf:about="http://semantics.crl.ibm.com/process"/>
<owl:Classrdf:about="http://semantics.crl.ibm.com/process#Activity"/>//對應于圖4中的<Activity>
<owl:Classrdf:about="http://semantics.crl.ibm.com/process#ActivityLane"/>//對應于圖4中的<ActivityLane>
<owl:Classrdf:about="http://semantics.crl.ibm.com/process#BusinessProcess"/>//對應于圖4中的<BusinessProcess>
<owl:Classrdf:about="http://semantics.crl.ibm.com/process#Choice"/>//對應于圖4中的<Choice>
<owl:Classrdf:about="http://semantics.crl.ibm.com/process#ControlFlow"/>//對應于圖4中的<ControlFlow>
<owl:Class rdf:about="http://semantics.crl.ibm.com/process#IA"/>//對應于圖4中的<IA>
<owl:Classrdf:about="http://semantics.crl.ibm.com/process#InformationFlow"/>//對應于圖4中的<InformationFlow>
....//這里未顯示出模型本體中所有的類//定義關系hasActivity<owl:ObjectPropertyrdf:about="http://semantics.crl.ibm.com/process#hasActivity">//關系的名字是hasActivity<rdfs:domainrdf:about="http://semantics.crl.ibm.com/process#ActivityLane"/>//關系的頭是ActivityLane<rdfs:rangerdf:about="http://semantics.crl.ibm.com/process#Activity"/>//關系的尾是Activity</owl:ObjectProperty>
//定義關系hasActivityLane<owl:ObjectPropertyrdf:about="http://semantics.crl.ibm.com/process#hasActivityLane">//關系的名字是hasActivityLane<rdfs:domainrdf:about="http://semantics.crl.ibm.com/process#BusinessProcess">//關系的頭是BusinessProcess<rdfs:rangerdf:about="http://semantics.crl.ibm.com/process#ActivityLane"/>//關系的尾是ActivityLane</owl:ObjectProperty>
...
生成的模型本體262將被存儲在本體庫26中。
本發(fā)明的裝置20在步驟S31之前，還準備領域本體261。領域本體261收集業(yè)務模型中使用的領域語義。領域語義可以來自工業(yè)標準或領域?qū)＜?，并且能夠被再使用。圖5表示用于銀行業(yè)的領域本體的示例。
以下具體示例，表示了用于銀行業(yè)的領域本體。
...
//定義領域本體banking<owl:Ontology rdf:about="http://semantics.crl.ibm.com/banking"/>
//定義類Operation，對應于圖5中的<Operation>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#Operation"/>
//定義類Transaction，對應于圖5中的<Transaction>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#Transaction">
<rdfs:subClassOfrdf:about="http://semantics.crl.ibm.com/banking#Operation"/>//表明是<Operation>的子類</owl:Class>
//定義類NonTransaction，對應于圖5中的<NonTransaction>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#NonTransaction">
<rdfs:subClassOfrdf:about="http://semantics.crl.ibm.com/banking#Operation"/>//表明是Operation的子類<owl:disjointWithrdf:about="http://semantics.crl.ibm.com/banking#Transaction"/>//表明與Transaction是不連接的</owl:Class>
//定義實例Inward，對應于圖5中的<Inward>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#Inward">
<rdfs:typerdf:about="http://semantics.crl.ibm.com/banking#Transaction"/>//表明屬于類Transaction<owl:sameAsrdf:about="http://semantics.crl.ibm.com/banking#Loan"/>//表明與Loan相同</owl:Class>
//定義實例Outward，對應于圖5中的<Outward>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#Outward">
<rdfs:typerdf:about="http://semantics.crl.ibm.com/banking#Transaction"/>//表明屬于類Transaction<owl:differentFromrdf:about="http://semantics.crl.ibm.com/banking#Inward"/>//表明與Inward不同<owl:sameAsrdf:about="http://semantics.crl.ibm.com/banking#Debit"/>//表明與Debit相同</owl:Class>
//定義實例Inquiry，對應于圖5中的<Inquiry>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#Inquiry">
<rdfs:typerdf:about="http://semantics.crl.ibm.com/banking#NonTransaction"/>//表明屬于類NonTransaction</owl:Class>
//定義實例Settlement，對應于圖5中的<Settlement>
<owl:Classrdf:about="http://semantics.crl.ibm.com/banking#Settlement">
<rdfs:typerdf:about="http://semantics.crl.ibm.com/banking#NonTransaction"/>//表明屬于類NonTransaction</owl:Class>
...
本發(fā)明的裝置20可以選擇在步驟S31之前，還對要處理的業(yè)務模型進行規(guī)范。圖6表示信貸業(yè)務處理的一個示例，其中首先進行“query(詢問)”動作，然后平行地進行“l(fā)oan(貸款)”、“debit(計入借方)”以及“clearance(清算)”動作。該處理中的語義雖然對于人是非常清楚的，但是對于機器不是這樣，因為流程結(jié)構(gòu)中的語義與用于具體應用領域(這里是銀行業(yè))的語義沒有很好地集成。
根據(jù)文本分析技術，業(yè)務處理中所使用的詞匯，將根據(jù)領域本體中的詞匯被分析和規(guī)范。模型規(guī)范器27將根據(jù)圖5中的領域本體按照現(xiàn)有的規(guī)范技術產(chǎn)生一個規(guī)范業(yè)務過程，如圖7所示，其中“query”被規(guī)范為“inquiry(查詢)”，“clearance”被規(guī)范為“settlement(結(jié)算)”下面回到圖3，在步驟S31，輸入要處理的業(yè)務模型(可能經(jīng)過規(guī)范處理)。
在步驟S32，規(guī)范化后的業(yè)務模型將被模型語義轉(zhuǎn)換器22轉(zhuǎn)換成模型本體表示的業(yè)務模型語義。領域語義定位器21將遍歷生成的業(yè)務模型語義，并在領域本體261中查找并定位業(yè)務模型語義中出現(xiàn)的領域概念或關系。領域語義定位器21和模型語義轉(zhuǎn)換器22以領域本體、模型本體以及規(guī)范了的業(yè)務模型作為輸入。領域語義定位器21使業(yè)務模型的建模元素中的標題/注釋中的字/短語定位到領域本體261中的相應概念/關系。模型語義轉(zhuǎn)換器22將業(yè)務模型轉(zhuǎn)換為業(yè)務模型語義。步驟S32的詳細流程如圖8所示。
在圖8中，在步驟S80，模型語義轉(zhuǎn)換器22從規(guī)范了的業(yè)務模型提取業(yè)務模型建模元素。在步驟S81，模型語義轉(zhuǎn)換器22在模型本體262中查找建模元素。在步驟S82，如果不存在該建模元素，則在步驟S83提出異常。在步驟S82，如果存在該建模元素，則在步驟S84對于該建模元素創(chuàng)建模型本體的實例，并輸出業(yè)務模型的本體表達，即業(yè)務模型語義。在步驟S85，提取模型的具體項目(例如，標題、注釋)。在步驟S86，分析建模元素的字/短語。在步驟S87，由領域語義定位器21在領域本體261中查找字/短語。在步驟S88，如果不存在該字/短語，則在步驟S83提出異常。在步驟S88，如果存在該字/短語，則在步驟S89對于該具體項目創(chuàng)建領域本體的實例，并對于領域概念輸出本體表達，即領域模型語義。
在圖3的步驟S33，經(jīng)過上述處理而生成的業(yè)務模型語義和領域模型語義由統(tǒng)一語義模型形成器23組合，輸出統(tǒng)一語義模型。
以下是對于圖7的業(yè)務處理所產(chǎn)生的統(tǒng)一語義模型的示例。
//定義流程CreditLoan<process:BusinessProcessrdf:about="http://semantics.crl.ibm.com/SinoPac#CreditLoan"/>
//定義活動A001<process:Activityrdf:about="http://semantics.crl.ibm.com/SinoPac#A001">
<process:activityLabelrdf:about="http://semantics.crl.ibm.com/banking#Inquiry"/>//表明活動A001是Inquiry<process:precederdf:about="http://semantics.crl.ibm.com/SinoPac#A002"/>//表明A001在A002之前</process:Activity>
//定義活動A002<process:Activityrdf:about="http://semantics.crl.ibm.com/SinoPac#A002">
<process:activityLabelrdf:about="http://semantics.crl.ibm.com/banking#Loan"/>//表明活動A002是Loan<process:parallelrdf:about="http://semantics.crl.ibm.com/SinoPac#A003"/>//表明A002與A003平行<process:parallelrdf:about="http://semantics.crl.ibm.com/SinoPac#A004"/>//表明A002與A003平行</process:Activity>
//定義活動A003
<process:Activityrdf:about="http://semantics.crl.ibm.com/SinoPac#A003">
<process:activityLabelrdf:about="http://semantics.crl.ibm.com/banking#Debit"/>//表明活動A003是Debit</process:Activity>
//定義活動A004<process:Activityrdf:about="http://semantics.crl.ibm.com/SinoPac#A004">
<process:activityLabelrdf:about="http://semantics.crl.ibm.com/banking#Settlement"/>//表明活動A004是Settlement</process:Activity>
在圖3步驟S33之后，本發(fā)明的方法還可以選擇包括對統(tǒng)一語義模型進行驗證。在形成統(tǒng)一語義模型之后，一些約束規(guī)則可以被定義為本體的一部分來驗證形成的統(tǒng)一語義模型。例如可以指定以下規(guī)則-業(yè)務處理模型中的每個“Activity”元素應當表示銀行業(yè)領域本體中的“Operation”概念。
-業(yè)務處理模型中的每個“Object”元素應當表示銀行業(yè)領域本體中的“Document”概念。
這些約束也可以轉(zhuǎn)換為如下的語義模型//定義約束activityLabel，表明“Activity”元素應該表示銀行業(yè)領域本體中的“Operation”概念<owl:ObjectPropertyrdf:about="http://semantics.crl.ibm.com/constraints#activityLabel">
<rdfs:domainrdf:about="http://semantics.crl.ibm.com/process#Activity"/>
<rdfs:rangerdf:about="http://semantics.crl.ibm.com/banking#Operation"/>
</owl:ObjectProperty>
//定義約束objectLabel，表明“Object”元素應當表示銀行業(yè)領域本體中的“Document”概念<owl:ObjectPropertyrdf:about="http://semantics.crl.ibm.com/constraints#objectLabel">
<rdfs:domainrdf:about="http://semantics.crl.ibm.com/process#Object"/>
<rdfs:rangerdf:about="http://semantics.crl.ibm.com/banking#Document"/>
</owl:ObjectProperty>
然后輸入統(tǒng)一語義模型-包含模型本體、領域本體、模型本體的實例(從規(guī)范業(yè)務處理生成)、以及約束本體-到推理引擎，并且檢驗語義模型的一致性。
以下是用戶提出的兩個更復雜的規(guī)則。
規(guī)則1應當在任何“transaction”之前進行“inquiry”。
//定義活動A001<process:Activityrdf:about="http://semantics.crl.ibm.com/SinoPac#A001">
<process:activityLabelrdf:about="http://semantics.crl.ibm.com/banking#Inquiry"/>
//定義關系precede<process:precederdf:about="http://semantics.crl.ibm.com/process#Operation"/>
</process:Activity>
規(guī)則2應當在任何“transaction”之后進行“settlement”。
//定義活動A004<process:Activityrdf:about="http://semantics.crl.ibm.com/SinoPac#A004">
<process:activityLabelrdf:about="http://semantics.crl.ibm.com/banking#Inquiry"/>
<process:afterrdf:about="http://semantics.crl.ibm.com/process#Operation"/>
</process:Activity>
//定義關系after<owl:ObjectPropertyrdf:about="http://semantics.crl.ibm.com/process#after">
<owl:inverseOfrdf:about="http://semantics.crl.ibm.com/process#precede"/>
</owl:ObjectProperty>
可以看出，規(guī)則2使為圖7產(chǎn)生的統(tǒng)一語義模型與規(guī)則2不一致，因為按照圖5的用于銀行業(yè)的領域本體的示例，圖7中的Loan屬于“transaction”。也就是說，在圖7中，“transaction”與“settlement”是平行的，而不是在“transaction”之后進行“settlement”的，因此這與規(guī)則2是不一致的。其他應用程序可以接收不一致檢測的結(jié)果并采取必要的措施向用戶提出警告，或自動糾正錯誤使語義模型保持一致。
本發(fā)明的方法可以編碼為存儲在計算機可讀存儲介質(zhì)上的程序，計算機執(zhí)行該程序以實現(xiàn)本發(fā)明的方法。因此，本發(fā)明也覆蓋根據(jù)本發(fā)明的方法編碼的計算機程序產(chǎn)品，以及存儲該計算機程序的計算機可讀存儲介質(zhì)。
不脫離本發(fā)明的構(gòu)思和范圍，可以做出許多其它改變或改型。應當理解，本發(fā)明不限于特定的實施方式，本發(fā)明的范圍由所附權利要求限定。
權利要求
1.一種在業(yè)務模型中集成模型語義和領域語義的方法，包括業(yè)務模型輸入步驟，輸入要實現(xiàn)的業(yè)務模型；領域語義定位步驟，將業(yè)務模型的建模元素的領域語義定位到領域本體，并輸出相應的領域模型語義；模型語義轉(zhuǎn)換步驟，將業(yè)務模型的建模元素轉(zhuǎn)換成模型本體表示的業(yè)務模型語義；統(tǒng)一語義模型形成步驟，將上述業(yè)務模型語義和領域模型語義組合，輸出統(tǒng)一語義模型。
2.根據(jù)權利要求1的方法，其中在業(yè)務模型輸入步驟之前生成模型本體。
3.根據(jù)權利要求1的方法，其中在業(yè)務模型輸入步驟之前準備領域本體。
4.根據(jù)權利要求3的方法，其中領域本體收集業(yè)務模型中使用的領域語義。
5.根據(jù)權利要求4的方法，其中領域語義來自工業(yè)標準或領域?qū)＜摇?br> 6.根據(jù)權利要求1的方法，其中在業(yè)務模型輸入步驟之前根據(jù)領域本體對業(yè)務模型進行規(guī)范。
7.根據(jù)權利要求1的方法，其中統(tǒng)一語義模型形成步驟之后，對統(tǒng)一語義模型進行驗證。
8.根據(jù)權利要求7的方法，其中根據(jù)嵌入在領域本體或模型本體中的約束，以及用戶提供的規(guī)則或策略來驗證形成的統(tǒng)一語義模型。
9.一種在業(yè)務模型中集成模型語義和領域語義的裝置，包括領域語義定位器，將輸入的業(yè)務模型的建模元素的領域語義定位到領域本體，并輸出相應的領域模型語義；模型語義轉(zhuǎn)換器，將輸入的業(yè)務模型的建模元素轉(zhuǎn)換成模型本體表示的業(yè)務模型語義；統(tǒng)一語義模型形成器，將上述業(yè)務模型語義和領域模型語義組合，輸出統(tǒng)一語義模型。
10.根據(jù)權利要求9的裝置，還包括模型本體生成器用于在輸入業(yè)務模型之前生成模型本體。
11.根據(jù)權利要求9的裝置，在輸入業(yè)務模型之前準備領域本體。
12.根據(jù)權利要求11的裝置，其中領域本體收集業(yè)務模型中使用的領域語義。
13.根據(jù)權利要求12的裝置，其中領域語義來自工業(yè)標準或領域?qū)＜摇?br> 14.根據(jù)權利要求9的裝置，還包括模型規(guī)范器，用于在輸入業(yè)務模型之前根據(jù)領域本體對業(yè)務模型進行規(guī)范。
15.根據(jù)權利要求9的裝置，還包括語義模型驗證器，用于在統(tǒng)一語義模型形成器形成統(tǒng)一語義模型之后，對統(tǒng)一語義模型進行驗證。
16.根據(jù)權利要求15的裝置，其中語義模型驗證器根據(jù)嵌入在領域本體或模型本體中的約束，以及用戶提供的規(guī)則或策略來驗證形成的統(tǒng)一語義模型。
全文摘要
本發(fā)明提供了一種在業(yè)務模型中集成模型語義和領域語義的方法，包括業(yè)務模型輸入步驟，輸入要實現(xiàn)的業(yè)務模型；領域語義定位步驟，將業(yè)務模型的建模元素的領域語義定位到領域本體，并輸出相應的領域模型語義；模型語義轉(zhuǎn)換步驟，將業(yè)務模型的建模元素轉(zhuǎn)換成模型本體表示的業(yè)務模型語義；統(tǒng)一語義模型形成步驟，將上述業(yè)務模型語義和領域模型語義組合，輸出統(tǒng)一語義模型。通過本發(fā)明克服了現(xiàn)有技術的問題，便于集成和利用嵌入在業(yè)務模型中的語義。
文檔編號G06F9/44GK1955991SQ20051010955
公開日2007年5月2日 申請日期2005年10月25日 優(yōu)先權日2005年10月25日
發(fā)明者朱俊, 謝國彤, 裘照明, 劉世霞, 王健, 劉 英 申請人:國際商業(yè)機器公司