專利名稱：工作流過程語言定義的一個或多個任務的運行時執行方法
工作流過程語言定義的一個或多個任務的運行時執行方法 技術領域本申請涉及由工作流過程語言定義的一個或多個任務的運行時執行方 法，并涉及相對應的執行引擎。
背景技術：
難于通過軟件來描述真實世界中的復雜過程的流程。在現有技術的典型工作流管理系統中，總過程是利用諸如XPDL或者BEPL這樣的簡單語 言來定義的，其中過程是根據由一組標準構造符(諸如分開、排序、接合 等等)組成并在靜態定義的固定環境下工作的多個"任務"來定義的。工作流管理系統的難處在于所要描述的真實世界中的過程的不斷變化 性。解決該困難的一種方法是使用所謂的面向服務體系結構(SOA)，其 中多個松散耦合的(網絡)服務發送并接收消息以執行總過程。選擇用來 執行工作流的服務和它們的邏輯互聯是在設計時定義的。因此，工作流的 所有可能的可選擇情況和變化都必須使用子任務和合適的接口定義來預先 定義。如果真實世界中的基本過程改變，或者如果要反映新的方面，則工 作流需要由開發者重新定義。作為一個實際示例，諸如銀行這樣的金融機構可以改變用戶對其賬戶 的在線訪問，即將帳號的輸入改變為唯一用戶標識的輸入。在這種對真實 世界工作流的(微小)修改的情況下，由現有技術的工作流管理系統所定 義的過程定義將需要變化，以允許修改后的用戶輸入。但是，結合這種改 變在技術上很費力并且需要大量的專業經驗，這是管理這種工作流系統的 人員通常所不具有的?？紤]到以上方面，本發明的主要技術問題是提供這樣一種方法，該方 法允許以更加抽象的術語來定義工作流并且更加靈活和適應，以便避免上 面說明的對頻繁設計改變的需要。發明內容該問題是由根據本發明的第一技術方案的方法解決的。在一種實施方 式中，該方法用于以工作流過程語言定義的一個或多個任務的運行時執 行，并包括以下步驟a. 從過程本體獲得任務的描述，過程本體定義可執行任務的分 級分類，每個任務參考過程本體的分級幀分類中的至少一個幀；b. 識別如任務所參考的幀描述中所描述的至少一個參數；c. 解析至少一個參數的值；以及d. 執行過程本體的任務分類中所包含的最具體可應用版本的任 務。根據本發明，總過程不再由一個或多個(網絡)服務的靜態、預先確 定的動作序列組成。相反，工作流是在運行時由過程本體確定的，這提供 了關于組成抽象過程定義的任務的信息。過程本體包括兩個分級分類任 務分類和幀分類。前者描述了任務與選擇標準之間的具體關系，而后者描 述了過程環境。根據本發明的方法允許根據高級、抽象、 一般的語句來定義過程，所 述語句例如是Check current version out of CVS;Compile;Make package.在該簡單示例中，總的"MakeRdease"過程是由順次的三個任務組成 的，這三個任務幾乎從不以相同方式實現兩次。根據本發明的方法允許以 靈活且適應性的統一且簡明的方式來表達該過程的多種變化。過程本體將 提供在運行時基于過程參數的具體值來選擇的三個任務中的每一個任務的 描述和具體版本。例如，對于相同的總過程可能存在多個具體版本的"checkout"任務。該任務可以具有兩個或者更多個具體版本，這些具體版本可以取決于 用于該任務的儲存庫是本地還是遠程的和/或基于客戶機所運行的操作系統而得到應用。類似地，"compile"任務可以具有參考不同編譯系統的更多 具體版本，而最終的"make package"任務可以取決于目標操作系統 (OS)和其他參數而得到應用。結果，本發明的方法免于重新定義抽象定 義和執行諸如在整個固定環境中向條件節點加入分支這樣的事情。優選地，步驟c.包括如果參數值在當前過程環境中未被定義，則 發送消息到幀描述中所指示的源。消息優選地包括值的類型和所需值的作 用，作用反映了參數與過程環境中的其他數據的關系。優選地在域本體中 定義值的類型。域本體描述了諸如"OS type" 、 "building system"這樣的在過程執 行期間由系統處理的域元素。本發明的一種實施方式的該特征用于兩個主 要目的其定義了比一般的工作流定義語言更精細的系統并且允許關系的 表達，即過程中的參數所執行的作用。通過加入該方面，輸入參數和它們 的值可被通過它們的屬性而不是它們的名稱提供給任務。因為抽象過程步驟的一般化和實例化依賴于由過程和域本體提供的任 務和數據建模，所以提供包含在域和過程本體中的信息允許在運行時由執 行引擎進行過程的"垂直化(verticalization)"。在當前的優選實施方式中，步驟d.包括驗證過程本體是否包括更 具體可應用版本的任務，如果是，則使用所解析出的參數值來執行該更具體可應用版本的任務。驗證步驟優選地包括對于一個或多個具體任務中的每一個，檢査一個或多個約束，以確定更具體任務的可應用性。 一個或 多個具體可執行任務只有在其所有約束都被滿足的情況下才被執行。一個或多個約束優選在更具體任務的任務描述中被定義為對相應更具 體任務的參數的參數值的一個或多個約束。此外，每個任務的描述優選地 包含各種屬性，這些屬性例如定義了該任務所參考的幀、 一個或多個輸入 參數、 一個或多個輸出參數和對該任務的實現的引用，該實現可指外部代 理，例如網絡服務。約束可被用來確定關于相應一般任務的執行的更具體任務的可應用 性當過程達到一般任務時，其更具體任務中的一個或多個根據所述約束 的滿足而被執行引擎選中。約束可被以域本體所支持的任何形式表達其 可以是值的相等、子類型、與域本體中或者過程環境中的其他元素的關 系。在本發明的方法的一種實施方式中，方法步驟由下述解釋器執行，所述解釋器解釋工作流過程語言(例如BEPL或者XPDL)中的多個語句。根據另一方面，本發明涉及適合于執行上述方法中的任何一種方法的 執行引擎。
在以下詳細描述中，參考附圖描述了當前優選的實施方式，在附圖中圖1:給出了圖示根據本發明優選實施方式的方法中的由執行引擎在 運行時執行的步驟的流程圖；以及圖2、圖3、圖4:本發明的實施方式的屏幕截圖。
具體實施方式
下面，在參考圖1討論執行引擎在運行時所執行的步驟之前，描述了 本發明的方法的優選實施方式的任務分類、過程環境和過程定義。A. 任務分類(Task Taxonomy)過程本體(ontology)的任務分類實際上是森林型結構，對于抽象過 程定義中的每個任務都有一個樹。該分類的任何任務可以包括更加具體的 版本和更加一般的版本。更加具體版本的任務被稱為它的次任務 (hypotask)，而更加一般的任務被稱為它的超任務(hypertask)。每個任務的描述還具有下列屬性 其所參考的幀 類型和含義在幀定義中有規定的一組輸入參數 類型和含義在幀定義中有規定的一組輸出參數 一組對超任務參數值的約束 對實現的引用輸入參數規定了任務要繼續執行所需的元素，而輸出參數說明了任務 執行所要提供給過程環境的新元素。每個參數具有綁定到幀中的名稱的正 式名稱，從而規定該參數的類型和作用。參數缺省指向任務所參考的幀。任務還可以為其超任務所定義(可以是在同一幀中定義的，或是在超幀(super frame)中定義的，見下面的部分B)的某些參數的值規定附加 約束。這些約束用于在運行時確定關于某一任務的執行的一個或多個次任 務的可應用性當過程到達該任務時，根據所述約束的滿足來選擇該任務 的次任務中的一個或多個。示例假如任務A具有次任務B。假如A具有從將屬于T型的幀搜集到的輸入參數x。 B可以向x的值表示某些約束，這些約束確定了 B在某一環境下的可 應用性，例如x==l (x是l)，或者x: T' (x屬于T'型，T'是T的子類型)，或者 x [父-〉abraham] (x之父是"abraham") abraham [son-》x] (x是abraham之子之一)當某一任務的兩個或多個次任務同時具有被滿足的約束時，系統將是 不確定性的。不確定性可被用于應用機器學習以讓系統自主找到最佳性能 的路徑，這也是執行模擬的可行選擇。相反，如果不希望不確定性，則定 義任務的次任務的可應用性的條件必須是互斥的，這可以通過模型校驗來 驗證。執行引擎的過程解釋器在運行時訪問任務分類，以便根據過程的具體 狀態來查明當前所要執行的任務是否可被該任務的次任務之一替換。 B.過程環境在過程本體中聲明過程執行的運行時環境的結構。環境由多級幀組 成。幀是屬于同一工作流的一組任務所需的數據的集合。有時幀也被稱為 上下文。幀分類也是分等級構造的。幀對其超幀的聲明進行擴展并且/或者可以覆蓋(override)其超幀的聲明。幀的層次結構優選與過程本體中的任 務分類有關，其中任務除了相應超任務的數據之外可能還需要其他數據。根據在以下運行時期間執行的步驟的描述可以更加清楚的是，幀永久 地允許特定于上下文的可重新使用的數據跨越不同的執行步驟存活。由過程環境的幀分類所容納的數據聲明是在域本體中緊密定義的。具體地，數據聲明由以下部分組成 名稱標識符，其在當前幀中必須是唯一的 類型由連接域本體概念的鏈接規定 源該段數據必須由此取回。這可指域本體的實例(如果這可以在 設計時確定)，或指負責提供該值的工作流的參與者之一。 作用因為所提出的系統完全由本體描述，所以從源檢索數據的方 式必須高度靈活并且優選避免硬編碼的查詢。類型本身不足以確定 過程正在尋找的信息。屬性"作用"將描述下述語義關系，所述語 義關系用于概述該段數據在當前過程中具有的作用。示例如果將要取回公司CEO的地址，則不優選進行象下面這樣的査詢-X of type 'AddressOfCEOOfCompany'而是優選象下面這樣的查詢-Xoftype'Address，，其中(X addressOfY) & (YceoOfC)參數"C"是從當前過程環境取回的，從而允許更加靈活地表達作用。c.過程定義執行引擎所要執行的總的高級過程是通過編寫過程本體中描述的任務而定義的。編寫運算符可以包括 Sequence (排序)(T1T2T3)，其中Tl、 T2禾nT3是任務 Split (分開)/join (接合)(andTlT2) Conditional (條件)(ifcondTlT2) Iterator (迭代器)(while (cond) T)為了定義抽象過程，任何提供這種運算符的現有工作流語言(例如， BPEL)都可被使用，只要該語言的相應執行機實現根據本發明的方法。多個任務共享當前環境下的數據，由于幀結構，這允許了特定于上下 文的數據僅可被用于整個過程中的任務的子集。D.運行時執行下面，參考圖1來描述解釋器執行任務的過程。如圖所示，過程本體 中的任務分類的最具體任務是根據當前的過程狀態來選擇的。這被稱為選解釋器為過程保持了如先前描述那樣構造的環境。對于在段C中定義 的每個一般任務T，執行引擎執行以下步驟。 步驟10:從過程本體PO取回任務T的描述 步驟20:找出任務T的幀描述 步驟30:識別相關幀中所描述的任務參數步驟40:檢查參數列表。針對幀定義，尋找每個輸入參數在當前過程環境下的值；對于每個"缺失"的值，消息41被發送到相關數據的源 42，如在過程本體PO中的幀描述中定義的。消息41帶有來自幀定義的所 需值的值類型以及"語義"描述(作用)，以允許源42滿足請求。步驟50: —旦所有的輸入參數都可用，則任務T的要求被滿足，任務 T因而是執行的候選。但是，過程本體PO有可能帶有該任務的更具體版 本的定義。因此，任務T的次任務被從過程本體PO取回，并且每個被看 作執行候選。對于每個次任務T'，多個約束(即任務T的輸入參數值所要 滿足的條件)被檢查。當多個約束中的至少一個不被滿足時，次任務T'不 被認為是有效的候選。步驟60:如果結果為沒有次任務T'是有效的執行候選，則任務T是 可用的最具體版本的任務，并且可被執行。如果有一個或多個次任務T'可 用，則選擇一個(在有多個可用候選的情況下，通過優先級或者其他解疑 規則進行選擇，或者通過不確定性地進行選擇)。對于過程定義中所包含的每個任務T，步驟序列10-60被重復。所描述的執行方法(即選擇規則)保證了基于輸入參數的值來選擇可應用的最具體版本。 一旦該任務被選擇，則其實現可以如下面的部分E描述的那樣被執行。E. 任務實現任務可以有具體的實現，即調用外部代理以實現外部過程并最終取回 任務描述所規定的將要分配給輸出參數的值的方法。這種值將被存儲在環 境幀中，在環境幀中，參數被定義并且為在扎根于同一幀中的子樹中工作 的其他任務所共享。外部代理可以是從標準工作流引擎到可由網絡服務接 口訪問的服務的范圍內的任何事物，或者甚至可以是分級結構的另一個抽 象工作流引擎。F. 附錄下面是本發明的一種實施方式中的用于實現本體的任務層次的示例性XML文件。這是一個用于提供下述工作流的示例，所述工作流用于將公 司所在地從一個歐洲國家轉移到另一個歐洲國家。因為營業登記在整個歐 洲被以不同方式組織，例如在愛爾蘭是作為集中機構，在德國是附屬于地 方法院并且在意大利是分散的，為該過程的工作流進行建?？紤]到了所有 這些差異，即使在歐洲某些步驟對于公司所在地的每次改變總是相同的。 在本示例中，總是有要執行的新登記，這需要驗證公司的正確建立。驗證步驟包括驗證公司名稱是否符合接收國家的要求，是否所有文檔都以正確格式提供(在必要情況下具有公證人的確認)。該驗證步驟取決于 涉及到哪些營業登記。描述該過程的工作流應當以一般但是靈活的方式包括該驗證步驟。這 是因為在設計時不知道在具體情況下涉及哪些國家。這只有在某一公司已 經明確地請求了將其所在地從一個歐洲國家轉移到另一個歐洲國家之后才 知道。另外，可用的歐洲國家可能改變。用于下面所示的工作流的本體因 此描述了取決于所涉及的營業登記的該驗證步驟的各種特性。例如在愛爾 蘭營業登記的情況下，驗證步驟比較簡單，而意大利要求提供由公證人確認的文檔。如果是在意大利的Trentino自治區進行登記，則文檔也可以以德語提供。否則必須是意大利語的。驗證步驟所需的輸入參數因而僅由本 體中的描述產生，并且因而可被靈活地修改，而不影響總過程的一般定 義。為了幫助理解下面的XML示例，圖2-4提供了屏幕截圖的示例，這些示例圖示了在本發明的該
具體實施方式
中如何將任務等級、約束和參數 提供給用戶。圖2提供了第一屏幕截圖，其以實例視圖(Instance View)示出了該 等級的不同任務。例如任務"HostCheck"具有三個次任務，即 "IrelandHostCheck" 、 " ItalyHostCheck"禾B " TrentinoHostCheck"。因 為任務TrentinoHostCheck在圖2中被選中，所以屬性窗口顯示該任務的描 述和其各種屬性。例如，該任務的約束是"HostisTrentino"，就是說，如 果該條件被滿足的話，TrentinoHostCheck任務僅可以作為任務HostCheck 的更加具體的版本來應用。在下面列出的XML文件中，通過尋找具有相 應(次)任務的定義的代碼行可以找到本題中與圖2的屏幕截圖相對應的 部分。圖3提供了另一屏幕截圖，其以實例視示了各種參數。屬性窗口 再次示出了與在實例視圖中突出顯示的參數(在這種情況下是 TrentinoRegistrationDocumentParameter )有關的屬十生。屬十生之— 一 是以下纟勺 束語言可以是德語的。該參數的相應定義也可以在以下包含本發明的該 實施方式的本體的XML文檔中找到。圖4最后提供了圖示一約束的屏幕截圖。實例視圖突出顯示了約束 "HostisItaly"。屬性窗口將約束描述為等式country==IT。與該屏幕截圖 相對應的XML定義也可以在下面列出的本體中找到。< xml version="1.0" encoding="UTF-8" > <!—ontology: "http:〃www.businessregisters.org/processontology" date: Tue Nov 28 16:40:42 CET 2006—><rdf:RDFxmlns:oxml="http:〃schema.ontoprise.com/oxml/core/2.1#"xmlns:owl="http:〃www.w3.org/2002/07/owl#"xmlns:rdfs="http:〃www.w3.org/2000/01/rdf-schema#"xmlns:a="http:〃www.businessregisters.org/processontology#" xmlns:xs="http:〃www.w3,org/2001/XMLSchema#" xmlns:xsi="http:〃www.w3.org/2001/XMLSchema-instance" xmlns:noNS="http:〃schema.ontoprise.com/rdf/core/noNSdefined#" xmlns:rdf http:〃www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http:〃purl.org/dc/elements/l .1/" xml:base="http:〃www.businessregisters.org/processontology"> <owl: Ontologyrdf:about=""http:〃www.businessregisters.org/processontology"'7> <owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Task"〉 <rdfs:comment xml:lan『"en"〉&弁34;任務是可被在過程的上下文中執行的事務。每個任務被分配給上下文。任務可以具有多種具體實現。在任務可被執行之前，某些約束需要被驗證。為了執行任務，某些參數需要被提供。"</rdfs:comment> </owl:Class> <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ParameterDefinition">々dfs:commentxml:lang^'en"〉&弁34;每個任務具有某些輸入禾口/或輸出參數。 這些參數的定義在這里完成.&弁34;々rdfs:comment〉 </owl:Class><owl: Class rdf: about= "http: 〃www .businessregisters org/ processontology#Constraint"><rdfs:comment xml:lan『"en"〉&弁34;在選擇所要執行的過程實例之前所要驗證的約束 "</rdfs:comment> </owl:Class><owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Context"><rdfs:comment xml:lang^'en"〉&弁34;過程的執行的上下文描述。這種上下文描述當過 程有效時的永久內容。 每個上下文具有名稱和描述。 上下文由一組相關聯的數據對象組成。上下文描述可被按照超上下文(super-context)和次上下文(sub-context)的等級來排 列。"</rdfs:comment><rdfs: comment xml: lang="de">" 4;</rdfs: comment> </owl:Class> <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"><rdfs:comment xml:lang^'en"〉&幷34;每個上下文由相關聯的上下文對象組成，這些上 下文對象的定義在這里得到說明。"</rdfs:comment></owl:Class><owl: Obj ectProperty rdf:about="http:〃www.businessregisters.org/processontology#actorOfTask">々dfs:commentxml:lan『"en"〉&弁34;執行該任務的對象的名稱。該屬性可以為空，意思是存在更一般的任務，該任務已經定義了執行對象。 "</rdfs:comment> </owl: Obj ectProperty〉<owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Task"> <rdfs:subClassOf^ <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters，org/processontology#actorOfTask7〉 <o wl: all ValuesFromrdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"/> </o wl: Restriction) </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#actor〇fTask7> <owl:maxCardinalityrdf:datatype="http:〃www.w3,org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality〉</owl :Restri ction> </rdfs:subClassOC> </owl:Class> <o wl: DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#InOut"〉<rdfs:comment xml:lang-"en"〉&弁34;說明任務參數是被輸入、輸出還是兩者兼有。 "</rdfs:comment> </owl:DatatypeProperty> <owl: Classrdf:about="http:〃www.businessregisters,org/processontology#ParameterDefinition"> <rdfs:subClassOf> <o wl: Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#InOut"/><owl:allValuesFrom rdf:resource-"http:〃www.w3.org/2001/XMLSchema弁string7〉 </owl:Restriction〉 </rdfs:subClassOf> <rdfs:subClassOf> <o wl: Restriction) <o wl: onPropertyrdf:resource="http:〃www.businessregisters,org/processontology#InOut"/> <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger，'〉l</owl:minCardi nality〉</o wl .Restriction) </rdfs:subClassOf> <rdfs:subClassO￡> <owl:Restriction> <o wl :onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#InOut'V〉 <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality></o wl: Restriction> </rdfs:subClassO& </owl:Class> <owl:DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#constraintForParameter"> <rdfs: comment xml:lang="en">""</rdfs:comment> </owl: DatatypeProperty> <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ParameterDefinition"> <rdfs:subClassOf> <o wl: Restriction> <owl:cmPropertyrdf:resource="http:〃www.businessregisters.org/processontology#constraintForParameter7> <owl:alIValuesFrom rdf:resource="http:〃www.w3.org/2001/XMLSchema#string7> </owl: Restriction) </rdfs:subClassOf> <rdfs:subClassOf> <o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#constraintForParameter7> <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality〉</owl :Restriction〉 </rdfs:subClassOft> </owl:Class> <owl:DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#nameOfParameter"> <rdfs:commentxml:lang」'en"〉&弁34;參數的名稱。"</rdfs:comment〉 </o wl :DatatypeProperty> <owl: Classrdf:about=，'http:〃www.businessregisters.org/processontology#ParameterDefinition"> <rdfs:subClassOf> <o wl: Restriction) <owl:onPropertyrdf:resource=，，http:〃www.businessregisters.org/processontology#nameOfParameter7〉 <owl:allValuesFrom rdf:resource="http:〃www.w3 .org/2001 /XMLSchema弁string7〉 </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#nameOfParameter7> <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger，，〉l</owl:minCardi nality></owl:Restriction></rdfs:subClassOf^<rdfs:subClassOf><owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters,org/processontology#nameOfParameter7> <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality></owl:Restriction> </rdfs:subClassOf> </owl:Class> <o wl: Obj ectProperty rdf:about="http:〃www,businessregisters.org/processontology#contextObject"><rdfs:comment xml:lan『"en'^&弁34;每個任務參數也與存儲在周圍過程的上下文中的 對象有關。"</rdfs:comment> </owl: Obj ectProperty〉 <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ParaineterDefinition"> <rdfs:subClassOf> <o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObject"/> <o wl: all ValuesFromrdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOft> <o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#context〇bject"/> <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality〉</owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <o wl: Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObject7〉 <owl:maxCardinalityrdf:datatype="http:〃www.w3 .org/2001/XMLSchema#nonNegativeInteger">l </owl :maxCard inality></owl:Restriction> </rdfs:subClassOf> </owl:Class> <o wl: DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#descriptionOfParameter">〈rdfs:commentxml:lan『"en"〉&弁34;任務參數的文本描述。"</rdfs:comment> </owl :DatatypeProperty> <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ParameterDefmition"><formula>formula see original document page 17</formula><owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#natneOfConstraint7> <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality〉</owl:Restriction> </rdfs:subClassOfi> </owl:Class> <owl:DatatypeProperty rdf:about="http:〃www.businessregisters,org/processontology#descriptionOfConstraint"><rdfs:comment xml:lang="en">"戶)？要驗證的約的文本描述。  4; </rdfs: comment〉<rdfs:comment xml:lang="de">""</rdfs:comment> </owl:DatatypeProperty><owl:Class rdf:about-"http:〃www.businessregisters.org/processontology#Constraint"〉 <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters,org/processontology#descriptionOfConstraint'V〉 <owl:allValuesFrom rdf:resource="http:〃www.w3 .org/2001/XMLSchema弁string7〉 </ owl: Restriction> </rdfs:subClassOf> 〈rdfs:subClassOf^ <o wl: Restriction> <o wl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#descriptionOfConstraint"/〉 <owl:minCardinalityrdf:datatype二"http:〃www.w3 .org/2001/XMLSchema#nonNegativeInteger"> 1 </owl :minCardi nality〉</owl: Restriction> </rdfs:subClassOf> </owl:Class> <owl: Obj ectProperty rdf:about="http:〃www.businessregisters.org/processontology#associations"><rdfs:comment xml:lang^"en"〉&弁34;組成上下文的對象的列表&弁34;〈/rdfs:comnient〉 </o wl: Obj ectProperty〉<owl:Class rdf:aLout="http:〃www.businessregisters.org/processontology#Context"> <rdfe:subClassOf> <o wl: Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters,org/processontology#associations7> <o wl: all ValuesFromrdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7> </owl:Restriction〉 </rdfs:subClassOf> </owl:Class> <owl: Obj ectProperty rdf:about="http:〃www.businessregisters.org/processontology#superContext"><rdfs:comment xml:lang^'en"〉&幷34;可以在更高級、更一般的超上下文的范圍內定義 上下文。"</rdfs:comment> </owl: Obj ectProperty〉<owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Context"> <rdfs:subClassOf> <o wl: Restriction) <o wl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#superContext7><o wl: all ValuesFrom rdf:resource="http:〃www.businessregisters.org/processontology#Context"/> </owl:Restriction〉 </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#superContext7> <owl :maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger"〉l</owl:maxCard inality></owl: Restriction) </rdfs:subClassOf> </owl:Class〉 <owl:DatatypeProperty rdf:about="http:〃www,businessregisters.org/processontology#nameOfContext"> <rdfs:comment xml:lang二"en"〉&弁34;上下文的名稱。"</rdfs:comment〉 </owl: DatatypeProperty〉<owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Context"> <rdfs:subClassOf> <o wl: Restriction) <owl: onPropertyrdf:resource="http:〃www,businessregisters.org/processontology#nameOfContext"/〉<owl: all ValuesFrom rdf:resource="http:〃www.w3.org/2001/XMLSchema#string"/〉 </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#nameOfContext7> <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality></owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl: onPropertyrdf:resource=，，http:〃www.businessregisters.org/processontology#nameOfContext7><owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality〉</owl:Restriction〉 </rdfs:subClassO> </owl:Class> <o wl: DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#descriptionOfContext"〉<rdfs:comment xml:lang一'en"〉&弁34;上下文的文本描述。 "</rdfs:comment〉 </o wl :DatatypeProperty〉<owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Context"〉 <rdfs:subClassOf> <o wl: Restri ction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#descriptionOfContext7> <owl:allValuesFrom rdf:resource="http:〃www.w3.org/2001/XMLSchema#string"/> </owl:Restriction〉 </rdfs:subClassOf> <rdfs:subClassOft> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#descriptionOfContext7> <owl:maxCardinalityrdf:datatype="http:〃www,w3.org/2001/XMLSchema#nonNegativeInteger">l</owI:maxCard inality〉</o wl: Restriction> </rdfs:subClassOf> </owl:Class> <o wl: Obj ectPropertyrdf:about="http:〃www,businessregisters.org/processontology#sourceBusinessRegister"><rdfs:comment xml:lan『"en"〉&弁34;上下文對象所源自的具體實例的營業登記的名 稱。"</rdfs:comment></o wl: Obj ectProperty〉<owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"> <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#sourceBusinessRegister7〉 <o wl: all ValuesFromrdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7〉 </owl:Restriction〉 </rdfs:subClassOf> <rdfs:subClassOf> <o wl: Restri ction〉 <o wl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#sourceBusinessRegister7〉<owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality></o wl: Restriction) </rdfs:subClassOfr> </owl:Class> <owl:DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#contextObjectType"><rdfs:comment xml:lang^"en"〉&幷34;這些上下文對象應當具有的類型(不是簡單類型 就是復雜類型)。通常，k型是在其他本體中定義的(不是在該過程本體中，而是在域本體中，該域本體描述了營業登記中的多個條目)。"</rdfs:comment〉 </owl:DatatypeProperty〉 <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"> <rdfs:subClassOf> <o wl: Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectType'V> <owl:allValuesFrom rdf:resource="http:〃www.w3 .org/2001/XMLSchema#string7> </owl:Restriction> </rdfs:subClassOC> <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectType"/> <owl:minCardinalityrdf:datatype="http:〃www.w3,org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality〉</o wl: Restriction) </rdfs:subClassC <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectType7> <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality></o wl: Restriction> </rdfs:subClassO&> </owl:Class〉 <owl:DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#contextObjectName"><rdfs:commentxml:lang^"en"〉&幷34;這些上下文對象的名稱。"</rdfsxomment> <rdfs: comment xml:lang="de">""</rdfs:comment> </o wl: DatatypeProperty〉 <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"> <rdfs:subClassOf><owl: Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectName7〉 <owl:allValuesFrom rdf:resource="http:〃www.w3.org/2001/XMLSchema#string7〉 </owl: Restriction) </rdfs:subClassOf^ <rdfs:subClassOf^ <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectName"/〉 <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality〉</owl: Restriction> 〈/rdfs:subClassOf^ <rdfs:subClassOf^ <owl: Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectName7〉 <owl :maxCardinalityrdf:datatype="http:〃www.w3,org/2001/XMLSchema#nonNegativeInteger"〉l</owl:maxCard inality〉</o wl: Restriction) </rdfs:subClassOf> </owl:Class〉 <owl:DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#contextObjectDescription"〉 〈rdfs:commentxml:lang^"en"〉&存34;上下文對象的文本描述。"</rdfs:comment> </owl:DatatypeProperty〉 <owl: Classrdf:about="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"> <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectDescription7〉<owl:allValuesFrom rdf:resource="http:〃www.w3 .org/200 l/XMLSchema#string'V> </owl: Restriction) 〈緣:subClassOf^ <rdfs:subClassOC> <owI:Restriction> <owl:onPropertyrdf:resource="http:〃www,businessregisters.org/processontology#contextObjectDescription7><owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality></o wl: Restriction) </rdfs:subClassOf>々dfs:subClassOf^ <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextObjectDescription7〉<owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger"〉l</owl:maxCard inality></o wl: Restriction^ </rdfs:subClassOft> </owl:Class> <owl :DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#implementationOfTask"><rdfs:comment xml:lang="en">"連接至[J該任務的實現的鏈接。 "</rdfs:comment〉 <rdfs:comment xml:lang="de">""</rdfs:comment> </owl :DatatypeProperty><owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Task"〉 <rdfs:subClassOf> <o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#implementationOfTask7〉 <owl:allValuesFrom rdf:resource="http:〃www.w3.org/2001/XMLSchema#string'V> </owl: Restriction> </rdfs:subClassOft> <rdfs:subClassOf> <o wl: Restriction) <o wl: onPropertyrdf:resource="http:〃www,businessregisters.org/processontology#implementationOfTask"/〉 <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger"〉l</owl:maxCard inality〉</owl: Restriction) </rdfs:subClassOf> </owl:Class〉 <owl:DatatypeProperty rdf:about="http:〃www,businessregisters.org/processontology#nameOfTask">〈rdfs:commentxml:lang^"en"〉&弁34;所要執行的任務的名稱。"</rdfs:comment> </owl:DatatypeProperty><owl:Class rSf:about="http:〃www.businessregisters.org/processontology#Task"〉 <rdfs:subClassC <owl:Restriction〉 <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#nameOfTask7〉<owl:allValuesFrom rdf:resource="http:〃www.w3.org/2001/XMLSchema#string'V> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOft> <o wl: Restriction><owI:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#nameOfTask7〉 <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality〉</o wl: Restriction) </rdfs:subClassO&> <rdfs:subClassOC> <owl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters,org/processontology#nameOfTask'7> <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality></o wl: Restriction) </rdfs:subClassOf> </owl:Class〉 <owl:DatatypeProperty rdf:about="http:〃www.businessregisters.org/processontology#descriptionOfTask"><rdfs:comment xml:lang="en">"該任務的當前作為的文本描述。 "</rdfs: comment> </o wl: DatatypeProperty〉<owl:Class rdf:about="http:〃www,businessregisters.org/processontology#Task"> <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#descriptionOfTask7> <owl:allValuesFrom rdf:resource="http:〃www.w3 .org/200 l/XMLSchema#string"/> </o wl :Restriction〉 </rdfs:subClassOf> <rdfs:subClassOf> <o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#descriptionOfTask"/> <owl:minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality></owl :Restriction〉 </rdfs:subClassOf> <rdfs:subClassOf> <owl :Restriction> <o wl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#descriptionOfTask，7> <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger"〉l</owl:maxCard inality></o wl :Restriction> </rdfs:subClassOft> </owl:Class><owl: Obj ectProperty rdf:about="http:〃www.businessregisters.org/processontology#isSpezializedBy"> 〈rdfs:commentxml:lang-"en"〉&弁34;更具體^f壬務的列S。 "</rdfs:comment> </o wl: Obj ectProperty><owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Task"〉 <rdfs:subClassOf> <o wl: Restriction> <owl:onPropertyrdf:resource="http:〃www,businessregisters.org/processontology#isSpezializedBy7〉<o wl: all ValuesFrom rdf:resource="http:〃www.businessregisters.org/processontology#Task"/> </owl: Restriction) </rdfs:subClassOft> </owl:Class〉 <o wl: Obj ectProperty rdf:about="http:〃www.businessregisters,org/processontology#constraintForTask"><rdfs:comment xml:lang^'en"〉&幷34;在該任務可被執行前需被滿足的參考相關約束。 "</rdfs:comment> </o wl: Obj ectProperty〉<owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Task"> <rdfs:subClass〇f> <o wl: Restriction> <owl:onPropertyrdf:resource二"http:〃www.businessregisters.org/processontolog^constraintForTask'V〉<owl: all ValuesFrom rdf:resource="http:〃www.businessregisters.org/processontology#Constraint'V〉 </o wl: Restriction) </rdfs:subClassO^> </owl:Class〉 <o wl: Obj ectProperty rdf:about="http:〃www.businessregisters,org/processontology#contextForTask"〉<rdfs:comment xml:lang="en">"對在執行該任務時應用的上下文的引用。 "</rdfs:comment><rdfs:comment xml:lang="de">""</rdfs:comment> </o wl: Obj ectProperty><owl:Class rdf:aLout="http:〃www.businessregisters.org/processontology#Task"> <rdfs:subClassOf> <owl:Restriction> <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextForTask，V><o wl: all ValuesFrom rdf:resource="http:〃www.businessregisters.org/processontology#Context7></owl :Restriction> </rdfs:subClassOf> <rdfs:subClassOf><o wl: Restriction) <owl:onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#contextForTask'7><o wl :minCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:minCardi nality〉</owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf^ <o wl: Restriction^ <o wl: onPropertyrdf:resource="http:〃www,businessregisters,org/processontology#contextForTask7〉 <owl:maxCardinalityrdf:datatype="http:〃www.w3.org/2001/XMLSchema#nonNegativeInteger">l</owl:maxCard inality〉</o wl: Restriction) </rdfs:subClassOf> </owl:Class〉 <owl: Obj ectProperty rdf:abo"ut="http:〃www,businessregisters.org/processontology#taskParameter"〉<rdfs:comment xml:lang="de">"該任務的輸入和輸出參數的列表。 "</rdfs:comment> </owl: Obj ectProperty〉<owl:Class rdf:about="http:〃www.businessregisters.org/processontology#Task"> <rdfs:subClassOf> <o wl: Restriction> <o wl: onPropertyrdf:resource="http:〃www.businessregisters.org/processontology#taskParameter7> <owl: all ValuesFromrdf:resource="http:〃www.businessregisters.org/processontology#ParanieterDefinition'7> </owl:Restriction> </rdfs:subClassOf> </owl:Class〉 <owl:Thingrdf:about="littp:〃www.businessregisters,org/processontology#TransferOfSeatContext"> <rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Context"/〉 <a:descriptionOfContext〉"The general context definition for all transfer of seatprocesses"</a:descriptionOfContext> <a: associationsrdf:resource="http:〃www,businessregisters.org/processontology#HomeRegister'V> <a:associationsrdf:resource="http:〃www,businessregisters.org/processontology#HostRegister7〉 <a: associationsrdf:resource="http:〃www,businessregisters,org/processontology#TransferProposal"/> <a:associationsrdf:resource="http:〃www.businessregisters.org/processontology#HostCheckResult"/> <a:superContextrdf:resource="http:〃www.businessregisters.org/processontology#RootContext7> <a:nameOfContext>"TransferOfSeatContext"</a:nameOfContext> </owl:Thing><owl:Thingrdf:about="http:〃www.businessregisters.org/processontology#TrentinoRegistrationDocument Parameter"> <rdf:typerdf:resource=，，http:〃www.businessregisters.org/processontology#ParameterDefinition7> <a:descriptionOfParameter〉"The document that is needed to check the preconditionsfor a new registration on the host side."</a:descriptionOffarameter〉 <a:InOut>"In"</a:InOut><a:constraintForParameter>"\"latiguage can be German, to be described in terminology of Trentino business register\""</a:constraintForParameter><a::meter〉<a: contextObj ectrdf:resource="http:〃www.businessregisters.org/processontology#RegistrationDocument7〉 </owl:Thing><owl:Thing rdf:about="http:〃www.businessregisters.org/processontology#ProcessId"〉 <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7> <a:contextObjectDescription>"A uniqueidentifierfor a processto be executed"</a:contextObjectDescription><a:contextObjectType〉"integer"</a:contextObjectType〉 <a:contextObjectName>"ProcessId"</a:contextObjectName〉 </owl:Thing> <owl: Thingrdf:about="http:〃www.businessregisters.org/processontology#IrelandTransferOfSeatContext">〈rdf:type rdf:resource="http:〃www,businessregisters,org/processontology#Context7〉 <a:descriptionOfContext>"The context for a transfer of seat process for an irishbusiness; it does not need any special data objects compared to the general transfer of seatprocess,"</a:descriptionOfContext> <a:superContextrdf:resource="http:〃www.businessregisters.org/processontology#TransferOfSeatContext'V></owl:Thing><owl:Thing rdf:about="http:〃www.businessregisters.org/processontology#HostIsIreland"〉 <rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Constraint"/> <a:descriptionOfConstraint>"country == IRL"</a:descriptionOfConstraint> <a:nameOfConstraint>"HostIsIreland"</a:nameOfConstraint></owl:Thing><owl:Thing rdf:about="http:〃www.businessregisters.org/processontology#HostIsItaly"> <rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Constraint"/> <a:descriptionOfConstraint>"country == IT"</a:descriptionOfConstraint〉 <a:nameOfConstraint>"HostIsItaly"</a:nameOfConstraint></owl:Thing><owl:Thingrdf:about="littp:〃www.businessregisters.org/processontology#InitiatingRegister"> <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7><a:contextObjectDescription>"The register that initiated a transfer of seat process"</a:contextObjectDescription><a:contextObjectType>"DotnainOntologyNamespace:BusinessRegister"</a:contex tObjectType〉<a:contextObjectName>"InitiatingBusinessRegister"</a:contextObjectName〉 </owl:Thing> <owl: Thingrdf:about="http:〃www.businessregisters.org/processontology#RegistrationDocument"> <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition'V〉 <a:contextObjectDescription>"A document describing the existance and constituentsof a business."</a:contextObjectDescription> <a: sourceBusinessRegisterrdf:resource="http:〃www.businessregisters.org/processontology#HonieRegister"/><a:contextObjectType>"DotnainOntologyNamespace:RegistrationDocunient"</a:c ontextObj ectType〉<a:contextObjectName>"RegistrationDocument"</a:contextObjectName> </owl:Thing> <owl: Thingrdf:about="http:〃www.businessregisters.org/processontology#RegistrationDocumentParamet er"><rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ParameterDefinition7〉 <a:descriptionOfParameter>"The document that is needed to check the preconditionsfor a new registration on the host side."</a:descriptionO￡Parameter> <a:InOut>"In"</a:InOut><a:contextObjectrdf:resource="http:〃www.businessregisters.org/processontology#RegistrationDocument"/〉 </owl:Thing><owl:Thing rdf:about="http:〃www.businessregisters.org/processontology#HostIsTrentino"> <rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Constraint7> <a:descriptionOfConstraint〉"region == Trentino"</a:descriptionOfConstraint〉 <a:namebfConstraint>"HostIsTrentino"</a:nameOfConstraint〉 <a:descriptionOfConstraint〉"country == IT"</a:descriptionOfConstraint></owl:Thing><owl:Thingrdf:about="http:〃www.businessregisters.org/processontology#ItalyTransfer〇fSeatContext"> 〈rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Context7> <a:descriptionOfContext〉"The context for a transfer of seat process for an italianbusiness; it does need additional information about the CEO's address as dataobjects."</a:descriptionOfContext> <a: associationsrdf:resource="http:〃www.businessregisters.org/processontology#RegistrationDocument7> <a:superContextrdf:resource="http:〃www.businessregisters.org/processontology#TransferOfSeatContext'V> <a:nameOfContext>"ItalyTransferOfSeatContext"</a:nameOfContext></owl:Thing> <owl:Thingrdf:about="http:〃www.businessregisters.org/processontology#TrentinoHostCheck"> <rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Task，V> <a: contextForTaskrdf:resource="http:〃www.businessregisters.org/processontology#ItalyTransferOfSeatContext7><a:implementationOfTask〉"\"some reference to a WSDL and an operation therein\""</a:implementationOfTask><a:nameOtTask>"TrentinoHostCheck"</a:nameOfTask><a:descriptionOfTask>"check that preconditions for transfer of seat to Trentino is possible; taskParameters are the same as for ItalyHostCheck only the implementation is different"</a:descriptionOfTask><a:constraintForTask rdf:resource="http:〃www.businessregisters.org/processontology#HostIsTrentino'V> </owl:Thing> <owl:Thingrdf:about="http:〃www.businessregisters.org/processontology#IrelandHostCheck"> <rdf:type rdf:resource="http:〃www.businessregisters,org/processontology#Task"/〉 <a:actorOfTaskrdf:resource="http:〃www.businessregisters.org/processontology#HostRegister，V><a:implementationOfTask>"\"some reference to a WSDL and an operationtherein supplemented by parameters\""</a:implementationOfTask〉 <a:nameOfTask>"IrdandHostCheck"</a:nameOfTask><a:descriptionOfTask>"check that preconditions for transfer of seat to Ireland is possible"</a:descriptionOfTask><a:constraintForTask rdf:resource="http:〃www.businessregisters.org/processontology#HostIsIreland"/><a: contextForTaskrdf:resource="http:〃www.businessregisters.org/processontology#IrelandTransferOfSeatConte xt，V></owl:Thing><owl:Thingrdf:about="http:〃www.businessregisters.org/processontology#ItalyHostCheck"〉 <rdf:type rdf:resource="http:〃www.businessregisters.org/processontology#Task"/> <a:actorOfTaskrdf:resource="http:〃www.businessregisters.org/processontology#HostRegister'7><a:implementationOfTask〉"\"some reference to a WSDL and an operationtherein\""</a:implementationOfTask〉<a:nameOfTask>"ItalyHostCheck"</a:nameOfTask><a:descriptionOfTask〉"check that preconditions for transfer of seat to Italy is possible"</a:descriptionOfTask> <a:isSpezializedByrdf:resource="http:〃www.businessregisters.org/processontology#TrentinoHostCheck7><a:constraintForTask rdf:resource="http:〃www.businessregisters.org/processontology#HostIsItaly"/><a: contextForTaskrdf:resource="http:〃www.businessregisters.org/processontology#ItalyTransferOfSeatContext"/><formula>formula see original document page 30</formula>〈rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ParameterDefinition7> <a:descriptionOfParameter>"The register where a business shall be transferredto."</a:descriptionOfParameter〉 <a:InOut>"In"</a:InOut><a:nameOfParameter>"HostRegisterParameter"</a:nameOfParameter> <a:contcxtObjcctrdf:resource="http:〃www.businessregisters.org/processontology#HostRegister7〉 </owl:Thing〉 <owl: Thingrdf:about="http:〃www.businessregisters.org/processontology#AcquireTransferProposal"> <rdf:type rdf:resource="http:〃www.businessregisters.org/processontoIogy#Task7> <a:actorOfTaskrdf:resource="http:〃www.businessregisters.org/processontology#HomeRegister7><a:implementationOfTask〉"(none - this isabstract)"</a:implementationOfTask><a:nameOfTask>"AquireTransferProposal"</a:nameOfTask> <a:descriptionOfTask〉"get the proposal for a transfer ofseat"</a:descriptionOfTask> <a:contextForTaskrdf:resource="http:〃www.businessregisters.org/processontology#TransferOfSeatContext'7> <a: taskP ammeterrdf:resource="http:〃www.businessregisters.org/processontology#HomeRegisterParaineter7> <a: taskP arameterrdf:resource="http:〃www.businessregisters.org/processontology#HostRegisterParameter7〉 <a: taskP arameterrdf:resource="http:〃www,businessregisters.org/processontology#TransferProposalOut'V> </owl:Thing> <owl: Thingrdf:about="6ttp:〃www.businessregisters.org/processontology#TransferProposalOut"> <rdf:typerdf:resource="http:〃www.businessregisters,org/processontology#ParameterDefinition'7> <a:descriptionOfParameter>"The result of an AquireTransferProposal taskexecution."</a:descriptionOfParameter> <a:InOut>"Out"</a:InOut><a:nameOfParameter>"TransferProposalOut"</a:nameOfParameter> <a: contextObj ectrdf:resource="http:〃www,businessregisters.org/processontology#TransferProposal7> </owl:Thing〉 <owl: Thingrdf:about="http:〃www.businessregisters.org/processontology#TransferProposalIn"> <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ParameterDefinition7> <a:descriptionOfParameter>"The already existing transfer proposal for which a checkon the host side is to be done."</a:descriptionOffarameter> <a:InOut>"In"</a:InOut〉<a:nameOfParameter>"TransferProposalIn"</a:nameOfParameter> <a: contextObj ectrdf:resource="http:〃www.businessregisters.org/processontology#TransferProposal7〉</owl:Thing〉<owl:Thing rdf:about="http:〃www.businessregisters,org/processontology#HomeRegister"> 〈rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"/> <a:contextObjectDescription>"The register where a business is registered before it istransfered to another register"</a:contextObjectDescription> <a:sourceBusinessRegisterrdf:resource="http:〃www.businessregisters.org/processontology#InitiatingRegister'7〉<a:contextObjectType>"DomainOntologyNamespace:BusinessRegister"</a:contex tObjectType><a:contextObjectName〉"HomeRegister"</a:contextObjectName> </owl:Thing><owl:Thing rdf:about="http:〃www.businessregisters.org/processontology#HostRegister"〉 <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7> <a:contextObjectDescription>"The register where a business is to be transferedto"</a:contextObjectDescription> <a:sourceBusinessRegisterrdf:resource="http:〃www.businessregisters,org/processontology#InitiatingRegister7><a:contextObjectType>"DomainOntologyNamespace:BusinessRegister"</a:contex tObjectType><a:contextObjectName>"HostRegister"</a:contextObjectName> </owl:Thing> <owl:Thingrdf:about="http:〃www.businessregisters.org/processontology#TransferProposar> <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition"/〉 <a:contextObjectDescription>"An object describing the proposal for a transfer ofseat"</a:contextObjectDescription> <a:sourceBusinessRegisterrdf:resource=，'http:〃www.businessregisters,org/processontology#InitiatingRegister，V〉<a:contextObjectType>"DomainOntologyNamespace:TransferProposal"</a:contex tObjectType〉<a:contextObjectName〉"TransferProposal"</a:contextObjectName> </owl:Thing><owl:Thing rdf:about="http:〃www.businessregisters.org/processontology#RootContext"> <rdf:type rdf:resource="http:〃www,businessregisters.org/processontology#Context7〉 <a:descriptionOfContext>"Global characteristics of all contexts of all processes; i.e.every process'es context contain at least a pid and an initiator. Per definition the root does nothave a super context. "</a:descriptionOfContext> <a: associationsrdf:resource="http:〃www.businessregisters.org/processontology#ProcessId7> <a: associationsrdf:resource="http:〃www.businessregisters,org/processontology#InitiatingRegister7> <a:nameOfContext>"RootContext"</a:nameOfContext> </owl:Thing><owl: Thingrdf:about="http:〃www.businessregisters.org/processontology#HostCheckResult"> <rdf:typerdf:resource="http:〃www.businessregisters.org/processontology#ContextObjectDefinition7> <a:contextObjectDescription>"The result of the task which checked on the target, i.e.host, site that a business can be transferee! to this site"</a:contextObjectDescription> <a:sourceBusinessRegisterrdf:resource="http:〃www.businessregisters.org/processontology#HostRegister7〉 <a:contextObjectType〉"boolean"</a:contextObjectType> <a:contextObjectName〉"HostCheckResult"</a:contextObjectName> </owl:Thing></rdf:RDF>
權利要求
1.以工作流過程語言定義的一個或多個任務的一種運行時執行方法，所述方法包括以下步驟a.從過程本體(PO)獲得(10)所述任務的描述，所述過程本體(PO)定義可執行任務的分級分類，每個任務參考所述過程本體(PO)的分級幀分類中的至少一個幀；b.識別(30)如所述任務所參考的幀描述中所描述的至少一個任務參數；c.解析(40)所述至少一個參數的值；以及d.執行(50、60)所述過程本體(PO)的任務分類中所包含的最具體可應用版本的任務。
2. 如權利要求l所述的方法，其中，所述步驟c.包括如果所述參 數值未在當前過程環境下定義，則發送消息(41)到所述幀描述中所指示 的源(42)。
3. 如權利要求2所述的方法，其中，所述消息(41)包括所需值的 值類型和作用，所述作用反映了所述參數與所述過程環境中的其他數據的 關系。
4. 如權利要求3所述的方法，其中，所述值的類型是在域本體中定 義的。
5. 如在先權利要求中任何一個所述的方法，其中，步驟d.包括驗 證(50)所述過程本體(PO)是否包括更具體可應用版本的任務，如果 是，則使用所解析出的參數值來執行(60)所述更具體可應用版本的任 務。
6. 如權利要求5所述的方法，其中，存在多于一個更具體的任務， 并且其中所述驗證步驟(50)包括:對于所述一個或多個具體的任務中的 每一個，檢査一個或多個約束，以確定所述更具體任務的可應用性。
7. 如權利要求6所述的方法，其中，只有如果所述一個或多個具體 可應用任務的所有約束都被滿足，才執行所述一個或多個具體可執行任務。
8. 如權利要求6或7所述的方法，其中，所述一個或多個約束在所 述更具體任務的任務描述中被定義為對所述任務的參數的參數值的一個或 多個約束。
9. 如在先權利要求中任何一個所述的方法，其中，每個任務的描述 包含多個屬性，這些屬性定義了所述任務所參考的幀、 一個或多個輸入參 數、 一個或多個輸出參數和對所述任務的實現的引用。
10. 如權利要求9所述的方法，其中，所述對實現的引用指的是外部 代理特別是網絡服務。
11. 如在先權利要求中任何一個所述的方法，其中，所述方法步驟是 由解釋器執行的，所述解釋器解釋工作流過程語言中的多個語句。
12. 適用于執行在先權利要求1-11中任何一個所述的方法的執行引擎。
全文摘要
本發明公開了以工作流過程語言定義的一個或多個任務的一種運行時執行方法，該方法包括以下步驟a.從過程本體(PO)獲得(10)所述任務的描述，所述過程本體(PO)定義可執行任務的分級分類，每個任務參考所述過程本體(PO)的分級幀分類中的至少一個幀；b.識別(30)如所述任務所指的幀描述中所描述的至少一個任務參數；c.解析(40)所述至少一個參數的值；以及e.執行(50、60)所述過程本體(PO)的任務分類中所包含的最具體可執行版本的任務。
文檔編號G06Q10/00GK101221637SQ20071030153
公開日2008年7月16日 申請日期2007年12月21日 優先權日2006年12月21日
發明者哈拉德·斯隆寧, 安德烈亞斯·弗勒利克, 瑟薩勒·扎瓦塔瑞, 艾勒山多·托馬西, 邁克爾·蓋斯曼 申請人:軟件股份公司