標(biāo)準(zhǔn)號(hào)：GB/T 15936.10-1996
中文標(biāo)準(zhǔn)名稱：信息處理 文本和辦公系統(tǒng) 辦公文件體系結(jié)構(gòu)(ODA)和交換格式 第10部分;形式規(guī)范
英文標(biāo)準(zhǔn)名稱：Information processing--Text and office systems--Office Document Architecture (ODA) and interchange format--Part 10: Formal specifications
標(biāo)準(zhǔn)類型：L76
發(fā)布日期：1996/12/26 12:00:00
實(shí)施日期：1997/7/1 12:00:00
中國(guó)標(biāo)準(zhǔn)分類號(hào)：L76
國(guó)際標(biāo)準(zhǔn)分類號(hào)：35.240.20
適用范圍： GB/T 15936的目的是為了便于文件的交換。 在GB/T 15936中，將文件看成是諸如備忘錄、信件、清單、表格和報(bào)告的一些項(xiàng)，它可包括圖形和表格材料。文件中使用的內(nèi)容元素可以包括圖形字符、幾何圖形元素和光柵圖形元素，它們都可包含在同一個(gè)文件中。 注：GB/T 15936設(shè)計(jì)成允許擴(kuò)充的，以便在其中包括印刷特征、顏色、傳單及諸如聲音內(nèi)容的附加類型。 GB/T 15936適用于通過數(shù)據(jù)通信或交換存儲(chǔ)媒體進(jìn)行的文件交換。 GB/T 15936為下列兩種目的或其中之一提供文件交換： --允許按始發(fā)者的意圖進(jìn)行顯現(xiàn)； --允許進(jìn)行諸如編輯和重新格式化處理。 交換中，文件的組成可有以下幾種形式： --允許文件顯現(xiàn)的格式化形式； --允許文件進(jìn)行處理的可處理形式； --允許顯現(xiàn)和進(jìn)行處理的格式化可處理形式。 GB/T 15936還提供了用于處理被交換文件的ODA信息結(jié)構(gòu)的交換。 此外，GB/T 15936還允許包括一種或多種不同類型內(nèi)容的文件交換，諸如字符文本、圖像、圖形和聲音。 本標(biāo)準(zhǔn)的主要內(nèi)容如下： --規(guī)定一種適合描述文件結(jié)構(gòu)（GB/T 15936.2）、文件輪廓（GB/T 15936.4）和內(nèi)容體系結(jié)構(gòu)（GB/T 15936.6，GB/T 15936.7，GB/T 15936.8）的技術(shù)規(guī)范的形式描述技術(shù)； --使用上述形式描述技術(shù)，給出文件結(jié)構(gòu)、文件輪廓和內(nèi)容體系結(jié)構(gòu)形式規(guī)范。 使用開放文件體系結(jié)構(gòu)形式規(guī)范（FODA）的用途是使用形式語(yǔ)法和形式語(yǔ)義，對(duì)GB/T 15936第2、4、6、7、8部分的技術(shù)規(guī)范提供一個(gè)精確的且無(wú)歧義的解釋。 FODA能用來作為 --實(shí)現(xiàn)GB/T 15936的基礎(chǔ)； --驗(yàn)證一致性系統(tǒng)的確認(rèn)工具； --檢查GB/T 15936未來擴(kuò)充和修訂的基點(diǎn)。 如果在自然語(yǔ)言文本和形式規(guī)范之間發(fā)現(xiàn)存在矛盾，則在解決此矛盾之前 ，將自然語(yǔ)言文本看作此國(guó)家標(biāo)準(zhǔn)的有效解釋