欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
XProc
来自开放百科 - 灰狐
XProc 是一种 XML 格式,说明了需要按什么顺序以及如何处理 XML 文档。XProc 定义了一个操作管道。管道中每一步的输入是单个或多个 XML 文档,中间步骤的输出也是 XML 文档。(最后一步有时候生成非 XML。)每一步可以是验证、XInclusion、转换或者使用 Simple API for XML (SAX) 的自定义处理等。XProc 处理程序可以读取 XProc 文档然后按照指定的顺序应用给定的步骤。这样使得文档处理应用程序的编写更为简单。比方说,复杂的 XSLT 转换有时候可以分解成两个比较简单的、按顺序进行的部分。XProc 可以把这些部分联系起来,不需要为应用程序编写自定义驱动程序。
分享您的观点