ISOIEC 19757-32025 信息技术.文档模式定义语言（DSDL）.第3部分使用Schematron的基于规则的验证标准立项发展报告

信息技术文档模式定义语言（DSDL）第3部分：使用Schematron的基于规则的验证标准立项发展报告StandardizationDevelopmentReport:InformationTechnology-DocumentSchemaDefinitionLanguages(DSDL)-Part3:Rule-basedvalidationusingSchematron摘要随着信息技术的迅猛发展，文档结构描述与验证在数据交换、信息管理系统及知识表示领域中的基础性作用日益凸显。ISO/IEC19757-3:2025《信息技术文档模式定义语言（DSDL）第3部分：使用Schematron的基于规则的验证》由国际标准化组织与国际电工委员会联合发布，是文档模式定义语言系列标准的重要组成部分。本报告围绕该标准的立项背景、技术内容、修订历程、应用价值及未来发展方向展开系统论述。报告指出，Schematron作为一种基于规则的模式验证语言，突破了传统以结构约束为核心的验证范式，通过XPath断言表达式实现了对文档内容及语义规则的灵活验证，在行业标准交换格式、数字出版、电子政务、医疗健康信息交换等领域具有广泛应用前景。报告详细介绍了该标准的研制历程、核心技术框架及其与DSDL系列其他标准的协同关系，并对主要参与单位国际标准化组织/国际电工委员会第一联合技术委员会进行了介绍。本报告旨在为标准化工作者、文档工程技术人员及行业管理人员提供全面、规范的参考依据，推动该标准在各行业的深入应用与持续演进。关键词：文档模式定义语言；Schematron；基于规则的验证；标准立项；ISO/IEC19757；XPath；结构化文档一、引言1.1标准立项背景与研究意义文档是人类知识记录与信息传递的重要载体。在数字化时代，文档不再局限于自然语言文本，而是越来越多地以结构化形式呈现，包含丰富的语义信息和逻辑关系。从学术论文到临床记录，从法律文书到工程图纸，各类文档均需要精确的定义和验证机制，以确保其结构完整、内容规范且语义准确。然而，不同的应用场景对文档验证提出了迥异的需求。以关系型数据库中的约束检查为例，主键唯一性、外键完整性等约束可使用声明式规则直接表达；但在半结构化的XML文档环境中，许多验证需求——如同一术语在不同上下文中的一致性使用、跨元素约束的联动校验、基于内容的流程性检查等——难以通过传统的面向结构的模式语言（如XMLSchema、DTD）加以描述。正是这一技术空白催生了Schematron的产生与发展。ISO/IEC19757-3:2025正是在上述背景下应运而生的国际标准。该标准定义了Schematron语言——一种基于规则的结构验证描述机制，它利用XPath表达式来声明文档需满足的验证条件，使得验证逻辑从结构约束中解放出来，实现了文档验证从“结构约束”到“规则描述”的范式跃迁。该标准自发布以来，已被广泛应用于出版、政务、医疗、交通、航空航天等众多需要严格文档规范与语义验证的行业领域。1.2标准基本信息本标准的完整编号为ISO/IEC19757-3:2025，由国际标准化组织（ISO）与国际电工委员会（IEC）共同发布，标准状态为现行。标准类别属于信息技术领域中文档描述与处理的分支方向，归类号为“信息技术在信息、文献和出版中的应用”。标准语言为英语，正式发布日期为2025年9月29日。本标准对应的英文版本以电子版加密PDF格式发行，用户下载后需通过FileOpen插件进行访问，并受限于累计3台电脑共打印5次的使用限制，售价为1651.0元人民币。上述发行方式确保了标准内容的知识产权保护，同时平衡了用户访问的便捷性需求。二、技术内容概述2.1Schematron语言核心机制ISO/IEC19757-3:2025所定义的Schematron语言采用了一套与传统模式语言截然不同的验证架构。其核心机制可概括为三个层次：模式（Schema）层、规则（Rule）层与断言（Assertion）层。-模式层是验证的最高抽象级别，定义了命名空间、阶段（Phase）以及其他验证参数，为验证规则的分类组织提供容器。-规则层通过`context`属性（XPath表达式）指定需要施加验证的文档节点集，将验证规则定位到文档的具体位置。-断言层是验证的最小执行单元，包含一个通过XPath表达式表示的测试条件（`test`属性），以及验证失败时向用户呈现的诊断信息（内容文本或`diagnostics`引用）。在验证执行阶段，Schematron处理器首先根据模式层的定义确定活动阶段，随后对规则上下文匹配的每个节点执行断言测试。若断言测试结果为假（即违反规则），则生成相应的验证报告（SVRL——SchematronValidationReportLanguage），以标准化的XML格式输出验证失败信息。2.2关键技术特性2.2.1基于XPath的灵活表达Schematron将XPath作为其规则表达的基础查询语言，使得验证规则能够充分利用XPath强大的节点选择、条件判断和函数计算能力，实现高度精确定位的语义验证。例如，验证“所有价格元素的值必须为正数”这一规则，可通过一条简单的XPath断言直接实现，无需递归遍历或编程式逻辑编写。2.2.2阶段与抽象模式Schematron引入了阶段（Phase）机制，允许同一模式中定义不同的验证集合以适配不同的验证场景。例如，在文档编辑过程中仅需验证基本结构完整性，而在发布阶段则需要执行包含语义规则在内的全部验证。这一特性为工作流驱动的验证需求提供了灵活的解决方案。2.2.3可读性与可维护性除了`<assert>`（正向断言）外，Schematron还提供了`<report>`（反向报告）元素，用于在满足特定条件时输出消息，帮助验证者识别文档中“出现了不应出现的情况”。这种双向验证机制配合人类可读的诊断信息，使得验证规则不仅可由机器执行，也可由领域专家审查和维护。2.3与其他DSDL标准的关系ISO/IEC19757系列标准（DSDL——DocumentSchemaDefinitionLanguages）旨在构建一个多范式协同的文档模式定义框架。该系列包含以下关键部分：-第1部分：DSDL框架概述；-第2部分：基于正则语法的规则验证（RELAXNG）；-第3部分：基于规则的验证（Schematron）；-第4部分：命名空间基于验证的语言（NVRL）；-第5部分：可扩展的Datatypes；-第7部分：剖分模式语言（SDSL）；-第8部分：文档语义约束描述语言（DSCL）；-第9部分：命名空间与数据类型导向的文档验证（NDTV）；-第10部分：验证管理。在该体系框架下，RELAXNG通过正则语法提供对文档结构的严格约束，而Schematron则补充了对文档内容的语义约束和跨结构验证。二者的互补关系是DSDL框架的核心设计理念之一：结构性约束和语义性约束各司其职，使用者可根据实际需求选择一种或多种验证机制组合使用。三、标准研制历程与修订内容3.1研制历程回顾Schematron语言最早由澳大利亚学者RickJelliffe于1999年提出，经过近十年的实践检验和持续完善，其功能定位和技术方案日趋成熟。2006年，ISO/IECJTC1正式发布ISO/IEC19757-3:2006版本，标志着Schematron正式成为国际标准。在2006版标准实施后的十余年间，XPath技术本身经历了从1.0到2.0、3.0乃至3.1的版本演进，文档处理场景也发生了深刻变革——XML技术的广泛应用推动了Schematron在更多领域的部署，同时对标准的表达能力、互操作性以及可用性提出了更高的要求。为此，ISO/IECJTC1于2016年发布ISO/IEC19757-3:2016版，引入了对XPath2.0的支持，并新增了`let`表达式、`meta`元数据声明等特性。3.22025版主要更新ISO/IEC19757-3:2025在继承前版标准核心架构的基础上，主要从以下几个方面进行了修订和扩展：3.2.1对XPath新版本的适配2025版进一步扩展了对XPath3.1及以上版本中新增函数和表达式的支持，使验证规则能够利用更丰富的标准库函数（如高阶函数、映射和数组类型等）来处理复杂的数据结构和验证逻辑。3.2.2Schema断言中对JSON的支持随着JSON文档在数据交换中的广泛使用，2025版扩展了Schematron在JSONSchema验证中的应用场景，支持对JSON文档执行基于规则的语义验证，实现了从XML到JSON的验证能力跨越。3.2.3增强的诊断信息与错误报告机制新版本完善了验证失败时的诊断信息呈现方式，支持多语言诊断消息、自定义错误分类和严重级别标注，使验证结果更具可读性和可操作性，方便开发者快速定位并修正文档中存在的问题。3.2.4明确与其他验证标准的协作模式2025版进一步阐明了Schematron与RELAXNG、XMLSchema等结构模式语言并行使用的规范性方法，提供了明确的集成指南和示例，指导用户在复杂验证场景中组合运用多种验证机制。四、标准应用前景分析4.1行业应用现状Schematron标准的应用已覆盖多个对文档规范性和语义准确性要求较高的行业领域。在电子政务领域，各国政府普遍采用基于XML的结构化公文格式。Schematron被用于验证公文中的必填要素、逻辑关系及格式约束，确保公文在跨部门流转时的一致性和规范性。例如，我国电子公文国家标准中便利用Schematron对公文要素进行语义层面的校验。在医疗健康信息领域，临床文档架构（CDA）及医疗数据交换标准（HL7v3）大量采用Schematron进行文档验证。其灵活规则描述能力完美适配了临床文档中对上下文敏感性、护理依赖关系和时序逻辑的复杂验证需求。在出版与数字内容领域，DAISY（数字无障碍信息系统）、EPUB3等标准应用Schematron来验证出版物结构的完整性和无障碍要求的满足情况，保障数字出版物的跨平台一致性和可访问性。在航空航天与装备制造领域，S1000D等国际规范是基于XML的技术出版物标准，其数据模块的验证广泛使用Schematron规则来检查内容完整性、交叉引用正确性及标准符合性。4.2标准价值与应用优势Schematron的应用价值主要体现在以下几个方面：-语义级验证能力：突破了传统模式语言仅能验证文档“长得对不对”的局限，能够验证文档“内容合不合理、逻辑通不通”。-低侵入性与高兼容性：Schematron规则独立于文档本身存在，无需修改文档结构或模式即可灵活增加新的验证需求。-规则可复用性：验证规则可在不同项目和应用系统中共享和复用，降低质量保障成本。-跨平台可执行性：Schematron基于XPath标准的实现机制使其可在多种操作系统和开发平台上使用开源工具完成验证，避免供应商锁定。五、主要参与单位介绍5.1国际标准化组织/国际电工委员会第一联合技术委员会（ISO/IECJTC1）ISO/IEC19757-3:2025由国际标准化组织（ISO）与国际电工委员会（IEC）联合组建的第一联合技术委员会（ISO/IECJTC1）负责研制和维护。ISO/IECJTC1是信息技术领域最权威的国际标准化机构，其工作范围涵盖信息技术的设计、开发、部署及基础设施等广泛议题。在ISO/IECJTC1的组织架构中，第34分委员会（SC34）——“文档描述与处理语言”具体承担本标准的研制工作。SC34的前身可追溯至20世纪80年代为制定SGML标准而成立的WG8工作组，积累了数十年的文档标准化经验。该分委员会负责维护一系列重要的文档技术标准，包括SGML（ISO8879）、HyTime（ISO/IEC10744）、RELAXNG（ISO/IEC19757-2）以及Schematron（ISO/IEC19757-3）等。在制定ISO/IEC19757-3:2025的过程中，SC34组织了来自各成员体的文档技术专家，经过多轮委员会草案（CD）、国际标准草案（DIS）及最终国际标准草案（FDIS）等阶段评审，最终达成共识并正式发布。此外，Schematron语言的创始开发者RickJelliffe及其团队、以及各国在XML验证领域具有深度研究的学术机构和企业代表也为本标准的完善做出了积极贡献。六、结论与展望ISO/IEC19757-3:2025《信息技术文档模式定义语言（DSDL）第3部分：使用Schematron的基于规则的验证》作为国际标准化组织在文档验证领域的重要成果，以其独特的基于规则的验证范式，补充和完善了传统以结构约束为核心的模式语言体系，为跨行业、跨领域的复杂文档验证需求提供了标准化解决方案。该标准的持续演进体现了信息技术标准化工作对技术发展的敏锐响应：从XPath2.0到3.1的适配拓展了验证规则的表达维度，对JSON格式的兼容将Schematron的应用边界延伸至非XML数据领域。未来，随着人工智能技术、语义网技术以及大数据应用的深入发展，文档验证将面临更加智能化、自动化和实时化的需求。Schematron标准有望在以下方向继续演进：-与语义验证技术的融合：探索与SHACL、ShEx等语义网验证语言的互补协作，构建覆盖语法层、结构层与语义层的全方位验证体系；-智能化验证规则生成：研究利用机器学习和自然语言处理技术，从验证需求和历史数据中自动生成或推荐Schematron规则，降低规则编写门槛；-与DevOps和持续集成流水线的集成：进一步提升验证引擎的效率和可用性，支持大规模文档集的流式验证和并行验证。可以预见，ISO/IEC19757-3:2025作为文档验证领域的基础性标准，将在各行业的数字化转型和信息化建设中持续发挥不可替代的作用，标准的应用广度和深度也将随着技术生态的演进不断拓展。参考文献[1]ISO/IEC19757-3:2025,Informationtechnology—DocumentSchemaDefinitionLanguage