Extending MKM Formats at the Statement Level
Extending MKM Formats at the Statement Level
复制标题
在语句级别扩展 MKM 格式
DOI：
10.1007/978-3-642-31374-5_5
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Florian Rabe
中科院分区：
文献类型：
--
作者：
Fulya Horozal;M. Kohlhase;Florian Rabe
成功的表示和标记语言在给予用户表达自由、强制建模框架的基本语义不变量以及允许机器支持底层语义结构之间找到了良好的平衡。 MKM 格式在试图从根本上不受约束的同时保持强大的不变量，这使得引发的设计问题特别具有挑战性。在这种情况下，标准做法是定义最小核心语言以及用于映射到核心语言的语法扩展的脚本/宏工具。在实践中，这种扩展设施要么完全不受约束（使不变量和机器支持变得困难），要么仅限于对象级别（保持语句和理论级别固定）。在本文中，我们开发了一种在语句级别扩展 MKM 表示格式的通用方法。我们通过将 OMDoc 格式重新设计为最小的常规核心语言（严格 OMDoc）和映射到严格 OMDoc 的扩展（实用 OMDoc）来展示语句级扩展的实用性（实际上是必要性）。
Successful representation and markup languages find a good balance between giving the user freedom of expression, enforcing the fundamental semantic invariants of the modeling framework, and allowing machine support for the underlying semantic structures. MKM formats maintain strong invariants while trying to be foundationally unconstrained, which makes the induced design problem particularly challenging.In this situation, it is standard practice to define a minimal core language together with a scripting/macro facility for syntactic extensions that map into the core language. In practice, such extension facilities are either fully unconstrained (making invariants and machine support difficult) or limited to the object level (keeping the statement and theory levels fixed).In this paper we develop a general methodology for extending MKM representation formats at the statement level. We show the utility (and indeed necessity) of statement-level extension by redesigning the OMDoc format into a minimal, regular core language (strict OMDoc) and an extension (pragmatic OMDoc) that maps into strict OMDoc.
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
P. Ion;Robert R. Miner;Ron Ausbrooks;S. Buswell;D. Carlisle;Giorgi Chavchanidze;Stéphane Dalmas;Stan Devitt;Angel Díaz;S. Dooley;R. Hunter;M. Kohlhase;A. Lazrek;P. Libbrecht;B. Miller;Chris Rowley;M. Sargent;Bruce T. Smith;N. Soiffer;R. Sutor;S. Watt
通讯作者：
P. Ion;Robert R. Miner;Ron Ausbrooks;S. Buswell;D. Carlisle;Giorgi Chavchanidze;Stéphane Dalmas;Stan Devitt;Angel Díaz;S. Dooley;R. Hunter;M. Kohlhase;A. Lazrek;P. Libbrecht;B. Miller;Chris Rowley;M. Sargent;Bruce T. Smith;N. Soiffer;R. Sutor;S. Watt