【AICon】AI 基础设施、LLM运维、大模型训练与推理,一场会议,全方位涵盖! >>> 了解详情
写点什么

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

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

关注

评论

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

CentOS7挂载webdav添加开机启动

麦兜

springboot代码混淆及反混淆代码工具

雪奈椰子

基于微信支付的体育场馆预订小程序开发笔记一

CC同学

AI分布式训练:DDP (数据并行)技术详解与实战

Baihai IDP

人工智能 深度学习 AI 数据并行 白海科技

大模型时代下的因果推断

九章云极DataCanvas

AI数字人:开启人机交互新时代

青否数字人

数字人

软件开发

Geek_8da502

功能强大数据管理工具DBeaverEE 中文免激活版

胖墩儿不胖y

数据库管理工具 Mac软件 Mac数据库管理

2023年终盘点系列丨YonGPT正式发布,中国软件服务创新进入人工智能新阶段!

用友BIP

YonGPT

AI助力软件工程师高效工作:8款神器助你优化工作流程

SEAL安全

人工智能 AI NLP 大模型

避坑合集|芝麻免押失败排查思路超详细总结(小程序场景)

盐焗代码虾

支付宝 信用 排查思路

玩转字词句魔法:打造超强样本集的数据增强策略,句式变换揭秘同义句生成与回译在数据增强中的创新应用

汀丶人工智能

人工智能 自然语言处理 分词 数据增强

每日一题:LeetCode-34. 在排序数组中查找元素的第一个和最后一个位置

半亩房顶

Go 面试 算法 LeetCode 分治

软件测试/测试开发/人工智能丨使用 EvoSuite 自动生成单元测试用例

测试人

人工智能 软件测试

Cisdem Duplicate Finder for Mac:释放你的硬盘空间

影影绰绰一往直前

AI数字人直播问题及解决方案!

青否数字人

数字人

WAVE SUMMIT+ 深度学习开发者大会2023 倒计时

飞桨PaddlePaddle

人工智能 深度学习 开发 开发者大会

DAPP锁仓质押挖矿系统开发

l8l259l3365

2024空气源热泵展|2024山西国际供暖配套展会

秋硕展览

光模块是什么?

小齐写代码

Luminar Neo激活版:Mac上的影像新纪元

影影绰绰一往直前

Movist Pro for Mac:打造专属电影的视觉盛宴

影影绰绰一往直前

一起学Elasticsearch系列-Nested & Join

Java随想录

Java 大数据 elastic Elastic Search

火山引擎AB测试:企业产品优化主题分享在北京举办

字节跳动数据平台

大数据 对比实验 大数据 A/B测试

Photoshop 2024 for Mac:简单易用与专业设计的完美结合

影影绰绰一往直前

智能制造解决方案之智能仓储

天津汇柏科技有限公司

仓储控制系统 解决方案 智能制造 仓储执行系统

极狐GitLab DevSecOps 之容器镜像安全扫描

极狐GitLab

容器 DevOps 镜像 DevSecOps 容器镜像

iA Writer:简单易用,适合所有用户

影影绰绰一往直前

Learn more about IPQ9574 and IPQ8074 - the pinnacle showdown of high-performance network processorsI.

wifi6-yiyi

5G wifi IPQ8074 6G ipq9574

强大的安卓设备文件传输助手:MacDroid pro激活中文版最新

mac大玩家j

Mac软件 mac安卓文件传输工具 文件传输工具

ThreadLocal

Yaien

Java 后端

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