TWI309381B - Methods and systems for prevention of system execution malfunction and compiler product thereof - Google Patents
Methods and systems for prevention of system execution malfunction and compiler product thereof Download PDFInfo
- Publication number
- TWI309381B TWI309381B TW095100891A TW95100891A TWI309381B TW I309381 B TWI309381 B TW I309381B TW 095100891 A TW095100891 A TW 095100891A TW 95100891 A TW95100891 A TW 95100891A TW I309381 B TWI309381 B TW I309381B
- Authority
- TW
- Taiwan
- Prior art keywords
- specific
- compiler
- operator
- compiled
- definition language
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Description
1309381 . 九、發明說明: / 【發明所屬之技術領域】—〃 本發明係有關於系統管理,且特別有關於一種系統執 行故障之預防方法及系統。 【先前技術】 ' 在系統管理中,預防系統的執行故障係非常重要且關 ' 鍵的。由於執行時錯誤可能會導致系統當機,需要平順且 % 可靠執行環境來確保生產穩定的製造系統,如製造執行系 統更須對於系統執行故障進行特定之預防。大部份的 300mm製造執行系統,舉例來說,係採用CORBΑ(公共物 件請求代理結構)。CORBA提供一稱為序列(Sequence)的動 態容器作為儲存資料的陣列資料結構。然而,由於當一程 式存取到系統上未初始化的記憶體時系統將會當機,因 此,此結構係非常不夠穩定的。在製造廠中,要在以CORB A 為基礎之製造執行系統中將不安全的程式鎖定係非常困難 的。 ' IBM公司提供一種處理系統執行故障的容錯機制。如 * 第1A圖所示,系統100提供三個程序來同時服務相應之 程式。在第1A圖中,程序S1與S2被用來分別服務程式 P1與P2,而程序S3為閒置。當程式P2導致程序S2當機 關閉時,系統可以自動取消程序S2,叫醒程序S3來重新 服務程式P2,且另外啟動一個在閒置狀態之新程序S4,以 應付新的要求,如第1B圖所示。 0503-A30813TWF/Yianhou 5 1309381 . 然而,IBM公司所提出之單純使用另外一程序來重新 服務程式的機制無法解決系統當機的問題。對於一個完整 的解決方案,有問題的程式碼必須重新進行檢視且逐行修 正。這樣的方法將會非常耗時且無效率,且錯誤亦可能持 續存在,從而使得系統持續暴露在當機風險之中。 另外,系統當機問題亦會出現在網路環境中。由客戶 所傳送的資料版本必須符合伺服器可以辨識與接受的版 * 本。如果資料版本不相配,系統可能會當機關閉。第2圖 % 顯示解決網路環境中系統當機問題之機制。首先,客戶端 210傳送一資料版本至伺服器220之版本單元221(S1)。接 著,版本單元221判斷此資料版本是否相配伺服器220上 所使用的版本,且回傳一回應給客戶210(S2)。如果資料版 本相配,客戶端210傳送資料給伺服器220的處理核心 222(S3)。否則,客戶端210取消傳送。然而,習知機制需 要許多網路傳輸,使得其非常耗時且不具效率。 •【發明内容】 ' 有鑑於此,本發明提供一種系統執行故障預防方法。 • 依據本發明一實施例之系統執行故障預防方法,首 先,使用一介面定義語言(Interface Definition Language, ID L)編譯器編譯一介面定義語言檔來產生一編譯過之介面 定義語言檐。猎由在編譯過之介面定義語言標中定義相應 一特定運算子之額外操作來轉換編譯過之介面定義語言 檔。當包括此轉換後之襠案之一程式執行至此特定運算子 0503-A30813TWF/Yianhou 6 1309381 . 時,在相應曼塞麗.篡ϋ.原始操作前執行額外操作卞::二 ....~ 在編譯介®定義語言檔時,更產生一標頭檔,且使用 一來源碼編譯器將一來源碼檔與此標頭檔進行編譯。轉換 後之檔案與編譯後之來源碼檔進行合併來產生程式。 特定運算子包括CORBΑ的訂購(Subscribe)運算子。額 外操作包括判斷訂購運算子的參數值是否在一初始值内、 如杲參數值在初始值内,允許執行特定運算子之原始操 作、且如果參數值不在初始值内,取消執行特定運算子之 %原始操作。額外操作包括判斷訂購運算子是否要存取未初 始化之記憶體、如果訂購運算子不需要存取未初始化之記 憶體,允許執行特定運算子之原始操作、且如果訂購運算 子需要存取未初始化之記憶體,取消執行特定運算子之原 始操作。 如果參數值不在初始值内或是訂購運算子需要存取未 初始化之記憶體,更回傳一錯誤訊息。
依據本發明一實施例之使用於網路環境之系統執行故 障預防方法,首先,透過一網路接收一封包。此封包係事 先被一編碼器以一資料版本與資料進行編碼。接著,封包 被一解碼器解碼,以得到資料版本與資料。之後,判斷資 料版本是否相配於一既定版本,如果是,依據接收之資料 執行操作。否則,丟棄此封包。 本發明上述方法可以透過程式碼方式收錄於實體媒體 中。當程式碼被機器載入且執行時,機器變成用以實行本 發明之裝置。 0503-A30813TWF/Yianhou 7 1309381 ,..... .為,使本發明之上述目的、特徵和優點能更明顯易僅i 下文特舉實施例,並配合所附圖示T進行詳細說明如下。 【實施方式】 在本發明實施例中,習知CORBA編譯程序被進行修 正,以有效率地避免系統當機問題。 • CORBA允許程式的片段(Segment)或物件(Object)來與 • 不同的程式語言與作業系統之片段或物件進行相互通信。 灣| C0RBA提供一種機制,其中物件可以在不同之分散環境中 之不同平台上相互通信。在此模式中,客戶端透過一完善 定義之介面由物件要求服務。此介面在介面定義語言(IDL) 中指定。客戶端可以藉由發出一要求來存取一物件。此要 求可以是一事件,且帶有包括一操作、服務供應者之物件 參考(Object Reference)與實際參數等之資訊 第3圖為一示意圖係顯示一習知C0RBA編譯程序。 如第3圖所示,透過一介面定義語言編譯器302,一介面 % 定義語言檔301可以被產生一編譯後之介面定義語言檔 • 303與一標頭(Header)檔304。值得注意的是,一介面定義 • 語言標包含一個或多個介面定義。每一介面定義係由一介 面標頭與一介面主體(Body)所組成。介面標頭係由方括號 所區分。介面主體係包含於圓括號中。 另外,透過一來源碼編譯器306,一來源碼檔305與 標頭檔304可以產生一編譯後之來源碼檔307。值得注意 的是_,來源碼檀305_可以是一個使用C++、JAVA或是其 0503-A30813TWF/Yianhou 8 1309381 唪言所撰惠氣氣意,且來源碼編 ^^_+、java或是其,他編譯器。介 ^ 〇3.與編譯後之來源碼檔307被結合來產生一程式 第4圖為一示意圖係顯示依據本發明實施例之編譯器 產°° , °睪态產品400包括一介面定義語言編譯器302、 一來源碼編譯器306與一轉換編譯器41〇,其細節將於後 說明。
第5圖為—示意圖係顯示依據本發明實施例之系統執 4亍故F早預防方法。注意的是,在第3、4與5圖中相同的元 件將以相同的標示表示。首先,使用介面定義語言編譯器 302編譯介面定義語言檔301(S501),以分別產生一編譯後 之介面定義語言檔3〇3(S502a)與一標頭檔304)(S502b)。接 者’編譯後之介面定義香s標303被轉換編譯器41 〇進行 轉換(S503)以產生一轉換後之檔案411(S504)。其中,轉換 編#斋410係在編譯過之介面定義語言檔中定義相應一特 定運算子之額外操作來轉換編譯過之介面定義語言檔。 另外,一來源瑪編譯器306編譯一來源碼檔3〇5與標 頭檔304(Sd05) ’以產生一編譯後之來源碼檔3〇7(S5〇6)。 之後,轉換後之檔案411與編譯後之來源碼檔3〇7被結合 來產生一程式308。值得注意的是,當包括此轉換後之^ 案4U之程式308執行至此特定運算子時,在相應特定運 异子之原始操作前執行额外操作。特定運算子包括c〇RBA 的訂購運算子。額外拓作包括,但不限定是,保護的操作 〇503-A30813TWF/Yianhou 9
1309381 其包括判斷訂購運算子是否要存取未初始化之記億體:、與 判斷訂ιϊ運算子的參數值是否在一初始值内。值得注意的 是,相應訂購運算子之原始操作在CORBA中已經明確定 義,在此省略。 第6圖為一流程圖係顯示依據本發明實施例之程式執 行程序。當一程式執行至訂購運算子時,首先,如步驟 S610,判斷訂購運算子是否要存取未初始化之記憶體。類 似地,步驟S610可以係判斷訂購運算子的參數值是否在一 初始值内。如果不需要(步驟S610的否),如步驟S611,允 許依據相應之參數執行訂購運算子之原始操作。若需要存 取未初始化之記憶體(步驟S610的是),如步驟S612,取消 孰行訂購運算子之原始操作,且如步驟S613,回報一個錯 誤訊息給電腦系統或相關人員以進行後續處理。 第7圖為一示意圖係顯示儲存提供系統執行故障預防 方法之電腦程式之儲存媒體。電腦程式產品包括可以使用 於電腦系統700中具有儲存電腦可讀取程式碼之儲存媒體 710。電腦可讀取程式碼至少包括程式碼711,用以使用一 介面定義語言編譯器編譯一介面定義語言檔來產生一編譯 過之介面定義語言檔、以及程式碼712,用以藉由在編譯 過之介面定義語言檔中定義相應一特定運算子之額外操作 來轉換編譯過之介面定義語言檔。當包括此轉換後之檔案 之一程式執行至此特定運算子時,在相應特定運算子之原 始操作前執行額外操作。 電腦可讀取程式碼更包括程式碼(未顯示),用以判斷 0503-A30813TWF/Yianhou 10 1309381 :課tt,否ίΐ取未初始化之雜體、:程式,未顯 允許執ϋ了購子$需要存取未彳讀化之記憶體時; 用定運算子之原始操作、以及程式碼(未顯示), 行特定子ΐ要存取未初始化之記憶體時,取消執 碼(未顯i t原4作。電腦可讀取程式碼更包括程式 體時丄發出-w息。 存取未純化之記憶
境之:If為1忍圖係顯示依據本發明實施例之網路環 二ΓΓ故障預防方法。此環境包括分別在至少-客 、:祠,器上之-編碼器8。3與一解碼器8〇6。 _ I编’客戶端上之資料版本(或資料格式)802與資料 804⑽2)。此封包8〇4透過/ = f生一封包 卿3)。接收到封包咖之後4 =送至飼服器 判斷資料版i H 2U8G1(S81:>)。之後, 如果是I 於伺服器上之-既定版本,且 接收t資料執行操作。否則,丢棄此封包。 方法之♦二為:不=係顯示儲存提供系統執行故障預防 式存媒體。 於電月自系統900中具有儲左+ Q1n _ 省存包驷可讀取程式碼之儲存媒體 電腦可讀取程式瑪至少包括程式碼9ii,用以透過一 轉,收一封包、程式石馬912,用以解瑪封包,以得到資 料版本與㈣、程式碼913,心判斷資料版本是否相配 於一既定版本、以及程式碼Q】 %馬914,用以當資料版本相配於 0503-A30813TWF/Yianhou 11 1309381 既定版本時,依據接收之資料執行操作。.- :二' 藉由本發明實施例,可以提供有效之機制來預防系統 執行故障,從而節省相關人力與時間,且強化系統的穩定 性。 本發明之方法與系統,或特定型態或其部份,可以以 程式碼的型態包含於實體媒體,如軟碟、光碟片、硬碟\ 或是任何其他機器可讀取(如電腦可讀取)儲存媒體,其 * 中,當程式碼被機器,如電腦載入且執行時,此機器變成 % 用以參與本發明之裝置。本發明之方法與裝置也可以以程 式碼型態透過一些傳送媒體,如電線或電纜·、光纖、或是 任何傳輸型態進行傳送,其中,當程式碼被機器,如電腦 接收、載入且執行時,此機器變成用以參與本發明之裝置。 當在一般用途處理器實作時,程式碼結合處理器提供一操 作類似於應用特定邏輯電路之獨特裝置。 雖然本發明已以較佳實施例揭露如上,然其並非用以 限定本發明,任何熟悉此項技藝者,在不脫離本發明之精 零神和範圍内,當可做些許更動與潤飾,因此本發明之保護 ' 範圍當視後附之申請專利範圍所界定者為準。 0503-A30813TWF/Yianhou 12 1309381 .【圖式簡單說明】 —' 一 … 第1A與1¾¾¾ 一示意圖係顯示一—習知容錯機制。 第2圖為一流程圖係顯示解決網路環境中系統當機問 題之機制。 第3圖為一示意圖係顯示一習知CORBA編譯程序。 第4圖為一示意圖係顯示依據本發明實施例之編譯器 產品。. * 第5圖為一示意圖係顯示依據本發明實施例之系統執 鳙行故障預防方法。 第6圖為一流程圖係顯示依據本發明實施例之程式執 行程序。 第7圖為一示意圖係顯示儲存提供系統執行故障預防 方法之電腦程式之儲存媒體。 第8圖為一示意圖係顯示依據本發明實施例之網路環 境之系統執行故障預防方法。 第9圖為一示意圖係顯示儲存提供系統執行故障預防 ®方法之電腦程式之儲存媒體。 【主要元件符號說明】 PI、P2〜程式; 100〜糸統; 220〜伺服器; 222〜處理核心; 302〜介面定義語言編 SI、S2 ' S3、S4〜程序; 210〜客戶端; 221〜版本單元; 301〜介面定義語言檔; 荸器; 0503-A30813TWF/Yianhou 13 1309381 303〜編譯後之介面定義語言檔; ‘ v::: 304〜標頭檔; 305〜來源碼檔; 306〜來源碼編譯器;307〜編譯後之來源碼檔; 308〜程式; 400〜編譯器產品; 410〜轉換編譯器; 411〜轉換後之檔案; S501、S502a、S502b、…、S507〜操作步驟; S610、S611、...、S613〜操作步驟; 700〜電腦系統; 710〜儲存媒體;
711、712〜程式碼; 801〜資料; 802〜貢料版本; 803〜編碼器, 804〜封包; 805〜網路; 8 06〜解碼器, S8n、S812、…、S815〜操作步驟; 900〜電腦糸統, 910〜儲存媒體; 911、912、913、914〜程式碼。 0503-A30813TWF/Yianhou 14
Claims (1)
- 修正f期:97QK #9§ii〇89 π虎申請專利範圍修正本 祕日修正本 十、申請專利範圍: 中,行故障預防方法’使用於-品 定義==及定義語言(1叫檔來產生-編譯過之介面 運管睪過之该介面定義語言檔中定義相應-特定 -運#子之額外㈣來轉換編譯過之該介 .· • f包括該轉換後之㈣之—程式執行至复 時二在相應該特定運算子之原始操作前執行該額外::子 且田該額外麵作被執行時,若該特定運算子之一、參 未在-初始值之-範圍内時,相應該特定運算之 : 操作的執行被取消、或若該特定運算子需要存取 體時,相應該特定運算子之該原始操作的執行‘ 法 圍第1項所述之系統執行故障預防方 編譯該介面定義語言播,以更產生—標頭精; 譯 -來源竭編譯器將一來源碼槽與該標頭檔進行編 產生換後之槽案與編譯後之該來源碼標進行合併來 法,項所述之軸行故障預防方 的」訂^^恤娜姆㈣構(⑽叫 O503-A30813TWF1/Yianh〇u 15 891號申請專利範圍修正本 修正日期:97.9.16 4. 如申請專利範圍第1項所述之系統執行故障預防方 法,更包括下列步驟: 若該參數值在該初始值之該範圍内,允許執行該特定 運算子之該原始操作。 5. 如申請專利範圍第4項所述之系統執行故障預防方 法,其中該額外操作更包括當該參數值不在該初始值之該 範圍内時,回傳一錯誤訊息。 6. 如申請專利範圍第1項所述之系統執行故障預防方 法,更包括下列步驟: 若該訂購運算子不需要存取未初始化之記憶體,允許 執行該特定運算子之原始操作。 7. 如申請專利範圍第6項所述之系統執行故障預防方 法,其中該額外操作更包括當該特定運算子需要存取未初 始化之記憶體時,回傳一錯誤訊息。 8. —種編譯器產品,包括: 一介面定義語言編譯器,用以編譯一介面定義語言 檔;以及 一轉換編譯器,用以藉由在編譯過之該介面定義語言 檔中定義相應一特定運算子之額外操作來轉換編譯過之該 介面定義語言標; 當包括該轉換後之檔案之一程式執行至該特定運算子 時,在相應該特定運算子之原始操作前執行該額外操作, 且當該額外操作被執行時,若該特定運算子之一參數值並 未在一初始值之一範圍内時,相應該特定運算子之該原始 0503-A30813TWFl/Yianhou 16 13〇9播Li號申請專利範圍修正本 操作的執行被取消、或錢特定運算子 日期,97·9.16 :::記憶體時’相應峨運算子之該原= 9.如申請專利範圍第8項所述之編譯器產品 -來源碼編譯器’用以編譯一來更匕括. 其中該標頭槽係於編譯該介面定義語言槽頭槽, :產生S轉換後之槽案與編譯後之該來源侧合併來 〇.如申明專利範圍第8項所述之編譯。 特定運算子包括公共純請求代麟構的_^&算^ 額外申4專利範15第8項所述之編譯11產品,並中兮 额外細作包括若該參數值在該初 -中該 行該特定運算子之原始操作/刀始值之5亥乾圍内,允許執 該額外利乾圍第11項所述之編譯器產品,其中 時,回傳^"該參數值不在該初始值之該範圍内 额外:所述之編譯器產品’其中該 體,允許執行該特定運算子之取未初始化之記億 該額^丨料難㈣13销叙解減品,其令 憶體時,回傳一錯誤訊息。而要存取未初始化之吕己 〇5〇3'A3〇813TWF1/Yianh〇u 17
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/042,915 US7533373B2 (en) | 2005-01-25 | 2005-01-25 | Method for prevention of system execution malfunction |
Publications (2)
Publication Number | Publication Date |
---|---|
TW200627276A TW200627276A (en) | 2006-08-01 |
TWI309381B true TWI309381B (en) | 2009-05-01 |
Family
ID=36698538
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
TW095100891A TWI309381B (en) | 2005-01-25 | 2006-01-10 | Methods and systems for prevention of system execution malfunction and compiler product thereof |
Country Status (3)
Country | Link |
---|---|
US (1) | US7533373B2 (zh) |
CN (1) | CN100394387C (zh) |
TW (1) | TWI309381B (zh) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100871563B1 (ko) * | 2007-02-14 | 2008-12-02 | 삼성전자주식회사 | 컴포넌트 기반의 소프트웨어 개발을 위한 장치 및 방법 |
EP2073155A1 (en) * | 2007-12-20 | 2009-06-24 | Siemens Aktiengesellschaft | Controlling the re-execution of a rule branch |
RU2675210C1 (ru) * | 2018-01-31 | 2018-12-17 | Федеральное государственное казенное военное образовательное учреждение высшего образования "Академия Федеральной службы охраны Российской Федерации" (Академия ФСО России) | Система анализа программного обеспечения на отсутствие потенциально опасных функциональных объектов |
Family Cites Families (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5560009A (en) * | 1990-09-21 | 1996-09-24 | Hewlett-Packard Company | Generating symbolic debug information by merging translation and compiler debug information |
JP3602857B2 (ja) * | 1991-04-23 | 2004-12-15 | 株式会社日立製作所 | 多機種対応型情報処理システム、および、方法 |
US5193180A (en) * | 1991-06-21 | 1993-03-09 | Pure Software Inc. | System for modifying relocatable object code files to monitor accesses to dynamically allocated memory |
US5860072A (en) * | 1996-07-11 | 1999-01-12 | Tandem Computers Incorporated | Method and apparatus for transporting interface definition language-defined data structures between heterogeneous systems |
JPH10301768A (ja) * | 1997-04-23 | 1998-11-13 | Nec Software Ltd | Corbaのidl記述のアプリケーションビルダーへ の変換方式 |
JP3377419B2 (ja) * | 1997-11-11 | 2003-02-17 | インターナショナル・ビジネス・マシーンズ・コーポレーション | 命令列生成方法及び装置、変換方法、及びコンピュータ |
US6412082B1 (en) * | 1997-12-17 | 2002-06-25 | Sony Corporation | Method and apparatus for selecting computer programs based on an error detection mechanism |
JP4319706B2 (ja) * | 1998-04-10 | 2009-08-26 | 株式会社日立製作所 | プログラム開発支援ツール |
US6182277B1 (en) * | 1998-04-15 | 2001-01-30 | Oracle Corporation | Methods and apparatus for declarative programming techniques in an object oriented environment |
US6862635B1 (en) * | 1998-11-13 | 2005-03-01 | Cray Inc. | Synchronization techniques in a multithreaded environment |
US6728788B1 (en) * | 1999-12-16 | 2004-04-27 | International Business Machines Corporation | Method and system for converting a remote procedure call to a local procedure call when the service is on the same device as the calling client |
US6634020B1 (en) * | 2000-03-24 | 2003-10-14 | International Business Machines Corporation | Uninitialized memory watch |
GB2370134A (en) * | 2000-12-15 | 2002-06-19 | Sharp Kk | Method of co-simulating a digital circuit |
US6725362B2 (en) * | 2001-02-06 | 2004-04-20 | Intel Corporation | Method for encoding an instruction set with a load with conditional fault instruction |
-
2005
- 2005-01-25 US US11/042,915 patent/US7533373B2/en not_active Expired - Fee Related
-
2006
- 2006-01-10 TW TW095100891A patent/TWI309381B/zh not_active IP Right Cessation
- 2006-01-25 CN CNB2006100017722A patent/CN100394387C/zh not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
CN1811713A (zh) | 2006-08-02 |
TW200627276A (en) | 2006-08-01 |
CN100394387C (zh) | 2008-06-11 |
US7533373B2 (en) | 2009-05-12 |
US20060168570A1 (en) | 2006-07-27 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7949999B1 (en) | Providing support for multiple interface access to software services | |
US7076762B2 (en) | Design and redesign of enterprise applications | |
JP4496067B2 (ja) | サービス指向アーキテクチャ向けのサービス・インターフェースを自動的に生成するための方法およびシステム | |
JP5894724B2 (ja) | グラフ型計算の分散サービス | |
CN101263480B (zh) | 用于应用程序之间xml数据的实时同步的方法 | |
Rademakers et al. | Open-Source ESBs in Action: Example Implementations in Mule and ServiceMix | |
US9116681B2 (en) | Workflow schedule authoring tool | |
US7958163B2 (en) | System and method for bulk transfer of digital goods | |
WO2020052372A1 (zh) | 一种基于区块链的版权事件存证方法及系统 | |
US20070156538A1 (en) | Architectural design for product catalog management application software | |
JP2005196767A (ja) | ウェブ・サービス呼び出しをサポートするスケジューラ | |
US20100280865A1 (en) | Systems and Methods for a Real-Time Workflow Platform | |
US20100070753A1 (en) | Enhanced distribution of digital content | |
US20090171811A1 (en) | Architectural Design For Product Catalog Management Application Software | |
US8701083B2 (en) | Systems and methods for varying software build properties using primary and supplemental build files | |
AU2003231295A8 (en) | Systems and methods for collaborative business plug-ins | |
CN103019718A (zh) | 在集中式源控制环境中使用分布式源控制 | |
US7774792B2 (en) | Automatic create, update and delete event publishing | |
US8380549B2 (en) | Architectural design for embedded support application software | |
TWI309381B (en) | Methods and systems for prevention of system execution malfunction and compiler product thereof | |
US8332335B2 (en) | Systems and methods for decision pattern identification and application | |
US7315980B2 (en) | Method and apparatus for generating electronic document definitions | |
Brahem et al. | Running transactional business processes with blockchain's smart contracts | |
JP2013125441A (ja) | ソフトウェア管理システム、ソフトウェア検証装置、ソフトウェア管理方法 | |
JP4851733B2 (ja) | ウェブポータルを使用するコンテンツ収集の自動システム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
MM4A | Annulment or lapse of patent due to non-payment of fees |