Software specification using graph grammars
Software specification using graph grammars
复制标题
使用图语法的软件规范
作者：
G. Engels;R. Gall;M. Nagl;Wilhelm Schäfer
下面的文章演示了可编程的顺序图语法可以在系统过程中使用，以指定在编程支持环境中产生的高级中间数据结构的变化，其中所有工具都以增量和语法驱动模式工作。在本文中，我们强调的是获得规范的方法，而不是这个过程的结果。因此，我们在这里给出一些使用图语法进行“规范工程”的方法。这种方法一方面受到底层编程语言的语法定义、模块概念等的影响，另一方面也受到用户界面思想的影响。ZusammenfassungDer folgende Aufsatz zeigt auf, dasß programmierte sequentielle graph - gramatiken dazu benutzt werden können, die Veränderung hoher Zwischencodes zu speizizien, die inext einer Software-Entwicklungsumgebung auteten, deren Werkzeuge allinrementell and syntaxgestewert arbeen。例如，在德国，Aufsatz mehr Wert auf die Erläuterung einer systematischen Vorgehensweise，即die speciizification zu erhalten，也就是die detaillier Abhandlung der speciizification selbst。本文主要研究了“标准化工程”在图形语法分析中的应用。德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义：德语语法定义。[4] [1] [4] [1] [4] [1] [4] [1] [3] [1] [3] [1] [3] [1] [4]
The following paper demonstrates that programmed sequential graph grammars can be used in a systematic proceeding to specify the changes of high level intermediate data structures arising in a programming support environment, in which all tools work in an incremental and syntax-driven mode. In this paper we lay stress upon the way to get the specification rather than on the result of this process. Therefore, we give here some approach to “specification engineering” using graph grammars. This approach is influenced by the syntactical definition of the underlying language for Programming in the Small, the module concept etc. to be supported on one side but also by the idea of the user interface.ZusammenfassungDer folgende Aufsatz zeigt auf, daß programmierte sequentielle Graph-Grammatiken dazu benutzt werden können, die Veränderung hoher Zwischencodes zu spezifizieren, die im Kontext einer Software-Entwicklungsumgebung auftreten, deren Werkzeuge alle inkrementell und syntaxgesteuert arbeiten. Wir legen in diesem Aufsatz mehr Wert auf die Erläuterung einer systematischen Vorgehensweise, um die Spezifikation zu erhalten, als auf die detaillierte Abhandlung der Spezifikation selbst. Somit kann dieses Papier auch als ein Ansatz zu einem „Spezifikations-Engineering” mit Hilfe von Graph-Grammatiken angesehen werden. Der Ansatz wird maßgeblich beeinflußt von der Syntaxdefinition der zugrundeliegenden formalen Sprache für das Programmieren im Kleinen bzw. für das Modulkonzept etc. einerseits und andererseits von der Vorstellung der Form der Benutzerschnittstelle.