写点什么

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:101580
用户头像

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

关注

评论

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

行云绽放与瀚高完成兼容性认证,携手推进国产化进程

行云管家

信创 堡垒机 国产化 瀚高

“敏捷教练进阶课程”2024年4月26-27日 · A-CSM认证在线

ShineScrum

详解从ERP传到MES系统的数据

万界星空科技

系统集成 ERP 生产管理系统 mes

开源语言大模型

百度开发者中心

人工智能 机器学习 大模型

Linux设备模型统一:桥接硬件多样性与应用程序开发的关键

GousterCloud

Linux Kenel 设备

ai 2020 大师版 for mac v24.3中文直装版 兼容M1

Rose

阿里云 MaxCompute MaxFrame 开启免费邀测,统一 Python 开发生态

阿里云大数据AI技术

人工智能 机器学习 阿里云 MaxCompute

融云荣获 ToB 行业头条「实力先锋企业」

融云 RongCloud

Ascend C 自定义PRelu算子

华为云开发者联盟

人工智能 华为云 华为云开发者联盟 企业号2024年4月PK榜

一站式解读多模态——Transformer、Embedding、主流模型与通用任务实战(上)

飞桨PaddlePaddle

百度 BAIDU 百度飞桨 多模态 多模态学习

万界星空科技MES系统对生产追溯的好处

万界星空科技

生产管理系统 mes 万界星空科技 生产追溯 追溯管理

ChatGPT加持,需求分析再无难题

测试人

人工智能 软件测试 ChatGPT

阿里云首个 AI 员工入职,围观开发工程师使用反馈

阿里云云效

阿里云 Serverless 云原生 通义灵码

不同于Oracle:SEQUENCE的区别

GreatSQL

9 年蝉联 IM 第一!艾瑞咨询发布最新报告,融云持续引领专业通信云行业

融云 RongCloud

DevOps已死?2024年的DevOps将如何

禅道项目管理

程序员 DevOps 自动化测试 知识分享

目前拉萨等保测评公司有几家?在哪里?

行云管家

等保 等保测评 拉萨

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