Syntax- and Hypertext-Based Editors for DESIRE-Specifications

摘要

The report discusses three different editors dedicated to design and specifyknowledge-based systems according to the formal specification framework DESIRE. The editors are based on different principles. DeSyn was automatically generated on the basis of the syntax-tree of the language, DesireBuilder is a specific editor written in Pascal providing some global, graphical representation, HyperDesire exploits hypertext principles. The report gives a short introduction to the DESIRE framework, introduces the editors one by one, and finally compares their functionalities.