Attempto — 从受控自然语言规范推导可执行规范
cmp-lg
2008-02-03 v1 计算与语言
摘要
从非正式需求导出正式规范困难在于必须考虑应用领域与软件开发之间异构的概念世界。为弥合概念鸿沟，我们提出将受控自然语言作为逻辑中正式规范的文本视图。Attempto 受控英语（ACE）是自然语言的一个子集，能够被计算机准确且高效地处理，同时足够表达，以实现自然使用。Attempto 系统将ACE中的规范翻译为话语表示结构（discourse representation structures）以及Prolog。生成的知识库可用于ACE查询验证，也可用于规范的仿真、原型制作与验证。
引用
@article{arxiv.cmp-lg/9603004,
title = {Attempto - From Specifications in Controlled Natural Language towards Executable Specifications},
author = {Rolf Schwitter and Norbert E. Fuchs},
journal= {arXiv preprint arXiv:cmp-lg/9603004},
year = {2008}
}
备注
15 pages, compressed, uuencoded Postscript, to be presented at EMISA Workshop 'Naturlichsprachlicher Entwurf von Informationssystemen - Grundlagen, Methoden, Werkzeuge, Anwendungen', May 28-30, 1996, Ev. Akademie Tutzing