Method rule checking in a generic design editing system

摘要

This paper describes a means of incorporating method rule checking in a design editing system intended to support the production of designs expressed in method-specific diagrammatic notations. The novel characteristic of this editing system is the fact that it may be tailored to any notation using a method description language and a graphical tool to define the vocabulary of the notation. Syntactic and semantic rules are expressed in the method description language and are checked, interactively, during an editing session.