In: 90; Proceedings of the Conference on Programmierumgebungen für funktionale und logische Sprachen, 1990, Bad Honnef, Germany: Fachberichte Informatik, No. 8, pages 19-25. Koblenz-Landau, Germany: Universität, 1990.
Abstract: Das GRAPH-System bietet eine Entwicklungsumgebung für verteilte Systeme. Das Verhalten einzelner Prozesse wird in einer funktionalen Sprache spezifiziert. Die Spezifikation der ProzeÑstruktur erfolgt graphisch unter Verwendung einer Petri-Netz-ähnlichen Darstellung. Die Semantik der ProzeÑkonstrukte ist ebenfalls über Petri-Netze definiert. Diese Netze können mit Hilfe des in GRAPH integrierten Analysetools auf strukturelle Eigenschaften untersucht werden. Die Ausführung von ProzeÑsystemen erfolgt direkt aus dem GRAPH-System unter interaktiver Kontrolle.
Keywords: net-based programming environment (for) distributed system; functional language; net-based process semantics; GRAPH-integrated net tool; interactive control.