写点什么

XSD、Schematron 与现实世界

  • 2008-04-16
  • 本文字数:1380 字

    阅读完需:约 5 分钟

多部 XML、XSL、SVG 以及 XQuery书籍的作者Kurt Cagle,就XSD 和Schematron 在模式模型语言 Schema Modeling Language SML )中的联姻,发表了关于 XML 和模型的博文。作为示范,他提供了一个 SML 模式的例子,这个例子涉及当前日期的处理(合同在给定的时间范围内有效)以及一个货币动态列表(其位于一个外部文档中)。毫无疑问,SML 使模式编辑器能够将动态值约束作为模式的一部分表达,另一种方式是将其留给应用程序逻辑去处理。然而,XSD 应该被视为是一种模型语言吗?

XSD 的主要目标是“定义和描述一类XML 文档”,并且不要忘记XML 中的“M”代表的是标记 markup)而不是模型(modeling)。这个中庸的处理方式可能是它成功的秘诀之一:忽略所有那些观众可能有异议的东西,只为多数意见提供一个稳定的解决方案。在第一个十年里,这一做法使得 XML 和 XSD 向全面互操作目标迈出了巨大一步,虽然这种互操作性在目前被认为是理所应当的。

随着 Schematron 进一步增强 XSD,当今对 XSD 敏感的安装库表现如何呢?它们很有可能会简单地忽略这些附加项目,就像它在著名的 annotation/appinfo 元素(支持非破坏性迁移的)中的聪明表现一样。

那么有谁会谈论 SML?SML 1.0 大约一年以前被一个令人尊敬的大企业联盟(包括了 BEA,CA,Cisco,EMC,HP,IBM,Intel,Microsoft 和 Sun 等公司)提交给了 W3C ,目前已变成 1.1 版工作草案,没有做任何大改变,看起来它相当稳定。

随着 XSD 1.1 即将到来的升级,SML 会如何应对?虽然 SML 工作组与 XML 模式工作组一起都由 W3C XML 活动组主管,但 SML 涉及到 XML 模式第一部分:结构第二版(2004),其中甚至没提及 XSD 1.1 草案 2007-08 。XSD 1.1 试图解决“XML 语言版本”以及“支持同现限制(co-occurrence constraints),它使一个属性或元素的出现依赖于其他元素或属性的出现,它们所允许的值依赖于其他元素或属性的值”的问题。

最后,这其中有什么竞争机制吗?Web 服务模型语言(Web Service Modeling Language, WSML ) —— 至少在名字上很相似 —— 属于已提交的四个意见书中的一个,并最终促成了另一个 W3C 建议:2007 年的 WSDL 和 XML 模式-- SAWSDL 的语义注解。SAWSDL 已被设计支持语义服务互操作性,它大体上打开了 XSD 和 WSDL 通向强大的基于本体建模能力的语义网的大门。

怎样才能把这三个分支汇集到一起?在先前关于 XML 会走向何方的讨论中,Kurt 自己强调了语义相对于其它趋势的地位:

如果我是一个刚进入 IT 领域的 IT 专业大学毕业生,我会去考察语义系统和知识管理,将其作为热点领域并成为我的起点。

为什么只给年轻一代传递这个?虽然 SML/Schematron 方式可能会是对 XSD 约束表现力的一个合情合理的增强,但仅仅增加一个“为模式角落准备的鸡毛掸子”(Rick Jelliffe 语)并不能使一个服务模型语言(Service Modeling Language)值得贴上一个如此有挑战意味的标签。当然一个模式是一个模型的一种,但是一个模型远远不仅仅是一个模式(即使是一个带有蜘蛛网的角落)。什么是建模语言?Kurt 从一个应用开发商的角度再次提供了关键的要求:

在你写下每一行代码之前,你应该对你要在那行代码中所抽象的现实世界的一个片段有合理、深入地理解。

一个完整的模型不仅仅关于结构和约束;它需要与描述真实世界相关方面的概念联系起来。而且这正是语义需要引进的。

查看英文原文 XSD, Schematron, and the Real World

2008-04-16 10:101336
用户头像

发布了 29 篇内容, 共 43888 次阅读, 收获喜欢 2 次。

关注

评论

发布
暂无评论
发现更多内容

要把微博、贴吧变成即时聊天,总共分几步?

融云 RongCloud

pip手动升级

阿呆

Python pip

面试官:GRE 和 IPsec 隧道有什么区别?

Ethereal

开发提效小技巧分享(一)

编程三昧

3月月更 前端工具

什么是元宇宙?为何要关注它?——解码元宇宙

CECBC

将本地代码同步到gitee和github中去

布衣骇客

Git Commit #Github

实践GoF的23的设计模式:SOLID原则(下)

华为云开发者联盟

设计模式 GoF 依赖倒置原则 接口隔离原则 SOLID原则

BabaSSL 发布 8.3.0|实现相应隐私计算的需求

SOFAStack

开源 密码学 隐私计算 国密 BABASSL

360携手HarmonyOS打造独特的“天气大师”

HarmonyOS开发者

HarmonyOS 应用开发

AWS S3 对象存储攻防

火线安全

云原生 云安全

搭建 VuePress 博客,你可能会用到的一些插件

冴羽

Vue 博客 vuepress 博客开发 博客搭建

让ICT飞鸟,长出数字能源的翅膀

脑极体

“元宇宙”时代,离我们还有多远?

澳鹏Appen

人工智能 大数据 AR vr 元宇宙

SpringDataRedis序列化带有双引号

编号94530

redis spring 序列化 Jackson

Linux运维必知:如何从其 PID 中查找进程名称

Ethereal

如何在 eNSP 上保存配置?

Ethereal

Linux小技巧:如何在 Vim 中显示行号?

Ethereal

比特币突破4.4万美元!美欧制裁或推动俄罗斯资金转向加密货币

CECBC

企业深入使用微服务后会面临哪些问题?云原生全链路灰度给了新思路

阿里巴巴云原生

阿里云 云原生 灰度 云原生微服务 链路

一周信创舆情观察(2.21~2.27)

统小信uos

微信小程序图片拖拽排序探索

云小梦

CSS 微信小程序 图片拖动 movable-area

三条命令搭建自己的博客平台

山河已无恙

WordPress 3月月更

性能测试中Disruptor框架shutdown失效的问题分享

FunTester

Disruptor 性能测试 接口测试 高性能队列 FunTester

译文 | 一文看懂技术债

LigaAI

场景应用 技术债务 非功能性需求

44条工程管理经验教训

hongfei

项目管理 3月月更 工程管理 工程经验

患上“远见病”的VR,不得不走进动物世界

脑极体

如何在 Linux 中将主目录移动到新分区或磁盘?

Ethereal

MySQL数据备份,恢复和验证

wong

MySQL mysqldump

分享几个你可能不知道的交互式Git 命令

华为云开发者联盟

git 交互式暂存 交互式 暂存

期待!Fedora 36 发布日期和新功能

Ethereal

[银行面试系列]1 进入银行之前必须了解的20个问题

暖蓝笔记

3月程序媛福利 3月月更

XSD、Schematron与现实世界_SOA_Thomas Bandholtz_InfoQ精选文章