Sprog arbejdsbord - Language workbench

Et sprog-arbejdsbord er et værktøj eller et sæt værktøjer, der muliggør softwareudvikling i det sprogorienterede udviklingsparadigme for programmeringssoftware . Et sprogbænk vil typisk indeholde værktøjer til understøttelse af definition, genbrug og sammensætning af domænespecifikke sprog sammen med deres integrerede udviklingsmiljø . Sprogbænke blev introduceret og populariseret af Martin Fowler i 2005.

Sprogbænke understøtter normalt:

Eksempler

  • Racket er et platformsprogram til sprogudvikling på tværs af platforme, der inkluderer compiler, JIT-compiler, IDE og kommandolinjeværktøjer, der er designet til at rumme både domænespecifikke sprog og helt nye sprog med faciliteter til at tilføje ny notation, begrænse konstruktioner og oprette IDE-værktøjer.
  • JetBrains MPS er et værktøj til at designe domænespecifikke sprog. Det bruger projektionsredigering, som gør det muligt at overvinde grænserne for sprogparsers og opbygge DSL -redaktører, f.eks. Dem med tabeller og diagrammer. Det implementerer sprogorienteret programmering. MPS kombinerer et miljø til sprogdefinition, et sprogligt arbejdsbord og et integreret udviklingsmiljø (IDE) for sådanne sprog.
  • Kermeta er et open-source akademisk sprogbænk . Kermeta-arbejdsbordet bruger tre forskellige metasprog: et metasprog til den abstrakte syntaks (justeret med Emof ); en for den statiske semantik (på linje med OCL ) og en for den adfærdsmæssige semantik (kaldet selve Kermeta -sproget).
  • Melange er et sprogligt arbejdsbord, der giver en modulær tilgang til tilpasning, samling og integrering af DSL-specifikationer og implementeringer af flere domænespecifikke sprog.
  • Spoofax . er et open source-sprogbænk til generering af parsere, typecheckere, kompilatorer, tolke samt IDE-plugins til Eclipse og IntelliJ . Den bruger SDF og en scannerløs GLR -parser til syntaks og formalismer afledt af Stratego/XT til semantik.
  • Xtext er en open-source software-ramme til udvikling af programmeringssprog og domænespecifikke sprog (DSL'er). I modsætning til standard parsergeneratorer genererer Xtext ikke kun en parser, men også en klassemodel for det abstrakte syntakstræ. Derudover giver den en fuldt udstyret, tilpasselig Eclipse-baseret IDE.
  • Meeduse er en EMF-baseret ramme, der gør det muligt at bygge, bevise og animere eksekverbare domænespecifikke sprog (xDSL'er) ved hjælp af B-metoden. Værktøjet integrerer ProB og animator og model-checker af B-metoden.

Se også

Referencer

eksterne links


Stub ikon

Denne computerartikel er en stubbe . Du kan hjælpe Wikipedia ved at udvide den .