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