Specification Meta Systems
Specification Meta Systems
复制标题
规范元系统
DOI：
10.1109/mc.1982.1654022
复制
发表时间：
1982
期刊：
影响因子：
2.2
通讯作者：
Péter Radó
中科院分区：
文献类型：
--
作者：
J. Demetrovics;E. Knuth;Péter Radó
Meta方法在计算机辅助规格说明系统方面已变得更加可行。这些方法不是基于预定义的规范语言，而是具有语言定义功能的通用方法。元驱动系统的推动力来自两个事实。首先，面向问题的规范语言（沿着其支持软件工具）只在相当有限的领域有效。其次，规范工具往往具有极其相似的结构和基本原则。大量的共同属性为Meta语言系统的开发提供了充分的基础。Meta系统长期以来一直被应用于过程语言，尽管在这样的应用中复杂的语义形式化方法一直是抱怨的原因。幸运的是，当Meta系统应用于非过程语言时，这种困难不会出现。最后，这就是为什么Meta系统在规范问题领域是实用的。
Meta approaches have become more feasible with respect to computer-aided specification systems. These approaches are not based on predefined specification languages; they are, rather, general-purpose methods with language-definition facilities. The impetus toward meta-driven systems arises from two facts. First, problem-oriented specification languages (along with their supporting software tools) are effective only in fairly restricted areas. Second, specification tools tend to have extremely similar structures and underlying principles. This large number of common properties ensures a sufficient basis for the development of meta language systems. Meta systems have long been applied to procedural languages, although complex semantic formalization methodologies in such applications have been a cause of complaint. Fortunately, this difficulty does not appear when meta systems are applied to nonprocedural languages. In the end, this is why meta systems are practical in the field of specification problems.