GrGen - GrGen

GrGen.NET
Grgen-256.png
ParadigmaMulti-paradigma: deklarativní, rozkazovací způsob, objektově orientovaný
VývojářSebastian Hack, Rubino Geiss, Moritz Kroll, Edgar Jakumeit a další
Poprvé se objevil2003 (2003)
Stabilní uvolnění
GrGen.NET 4.5 / 9. dubna 2017; před 3 lety (2017-04-09)
Psací disciplínaStatický, částečně dynamický, silný, bezpečný, jmenovaný
OSCross-platform (více platforem)
LicenceGNU Lesser General Public License
webová stránkagrgen.síť
Ladění sekvence generující Kochovu sněhovou vločku (pravidla vlevo, GrShell se zvýrazněným aktuálním pravidlem níže, yComp se zvýrazněnou shodou v hostitelském grafu vpravo)
Provedení kroku výměny

GrGen.NET je nástroj pro vývoj softwaru který nabízí programovací jazyky (jazyky specifické pro doménu ), které jsou optimalizovány pro zpracování strukturovaný graf jádro jazyků se skládá z modulární pravidla přepsání grafu, které jsou postaveny na deklarativní shoda a přepis vzorů grafů; jsou doplněny mnoha konstrukty, které se používají v rozkazovací způsob a objektově orientovaný programování a jsou doplněny jazykovými zařízeními známými z databáze dotazovací jazyky.

Přepsat graf Generátor sestavuje jazyky do efektivní Sestavy CLI (přes C# -Code v mezikroku), který lze integrovat pomocí API do kódu napsaného v libovolném Jazyk .NET.GrGen lze spustit pod Okna a Linux (Mono potřeba) a je otevřený zdroj k dispozici pod LGPL v3.

Pro rychlé prototypování a ladění interaktivní skořápka a prohlížeč grafů (VCG-) jsou součástí balíčku. GrGen svým jazykům a vizuálnímu a postupnému ladění umožňuje vývoj na přirozené úrovni abstrakce grafických reprezentací, jako jsou ty použité v inženýrství, transformace modelu, výpočetní lingvistika nebo konstrukce kompilátoru (tak jako mezilehlé zastoupení ).

GrGen zvyšuje produktivitu pro tyto druhy úkolů daleko nad rámec toho, čeho lze dosáhnout programováním v tradičním programovacím jazyce; díky mnoha implementovaným optimalizacím výkonu stále umožňuje dosáhnout vysoce výkonných řešení. Jeho autoři tvrdí, že Systém nabízí nejvyšší kombinovanou rychlost rozvoj a provedení k dispozici pro algoritmické zpracování graf - reprezentace na základě (na základě jejich výkonu, pokud jde o různé úkoly kladené na různá vydání soutěže Transformation Tool Contest (/ GraBaTs)).

Ukázka specifikace

Níže je uveden příklad, který obsahuje model grafu a specifikace pravidel z řešení GrGen.NET do Případ AntWorld pózoval na Grabats 08.

Grafický model:

třída uzlu GridNode {food: int; feromony: int;}třída uzlu GridCornerNode rozšiřuje GridNode;třída uzlu Mraveniště rozšiřuje GridNode {foodCountdown: int = 10;}třída uzlu Mravenec {hasFood: boolean;}okrajová třída GridEdge připojit GridNode [1] -> GridNode [1];okrajová třída PathToHill rozšiřuje GridEdge;okrajová třída AntPosition;

Přepsat pravidla:

pravidlo TakeFood (curAnt: Ant) {curAnt -: AntPosition-> n: GridNode  AntHill; -li {! curAnt.hasFood && n.food> 0; } upravit {        eval {curAnt.hasFood = true; n.food = n.food - 1; }}}pravidlo SearchAlongPheromones (curAnt: Ant) {curAnt -oldPos: AntPosition-> starý: GridNode <-: PathToHill- nový: GridNode; -li {new.pheromones> 9; } upravit {delete (oldPos); curAnt -: AntPosition-> nový; }}test ReachedEndOfWorld (curAnt: Ant): (GridNode) {curAnt -: AntPosition-> n: GridNode  AntHill; negativní {n <-: PathToHill-; } vrátit se (n);}

externí odkazy

Konferenční příspěvky

Viz také