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 PDF

Info

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
Application number
TW095100891A
Other languages
English (en)
Other versions
TW200627276A (en
Inventor
Ming Wang
Chien Fei Cheng
Original Assignee
Taiwan Semiconductor Mfg
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Taiwan Semiconductor Mfg filed Critical Taiwan Semiconductor Mfg
Publication of TW200627276A publication Critical patent/TW200627276A/zh
Application granted granted Critical
Publication of TWI309381B publication Critical patent/TWI309381B/zh

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • G06F11/3624Software 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)

  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
TW095100891A 2005-01-25 2006-01-10 Methods and systems for prevention of system execution malfunction and compiler product thereof TWI309381B (en)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

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