自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法、裝置及系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及半導(dǎo)體生產(chǎn)領(lǐng)域，尤其涉及一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的 方法、裝置及系統(tǒng)。
【背景技術(shù)】
[0002] 在當(dāng)今半導(dǎo)體生產(chǎn)領(lǐng)域，工廠自動(dòng)化技術(shù)已經(jīng)被廣泛制造廠商所采用。通過一些 軟件中間件的實(shí)現(xiàn)，可以將設(shè)備與高層控制平臺(tái)有機(jī)地結(jié)合起來，從而為工作人員提供一 個(gè)友好而高效的操作環(huán)境。目前，機(jī)臺(tái)采用FA (Factory Automation System,工廠系統(tǒng)自 動(dòng)化軟件平臺(tái)系統(tǒng)）作為工廠端軟件與設(shè)備控制軟件交互的中間部分。FA系統(tǒng)基于SEMI 標(biāo)準(zhǔn)開發(fā)，負(fù)責(zé)解析工廠端軟件發(fā)送的遵循SEMI標(biāo)準(zhǔn)的消息并下發(fā)至設(shè)備端，以及將接收 到的設(shè)備端消息轉(zhuǎn)換為SEMI標(biāo)準(zhǔn)的消息并發(fā)送至工廠端。
[0003]目前，F(xiàn)A系統(tǒng)的數(shù)據(jù)庫(kù)采用XML文件形式，以三級(jí)節(jié)點(diǎn)的結(jié)構(gòu)創(chuàng)建。由于其文本 屬性，XML文檔容易被人為地錯(cuò)誤編輯，如被誤刪字母、被重復(fù)創(chuàng)建節(jié)點(diǎn)等。數(shù)據(jù)庫(kù)文檔正 確與否，關(guān)系到FA系統(tǒng)能否正常運(yùn)行。

【發(fā)明內(nèi)容】

[0004] 基于此，有必要提出一種，從符合FA系統(tǒng)業(yè)務(wù)規(guī)則方面，提高FA數(shù)據(jù)庫(kù)文件有效 性保證系統(tǒng)正常運(yùn)行的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法、裝置及系統(tǒng)。
[0005] 為實(shí)現(xiàn)發(fā)明目的提供的一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，包括以下 步驟：
[0006] 構(gòu)建與所述數(shù)據(jù)庫(kù)文件相對(duì)應(yīng)的數(shù)據(jù)庫(kù)對(duì)象的集合文件，設(shè)定所述數(shù)據(jù)庫(kù)文件中 各節(jié)點(diǎn)的結(jié)構(gòu)約束；
[0007] 構(gòu)建用于導(dǎo)入輸入文件，并利用所述數(shù)據(jù)庫(kù)對(duì)象的集合文件對(duì)所述輸入文件的有 效性進(jìn)行判斷的判斷文件；
[0008] 在所述自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含所述判斷文件的驗(yàn)證文件，對(duì)所述數(shù)據(jù)庫(kù)文 件的有效性進(jìn)行驗(yàn)證。
[0009] 作為一種可實(shí)施方式，所述判斷文件同時(shí)逐條進(jìn)行記錄判斷出的錯(cuò)誤信息。
[0010] 作為一種可實(shí)施方式，所述在所述自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含所述判斷文件的 驗(yàn)證文件，對(duì)所述數(shù)據(jù)庫(kù)文件的有效性進(jìn)行驗(yàn)證，還包括以下步驟：
[0011] 對(duì)進(jìn)行有效性驗(yàn)證的所述數(shù)據(jù)庫(kù)文件中的錯(cuò)誤，提示出錯(cuò)位置。
[0012] 作為一種可實(shí)施方式，還包括以下步驟：
[0013] 當(dāng)需要對(duì)數(shù)據(jù)庫(kù)執(zhí)行查詢操作時(shí)，所述自動(dòng)化系統(tǒng)首先調(diào)用所述判斷文件對(duì)讀入 的數(shù)據(jù)進(jìn)行有效性驗(yàn)證，數(shù)據(jù)有效時(shí)，則繼續(xù)進(jìn)行數(shù)據(jù)操作，否則提示錯(cuò)誤信息。
[0014] 作為一種可實(shí)施方式，所述判斷文件采用ValidateXMLO方法生成。
[0015] 基于同一發(fā)明構(gòu)思的一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置，包括第一存 儲(chǔ)模塊，第二存儲(chǔ)模塊，以及第一驗(yàn)證模塊，其中：
[0016] 所述第一存儲(chǔ)模塊，用于存儲(chǔ)用于設(shè)定所述數(shù)據(jù)庫(kù)文件中各節(jié)點(diǎn)的結(jié)構(gòu)約束的， 與所述數(shù)據(jù)庫(kù)文件相對(duì)應(yīng)的數(shù)據(jù)庫(kù)對(duì)象的集合文件；
[0017] 所述第二存儲(chǔ)模塊，用于存儲(chǔ)用于導(dǎo)入輸入文件，并利用所述數(shù)據(jù)庫(kù)對(duì)象的集合 文件對(duì)所述輸入文件的有效性進(jìn)行判斷的判斷文件；
[0018] 所述第一驗(yàn)證模塊，用于在所述自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含所述判斷文件的驗(yàn) 證文件，對(duì)所述數(shù)據(jù)庫(kù)文件的有效性進(jìn)行驗(yàn)證。
[0019] 作為一種可實(shí)施方式，所述判斷文件同時(shí)逐條進(jìn)行記錄判斷出的錯(cuò)誤信息。
[0020] 作為一種可實(shí)施方式，所述第一驗(yàn)證模塊還包括提示子模塊，所述提示子模塊，用 于對(duì)進(jìn)行有效性驗(yàn)證的所述數(shù)據(jù)庫(kù)文件中的錯(cuò)誤，提示出錯(cuò)位置。
[0021] 作為一種可實(shí)施方式，還包括第二驗(yàn)證模塊，用于當(dāng)需要對(duì)數(shù)據(jù)庫(kù)執(zhí)行查詢操作 時(shí)，調(diào)用所述判斷文件對(duì)讀入的數(shù)據(jù)進(jìn)行有效性驗(yàn)證，數(shù)據(jù)有效時(shí)，則繼續(xù)進(jìn)行數(shù)據(jù)操作， 否則提示錯(cuò)誤信息。
[0022] 作為一種可實(shí)施方式，所述判斷文件采用ValidateXMLO方法生成。
[0023] 基于同一發(fā)明構(gòu)思的一種自動(dòng)化系統(tǒng)，包括自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)，以及所述的自動(dòng) 化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置。
[0024] 本發(fā)明的有益效果包括：
[0025] 本發(fā)明提供的一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法、裝置及系統(tǒng)，在FA 啟動(dòng)前，預(yù)先運(yùn)行包含所述判斷文件的驗(yàn)證文件，判斷文件對(duì)FA系統(tǒng)的數(shù)據(jù)庫(kù)文件進(jìn)行有 效性驗(yàn)證?？杀M早規(guī)避數(shù)據(jù)庫(kù)出錯(cuò)的風(fēng)險(xiǎn)，提高FA系統(tǒng)數(shù)據(jù)有文件的有效性。避免系統(tǒng)運(yùn) 行中因數(shù)據(jù)庫(kù)文件出錯(cuò)造成FA系統(tǒng)中斷生產(chǎn)的現(xiàn)象，提高生產(chǎn)效率。
【附圖說明】
[0026] 圖1為本發(fā)明一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法的一具體實(shí)施例的 流程圖；
[0027] 圖2為本發(fā)明一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置的一具體實(shí)施例的 結(jié)構(gòu)示意圖。
【具體實(shí)施方式】
[0028] 為了使本發(fā)明的目的、技術(shù)方案及優(yōu)點(diǎn)更加清楚明白，以下結(jié)合附圖對(duì)本發(fā)明實(shí) 施例的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法、裝置及系統(tǒng)的【具體實(shí)施方式】進(jìn)行說明。 應(yīng)當(dāng)理解，此處所描述的具體實(shí)施例僅僅用以解釋本發(fā)明，并不用于限定本發(fā)明。
[0029] 本發(fā)明實(shí)施例的一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，如圖1所示，包 括以下步驟：
[0030] S100,構(gòu)建與所述數(shù)據(jù)庫(kù)文件相對(duì)應(yīng)的數(shù)據(jù)庫(kù)對(duì)象的集合文件，設(shè)定所述數(shù)據(jù)庫(kù) 文件中各節(jié)點(diǎn)的結(jié)構(gòu)約束。
[0031] 一份正確的FA系統(tǒng)的XML數(shù)據(jù)庫(kù)文件，應(yīng)當(dāng)遵循以下兩個(gè)原則：
[0032] 1、合法性：XML的數(shù)據(jù)庫(kù)文檔語(yǔ)法正確、結(jié)構(gòu)良好。且按照XML語(yǔ)法規(guī)范，XML文檔 需要滿足以下三個(gè)基本結(jié)構(gòu)需求：
[0033] a)有一個(gè)包含所有其他節(jié)點(diǎn)的根節(jié)點(diǎn)；
[0034] b)每個(gè)開始標(biāo)記都有相對(duì)于的結(jié)束標(biāo)記；
[0035] c)所有節(jié)點(diǎn)都正確嵌套。
[0036] 2、有效性：XML文檔必須遵循相關(guān)業(yè)務(wù)所規(guī)定的結(jié)構(gòu)、邏輯與規(guī)則。對(duì)于FA系統(tǒng) 而言，數(shù)據(jù)庫(kù)文件必須符合以下四個(gè)標(biāo)準(zhǔn)：
[0037] a)二級(jí)節(jié)點(diǎn)非空。以Host, xml文檔為例，不允許存在這樣一個(gè)"Host"節(jié)點(diǎn)，它的 內(nèi)部結(jié)構(gòu)（InnerXml，下同）為空，或者它的所有三個(gè)子節(jié)點(diǎn)（"HostID"、"Name"、"ModeID"） 的值（InnerText，下同）均為空；
[0038] b)固定的二級(jí)節(jié)點(diǎn)結(jié)構(gòu)。以Host.xml文檔為例，其所有的二級(jí)節(jié)點(diǎn)名均應(yīng)為 "Host"，且每一個(gè)Host節(jié)點(diǎn)的子節(jié)點(diǎn)固定地為"HostID"、"Name"、"ModeID"這三個(gè)；
[0039] c)關(guān)鍵三級(jí)節(jié)點(diǎn)的值唯一且非空。所謂關(guān)鍵節(jié)點(diǎn)，是指當(dāng)前記錄用以區(qū)分其他記 錄的標(biāo)示符，其值具有唯一性。以Host, xml文檔為例，對(duì)于每一個(gè)"Host"節(jié)點(diǎn)而言，其子 節(jié)點(diǎn)"HostID"即為其關(guān)鍵節(jié)點(diǎn)，它的值唯一，且不允許為空；
[0040] d)三級(jí)節(jié)點(diǎn)值的類型符合業(yè)務(wù)規(guī)則。以Host, xml文檔為例，對(duì)于每一個(gè)"Host" 節(jié)點(diǎn)而言，其子節(jié)點(diǎn)"HostID"的值類型應(yīng)當(dāng)為string類型(須符合Guid格式規(guī)范)，子節(jié) 點(diǎn)"Name"的值類型應(yīng)當(dāng)為string類型，子節(jié)點(diǎn)"ModelD"的值類型應(yīng)當(dāng)為int類型。
[0041] 例如FA系統(tǒng)中主機(jī)信息（Host, xml)的文檔：
【主權(quán)項(xiàng)】
1. 一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，其特征在于，包括以下步驟： 構(gòu)建與所述數(shù)據(jù)庫(kù)文件相對(duì)應(yīng)的數(shù)據(jù)庫(kù)對(duì)象的集合文件，設(shè)定所述數(shù)據(jù)庫(kù)文件中各節(jié) 點(diǎn)的結(jié)構(gòu)約束； 構(gòu)建用于導(dǎo)入輸入文件，并利用所述數(shù)據(jù)庫(kù)對(duì)象的集合文件對(duì)所述輸入文件的有效性 進(jìn)行判斷的判斷文件； 在所述自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含所述判斷文件的驗(yàn)證文件，對(duì)所述數(shù)據(jù)庫(kù)文件的 有效性進(jìn)行驗(yàn)證。
2. 根據(jù)權(quán)利要求1所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，其特征在于，所 述判斷文件同時(shí)逐條進(jìn)行記錄判斷出的錯(cuò)誤信息。
3. 根據(jù)權(quán)利要求1或2所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，其特征在于， 所述在所述自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含所述判斷文件的驗(yàn)證文件，對(duì)所述數(shù)據(jù)庫(kù)文件的 有效性進(jìn)行驗(yàn)證，還包括以下步驟： 對(duì)進(jìn)行有效性驗(yàn)證的所述數(shù)據(jù)庫(kù)文件中的錯(cuò)誤，提示出錯(cuò)位置。
4. 根據(jù)權(quán)利要求1所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，其特征在于，還 包括以下步驟： 當(dāng)需要對(duì)數(shù)據(jù)庫(kù)執(zhí)行查詢操作時(shí)，所述自動(dòng)化系統(tǒng)首先調(diào)用所述判斷文件對(duì)讀入的數(shù) 據(jù)進(jìn)行有效性驗(yàn)證，數(shù)據(jù)有效時(shí)，則繼續(xù)進(jìn)行數(shù)據(jù)操作，否則提示錯(cuò)誤信息。
5. 根據(jù)權(quán)利要求4所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法，其特征在于，所 述判斷文件采用ValidateXMLO方法生成。
6. -種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置，其特征在于，包括第一存儲(chǔ)模塊，第 二存儲(chǔ)模塊，以及第一驗(yàn)證模塊，其中： 所述第一存儲(chǔ)模塊，用于存儲(chǔ)用于設(shè)定所述數(shù)據(jù)庫(kù)文件中各節(jié)點(diǎn)的結(jié)構(gòu)約束的，與所 述數(shù)據(jù)庫(kù)文件相對(duì)應(yīng)的數(shù)據(jù)庫(kù)對(duì)象的集合文件； 所述第二存儲(chǔ)模塊，用于存儲(chǔ)用于導(dǎo)入輸入文件，并利用所述數(shù)據(jù)庫(kù)對(duì)象的集合文件 對(duì)所述輸入文件的有效性進(jìn)行判斷的判斷文件； 所述第一驗(yàn)證模塊，用于在所述自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含所述判斷文件的驗(yàn)證文 件，對(duì)所述數(shù)據(jù)庫(kù)文件的有效性進(jìn)行驗(yàn)證。
7. 根據(jù)權(quán)利要求6所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置，其特征在于，所 述判斷文件同時(shí)逐條進(jìn)行記錄判斷出的錯(cuò)誤信息。
8. 根據(jù)權(quán)利要求6或7所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置，其特征在于， 所述第一驗(yàn)證模塊還包括提示子模塊，所述提示子模塊，用于對(duì)進(jìn)行有效性驗(yàn)證的所述數(shù) 據(jù)庫(kù)文件中的錯(cuò)誤，提示出錯(cuò)位置。
9. 根據(jù)權(quán)利要求6所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置，其特征在于，還 包括第二驗(yàn)證模塊，用于當(dāng)需要對(duì)數(shù)據(jù)庫(kù)執(zhí)行查詢操作時(shí)，調(diào)用所述判斷文件對(duì)讀入的數(shù) 據(jù)進(jìn)行有效性驗(yàn)證，數(shù)據(jù)有效時(shí)，則繼續(xù)進(jìn)行數(shù)據(jù)操作，否則提示錯(cuò)誤信息。
10. 根據(jù)權(quán)利要求9所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置，其特征在于，所 述判斷文件采用ValidateXMLO方法生成。
11. 一種自動(dòng)化系統(tǒng)，包括自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)，其特征在于，還包括權(quán)利要求6至10任 一項(xiàng)所述的自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的裝置。
【專利摘要】本發(fā)明公開了一種自動(dòng)化系統(tǒng)數(shù)據(jù)庫(kù)文件有效性驗(yàn)證的方法、裝置及系統(tǒng)，其中該方法包括如下步驟：構(gòu)建與數(shù)據(jù)庫(kù)文件相對(duì)應(yīng)的數(shù)據(jù)庫(kù)對(duì)象的集合文件，設(shè)定數(shù)據(jù)庫(kù)文件中各節(jié)點(diǎn)的結(jié)構(gòu)約束；構(gòu)建用于導(dǎo)入輸入文件，并利用數(shù)據(jù)庫(kù)對(duì)象的集合文件對(duì)輸入文件的有效性進(jìn)行判斷的判斷文件；在自動(dòng)化系統(tǒng)啟動(dòng)前，運(yùn)行包含判斷文件的驗(yàn)證文件，對(duì)數(shù)據(jù)庫(kù)文件的有效性進(jìn)行驗(yàn)證。其可盡早規(guī)避數(shù)據(jù)庫(kù)出錯(cuò)的風(fēng)險(xiǎn)，提高FA系統(tǒng)數(shù)據(jù)有文件的有效性。避免系統(tǒng)運(yùn)行中因數(shù)據(jù)庫(kù)文件出錯(cuò)造成FA系統(tǒng)中斷生產(chǎn)的現(xiàn)象，提高生產(chǎn)效率。
【IPC分類】G06F17-30
【公開號(hào)】CN104809111
【申請(qǐng)?zhí)枴緾N201410031059
【發(fā)明人】吳瓊
【申請(qǐng)人】北京北方微電子基地設(shè)備工藝研究中心有限責(zé)任公司
【公開日】2015年7月29日
【申請(qǐng)日】2014年1月23日