imported>Aka: /* Weblinks */ https

2024-02-15T18:56:47Z

Weblinks: https

Neue Seite

{{Infobox Programmiersprache
| Name =
| Logo =
| Beschreibung = 
| Paradigma = [[Programmierparadigma|Multiparadigma]]: [[Deklarative Programmierung|deklarativ]], [[Imperative Programmierung|imperativ]], [[Objektorientierte Programmierung|objekt-orientiert]]
| Erscheinungsjahr = 2003
| Entwickler = Sebastian Hack, Rubino Geiss, Moritz Kroll, Edgar Jakumeit, u. v. a.
| AktuelleVersion = 4.5
| AktuelleVersionFreigabeDatum = {{FormatDate|2017-04-09}}
| AktuelleVorabVersion =
| AktuelleVorabVersionFreigabeDatum =
| Typisierung = [[Typisierung (Informatik)|statisch, teilweise dynamisch, stark, nominativ]]
| Implementierung =
| Dialekte =
| Standardisierungen =
| Beeinflusst_von =
| Beeinflusste =
| Betriebssystem = [[MS Windows|Windows]], [[Linux]]
| Lizenz = [[GPL|LGPL v3]]
| Website = https://grgen.de/
}}
[[Datei:GrGenNETKochSnowflakeMatch.png|mini|Debugging der Sequenz zum Erzeugen einer Koch-Schneeflocke (links die Regeln, unten die GrShell mit hervorgehobener aktueller Regel, rechts yComp mit hervorgehobener Passung im Arbeitsgraph)]]
[[Datei:GrGenNETKochSnowflakeRewrite.png|mini|Ausführung des Ersetzungsschrittes]]

'''GrGen.NET''' ist ein [[Entwicklungswerkzeug|Softwareentwicklungswerkzeug]], das [[Programmiersprache]]n ([[Domain Specific Language|Fachsprachen (DSL)]]) anbietet, die auf die Verarbeitung von [[Datenstruktur#Graph|graphartigen Daten]] hin optimiert wurden.
In ihrem Kern bestehen die Sprachen aus [[Modular|modularen]] [[Graphersetzungssystem|Graphersetzungregeln]], die auf [[Deklarative Programmierung|deklarativer]] Graphmustersuche- und Ersetzung aufbauen;
sie werden durch viele Konstrukte, die in der [[Imperative Programmierung|imperativen]] und [[Objektorientierte Programmierung|objekt-orientierten]] Programmierung geläufig sind ergänzt,
und mit aus [[Abfragesprache|Datenbankenabfragesprachen]] bekannten Sprachmitteln vervollständigt.

Der Graph Rewrite [[Codegenerierung|GENerator]] [[Compiler|übersetzt]] die Sprachen in effiziente [[.NET Framework#Assemblies|.NET-Assemblies]] (über [[C-Sharp|C#]]-Code als Zwischenschritt), die über eine [[Programmierschnittstelle]] in den Code einer beliebigen [[Liste der .NET-Sprachen|.NET-Sprache]] integriert werden können.
GrGen kann unter [[Windows]] und [[Linux]] ([[Mono (Software)|Mono]] benötigt) ausgeführt werden und ist als [[Open Source]] unter der [[LGPL]] v3 verfügbar.

Zum [[Prototyping (Softwareentwicklung)|Rapid Prototyping]] und [[Debugging]] enthält das Programmpaket eine interaktive [[Kommandozeileninterpreter|Kommandozeile]] und einen (VCG-)Graphvisualisierer.
Mit seinen Sprachen und seinem graphischen und schrittweisen Debugging erlaubt GrGen die Entwicklung auf dem natürlichen [[Abstraktion]]sniveau von graphbasierten Darstellungen.
Selbige finden zum Beispiel im [[Ingenieurwesen]], der [[Modelltransformation]], der [[Computerlinguistik]], oder dem [[Compilerbau]] (als [[Zwischencode|Intermediate Representation]]) Verwendung.

GrGen erhöht die Produktivität für diese Art von Aufgaben deutlich über das hinaus, was mit der Programmierung in einer gewöhnlichen Programmiersprache erreicht werden kann;
aufgrund der vielen implementierten Optimierungen erlaubt es dennoch schnelle Lösungen zu erreichen.
Seine Entwickler bewerben das [[Graphersetzungssystem|System]] mit der Aussage, dass es die höchste kombinierte [[Produktentwicklung|Entwicklungs]]- und [[Computerprogramm#Übersetzung und Ausführung|Ausführungsgeschwindigkeit]] bietet, die für das [[Algorithmus|algorithmische]] Verarbeiten von [[Graph (Graphentheorie)|Graphen]] verfügbar ist
(basierend auf ihrem Abschneiden bezüglich diverser Aufgaben, die in unterschiedlichen Ausgaben des Transformation Tool Contests (/GraBaTs) gestellt wurden).

== Beispielspezifikation ==

Es folgt ein Auszug aus der Graphmodell- und Ersetzungsregelspezifikation der GrGen.NET-Lösung für die {{Toter Link | url=http://www.fots.ua.ac.be/events/grabats2008/cases/grabats2008performancecase.pdf | text=AntWorld-Aufgabe (PDF; 105 kB) | datum=2019-01-03}}, die auf der Grabats 08 gestellt wurde.<ref>{{Webarchiv | url=http://fots.ua.ac.be/events/grabats2008/ | wayback=20120723054735 | text=Grabats 08}}</ref>

Graphmodell:

<syntaxhighlight lang="cpp">
node class GridNode {
food:int;
pheromones:int;
}
node class GridCornerNode extends GridNode;
node class AntHill extends GridNode {
foodCountdown:int = 10;
}
node class Ant {
hasFood:boolean;
}

edge class GridEdge connect GridNode[1] -> GridNode[1];
edge class PathToHill extends GridEdge;
edge class AntPosition;
</syntaxhighlight>

Ersetzungsregeln:

<syntaxhighlight lang="cpp">
rule TakeFood(curAnt:Ant)
{
curAnt -:AntPosition-> n:GridNode\AntHill;
if { !curAnt.hasFood && n.food > 0; }

modify {
eval {
curAnt.hasFood = true;
n.food = n.food - 1;
}
}
}

rule SearchAlongPheromones(curAnt:Ant)
{
curAnt -oldPos:AntPosition-> old:GridNode <-:PathToHill- new:GridNode;
if{ new.pheromones > 9; }

modify {
delete(oldPos);
curAnt -:AntPosition-> new;
}
}

test ReachedEndOfWorld(curAnt:Ant) : (GridNode)
{
curAnt -:AntPosition-> n:GridNode\AntHill;
negative {
n <-:PathToHill-;
}
return (n);
}
</syntaxhighlight>

== Weblinks ==
* Hauptseite des [https://grgen.de/ GrGen.NET]-Projektes
* [https://www.grgen.de/GrGenNET-Manual.pdf GrGen.NET User Manual] (englisch) (PDF; 5,9 MB)
* [https://www.grgen.de/doc/agtive_2007_grgennet.pdf Kurze Einführung in GrGen.NET 1.4 (englisch, veraltet)] (PDF; 174 kB)
* [https://www.grgen.de/history_publications.html Wissenschaftliche Veröffentlichungen zu GrGen]

== Einzelnachweise ==
<references />

{{SORTIERUNG:Grgen}}
[[Kategorie:Graphersetzung]]
[[Kategorie:Deklarative Programmiersprache]]
[[Kategorie:Freies Programmierwerkzeug]]

GrGen.NET - Versionsgeschichte

imported>Aka: /* Weblinks */ https