...
首页> 外文期刊>IEEE Transactions on Knowledge and Data Engineering >Managing complex documents over the WWW: a case study for XML
【24h】

Managing complex documents over the WWW: a case study for XML

机译:通过WWW管理复杂文档:XML案例研究

获取原文
获取原文并翻译 | 示例
           

摘要

The use of the World Wide Web as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z language has a rich set of mathematical characters, and requires graphic-rich boxes and schemas for structuring a specification document. It is difficult to integrate Z specifications and text on WWW pages written with HTML, and traditional tools are not suited for the task. On the other hand, a newly proposed standard for markup languages, namely XML, allows one to define any set of markup elements; hence, it is suitable for describing any kind of notation. Unfortunately, the proposed standard for rendering XML documents, namely XSL, provides for text-only (although sophisticated) rendering of XML documents, and thus it cannot be used for more complex notations. We present a Java-based tool for applying any notation to elements of XML documents. These XML documents can thus be shown on current-generation WWW browsers with Java capabilities. A complete package for displaying Z specifications has been implemented and integrated with standard text parts. Being a complete rendering engine, text parts and Z specifications can be freely intermixed, and all the standard features of XML (including HTML links and form elements) are available outside and inside Z specifications. Furthermore, the extensibility of our engine allows any additional notations to be supported and integrated with the ones we describe.
机译:由于缺少用于编写,共享和验证使用设计符号编写的文档的工具,因此限制了将万维网用作知识工程师和软件设计师的通信介质的局限性。例如,Z语言具有丰富的数学字符集,并且需要图形丰富的框和模式来构造规范文档。在用HTML编写的WWW页面上很难集成Z规范和文本,并且传统工具不适合该任务。另一方面,新提出的标记语言标准(即XML)允许定义任何标记元素集。因此,它适合于描述任何一种表示法。不幸的是,提出的用于呈现XML文档的标准XSL提供了XML文档的纯文本呈现(尽管很复杂),因此不能用于更复杂的表示法。我们提供了一个基于Java的工具,用于将任何符号应用于XML文档的元素。因此,这些XML文档可以显示在具有Java功能的当前WWW浏览器上。已经实现了用于显示Z规格的完整软件包,并将其与标准文本部件集成在一起。作为一个完整的渲染引擎,文本部分和Z规范可以自由地混合在一起,并且XML的所有标准功能(包括HTML链接和表单元素)都可以在Z规范的内部和外部使用。此外,我们引擎的可扩展性允许支持任何其他符号并将其与我们描述的符号集成在一起。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号