
Industrial automation systems and integration--Parts Library--Part 20:Logical resource:Logical model of expressions
標(biāo)準(zhǔn)號(hào):GB/T 17645.20-2002
本部分為GB/T 17545的第20部分,對(duì)應(yīng)于ISO 10303-20:1998《工業(yè)自動(dòng)化系統(tǒng)與集成 零件庫(kù) 第20部分:邏輯資源:表達(dá)式的邏輯模型》(1998年英文版)。本部分等同翻譯ISO 10303-20:1998。GB/T 17545的本部分規(guī)定了:——通用表達(dá)式的EXPRESS模式;——表達(dá)式的EXPRESS模式建立了EXPRESS語(yǔ)言所允許的表達(dá)式的自集,對(duì)應(yīng)于ISO 10303-11:1994中定義的整型、實(shí)型、布爾型和字符串型。該模式使用通用表達(dá)式中定義的資源。GB/T 17545的本部分適用于:——包括常量和變量的表達(dá)式的交換;——檢查數(shù)值表達(dá)式是否應(yīng)該計(jì)算得出整數(shù)值的函數(shù);——確保表達(dá)式在語(yǔ)義上正確的約束條件;——表達(dá)式中使用的變量或函數(shù)的計(jì)算;——檢查表達(dá)式是否可以映射到SQL查詢語(yǔ)言的函數(shù)。GB/T 17545的本部分不適用于:——在某些相關(guān)環(huán)境中對(duì)變量賦值;——在給定的相關(guān)環(huán)境中,計(jì)算表達(dá)式值的觸發(fā)機(jī)制。
暫未檢測(cè)到相關(guān)機(jī)構(gòu),邀您申請(qǐng)入駐~
暫未檢測(cè)到相關(guān)機(jī)構(gòu),邀您申請(qǐng)入駐~
暫未檢測(cè)到相關(guān)機(jī)構(gòu),邀您申請(qǐng)入駐~