GB/T 15936.10-1996
Обработка информации. Текстовые и офисные системы. Архитектура офисных документов (ODA) и формат обмена. Часть 10. Формальные спецификации. (Англоязычная версия)

Стандартный №

GB/T 15936.10-1996

язык

Китайский, Доступно на английском

Дата публикации

1996

Разместил

General Administration of Quality Supervision, Inspection and Quarantine of the People‘s Republic of China

Последняя версия

GB/T 15936.10-1996

сфера применения

Целью 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) является предоставление точной и однозначной интерпретации технических спецификаций в частях 2, 4, 6, 7 и 8 GB/T 15936 с использованием формального синтаксиса и формальной семантики. FODA может использоваться как - основа для реализации GB/T 15936; 　——инструмент подтверждения для проверки непротиворечивости системы; 　——основа для проверки будущего расширения и пересмотра GB/T 15936. Если обнаруживается несоответствие между текстом на естественном языке и формальной спецификацией, текст на естественном языке считается допустимой интерпретацией настоящего национального стандарта до тех пор, пока несоответствие не будет устранено.

GB/T 15936.10-1996 История

• 1996 GB/T 15936.10-1996 Обработка информации. Текстовые и офисные системы. Архитектура офисных документов (ODA) и формат обмена. Часть 10. Формальные спецификации.

GB/T 15936.10-1996 - Все части