MontiCore: Agile Entwicklung von domÃ¤nenspezifischen Sprachen ...

Weitere Magazine

Empfehlungen

Info

32 Kapitel 2 – Entwurf und Einsatz von DSLs in der Softwareentwicklung DSL- Entwicklung Entwurf Implementierung Legende Verwendung von DSLs Übliche Aktivität DSL DSL Analyse Validierung/ Verifikation Auslieferung DSL DSL DSL DSL und darauf basierende Werkzeuge für verschiedene Aktivitäten der DSL Softwareentwicklung Anforderungen an die DSL Werkzeuge zur Verwendung in der Produktentwicklung Produktentwicklung Entwurf Implementierung Anforderungen Analyse Validierung/ Verifikation Auslieferung Wartung Abbildung 2.3: Agile Kopplung der DSL-Entwicklung mit der Softwareentwicklung die Codegenerierung fortlaufend weiterentwickelt und getestet. Wie bereits in [KRV06] dargestellt, lassen sich dabei die folgenden Rollen innerhalb der Entwicklung einer DSL identifizieren. Die beschriebenen Rollen geben an, welche Personen mit welchen Aufgabengebieten an der Entwicklung und am Einsatz einer DSL zur Softwareerstellung mitwirken, wobei eine Rolle auch von mehreren Personen erfüllt werden oder eine Person mehrere Rollen ausfüllen kann:
2.5 Technische Realisierung einer DSL 33 • Ein Domänenexperte legt innerhalb der Analyse der DSL-Entwicklung die Ausgestaltung der DSL fest. Dabei leistet er wichtige Vorarbeit für die anderen Rollen, indem er vorhandene Notationen der Domäne zusammenträgt und existierende Frameworks und Bibliotheken der Domäne auf ihre Eignung prüft. • Ein Sprachentwickler definiert oder erweitert eine DSL bezüglich der Bedürfnisse und Anforderungen des Produktentwicklers und den Festlegungen des Domänenexperten im Entwurf der DSL. • Ein Werkzeugentwickler schreibt innerhalb der Implementierung der DSL einen Codegenerator, was sowohl die Erzeugung von Produktions- und Testcode als auch Analysen des Inhalts und der Qualität beinhaltet. Er testet seine Implementierung in der Validierung/Verfikation der DSL-Entwicklung. Zusätzlich integriert er neu entwickelte oder wieder verwendete Sprachverarbeitungskomponenten und Generatoren zu neuen Werkzeugen, die bei der Entwicklung der Software eingesetzt werden. • Ein Bibliotheksentwickler entwirft Software-Komponenten oder Bibliotheken für das Produkt und vereinfacht daher den Codegenerator, weil konstante wieder verwendbare Softwareteile nicht generiert werden müssen, sondern nur durch die DSL verschaltet oder konfiguriert werden müssen. Daher ist diese Rolle eng verwandt mit dem Werkzeugentwickler, erfordert aber mehr Wissen über das Anwendungsgebiet. Ein Ziel solcher Bibliotheken ist die Kapselung detaillierten Domänenwissens und die Konzeption von Schnittstellen, die ausreichend für die Bedürfnisse einer Codegenerierung sind. Die so entstehende Laufzeitumgebung fasst die Teile der Software zusammen, die zur Laufzeit der Produkte ausgeführt werden. Sie muss jedoch zusammen mit der DSL entwicklet werden, weil die Komponenten unabhängig von einem konkreten Produkt konzipiert werden. Nichtsdestotrotz können die erste Version einer solcher Komponenten eine konkreten Produkt entstammen und entsprechende verallgemeinert Teil der Laufzeitumgebung werden. Die Entwicklung des Produkts wird hier nicht stärker differenziert betrachtet: • Ein Produktentwickler verwendet die bereitgestellten Werkzeuge in allen Aktivitäten innerhalb der Produktentwicklung. Die Hauptanwendung ist dabei die Spezifikation von Domänenwissen in DSL-Modellen. Zusätzlich erledigt er die übrigen Aufgaben bei der Entwicklung des Produkts mit konventionellen Techniken. 2.5 Technische Realisierung einer DSL Unabhängig vom gewählten Entwicklungsprozess gibt es verschiedene technische Möglichkeiten zur Implementierung einer DSL. Die wichtigsten in der Literatur zu findenden Möglichkeiten sind [Wil01, MHS05]: Makrosysteme realisieren einfache DSLs, die durch einen Preprozessor auf eine GPL umgesetzt werden. Eingebettete DSLs bezeichnen Spracherweiterungen von GPLs (die in diesem Zusammenhang als Hostsprache bezeichnet werden), die zusätzliche kompakte Formulierungen bieten, jedoch die Grundstruktur der GPL erhalten. Die Elemente der DSL werden dabei auf die Konstrukte der GPL wie zum Beispiel API-Aufrufe abgebildet.
Seite 1 und 2: Holger Krahn MontiCore: Agile Entwi
Seite 3: Kurzfassung Domänenspezifische Spr
Seite 7: Danksagung An dieser Stelle möchte
Seite 10 und 11: 3.3.2 Ableitung der Attribute und K
Seite 12 und 13: 9 Verarbeitung von Sprachen mit dem
Seite 15: Teil I Grundlagen
Seite 18 und 19: 4 Kapitel 1 - Einführung waresyste
Seite 20 und 21: 6 Kapitel 1 - Einführung optimiere
Seite 22 und 23: 8 Kapitel 1 - Einführung • „A
Seite 24 und 25: 10 Kapitel 1 - Einführung aufweise
Seite 26 und 27: 12 Kapitel 1 - Einführung Gesamte
Seite 28 und 29: 14 Kapitel 1 - Einführung Entwickl
Seite 30 und 31: 16 Kapitel 1 - Einführung Sprachde
Seite 32 und 33: 18 Kapitel 1 - Einführung 1.6 Wich
Seite 35 und 36: Kapitel 2 Entwurf und Einsatz von d
Seite 37 und 38: 2.2 Einsatz von DSLs in der Softwar
Seite 39 und 40: 2.2 Einsatz von DSLs in der Softwar
Seite 41 und 42: 2.3 Entwicklung einer DSL 27 entnom
Seite 43 und 44: 2.3 Entwicklung einer DSL 29 vorab
Seite 45: 2.4 Gekoppelte agile Entwicklung ei
Seite 49 und 50: 2.6 Realisierung einer eigenständi
Seite 51: Teil II MontiCore
Seite 54 und 55: 40 Kapitel 3 - Grammatikbasierte Er
Seite 78 und 79: 64 Kapitel 4 - Modulare Entwicklung
Seite 95 und 96: Kapitel 5 Formalisierung In diesem
Seite 97 und 98:
5.1 Grundlagen 83 Definition 5.1.5
Seite 99 und 100:
5.2 Abstrakte Syntax des Grammatikf
Seite 101 und 102:
5.3 Kontextbedingungen einer MontiC
Seite 103 und 104:
5.4 Hilfsstrukturen für das MontiC
Seite 105 und 106:
Seite 107 und 108:
Seite 109 und 110:
Seite 111 und 112:
Seite 113 und 114:
Seite 115 und 116:
Seite 117 und 118:
Seite 119 und 120:
Seite 121 und 122:
Seite 123 und 124:
Seite 125 und 126:
5.6 Semantische Abbildung der abstr
Seite 127 und 128:
5.7 Zielplattform 113 5.7 Zielplatt
Seite 129 und 130:
5.9 Kontextbedingungen für Sprachd
Seite 131 und 132:
5.11 Semantische Domäne für die k
Seite 133 und 134:
5.12 Semantische Abbildung der konk
Seite 135:
5.13 Zusammenfassung 121 (b) Zusät
Seite 138 und 139:
124 Kapitel 6 - MontiCore Konsole K
Seite 140 und 141:
126 Kapitel 6 - MontiCore • Die B
Seite 142 und 143:
128 Kapitel 6 - MontiCore 6.2.1 AST
Seite 144 und 145:
130 Kapitel 6 - MontiCore Ein Monti
Seite 146 und 147:
132 Kapitel 6 - MontiCore IDSLToolC
Seite 148 und 149:
134 Kapitel 6 - MontiCore Nach erfo
Seite 150 und 151:
136 Kapitel 6 - MontiCore eigenstä
Seite 152 und 153:
138 Kapitel 6 - MontiCore der Wert
Seite 154 und 155:
140 Kapitel 6 - MontiCore Codegener
Seite 156 und 157:
142 Kapitel 7 - Verwandte Arbeiten
Seite 158 und 159:
Seite 160 und 161:
Seite 162 und 163:
Seite 165 und 166:
Kapitel 8 Methodiken zur Entwicklun
Seite 167 und 168:
8.1 Transformationen für MontiCore
Seite 169 und 170:
8.2 Erzeugung einer Grammatik aus e
Seite 171 und 172:
8.2 Erzeugung einer Grammatik aus e
Seite 173 und 174:
8.3 Überführung einer BNF-Grammat
Seite 175 und 176:
8.3 Überführung einer BNF-Grammat
Seite 177 und 178:
8.4 Erzeugen einer Sprachdefinition
Seite 179 und 180:
8.4 Erzeugen einer Sprachdefinition
Seite 181:
8.5 Zusammenfassung 167 8.5 Zusamme
Seite 184 und 185:
170 Kapitel 9 - Verarbeitung von Sp
Seite 186 und 187:
Seite 188 und 189:
Seite 190 und 191:
Seite 192 und 193:
Seite 194 und 195:
Seite 196 und 197:
Seite 198 und 199:
Seite 200 und 201:
Seite 202 und 203:
Seite 204 und 205:
Seite 206 und 207:
für alle Sprachen mit Option compi
Seite 208 und 209:
Seite 210 und 211:
Seite 212 und 213:
Seite 214 und 215:
Seite 216 und 217:
Seite 218 und 219:
Seite 220 und 221:
206 Kapitel 10 - Fallstudien 10.2 M
Seite 222 und 223:
208 Kapitel 10 - Fallstudien MC-Gra
Seite 224 und 225:
210 Kapitel 10 - Fallstudien Das Bu
Seite 226 und 227:
212 Kapitel 10 - Fallstudien 10.3.1
Seite 228 und 229:
214 Kapitel 10 - Fallstudien ibd Ca
Seite 230 und 231:
216 Kapitel 10 - Fallstudien IBD FN
Seite 232 und 233:
218 Kapitel 10 - Fallstudien 5. Ein
Seite 234 und 235:
220 Kapitel 10 - Fallstudien 10.3.3
Seite 236 und 237:
222 Kapitel 10 - Fallstudien 10.4 J
Seite 238 und 239:
224 Kapitel 10 - Fallstudien Matche
Seite 240 und 241:
226 Kapitel 10 - Fallstudien der Tr
Seite 242 und 243:
228 Kapitel 10 - Fallstudien 1 gram
Seite 245:
Teil IV Epilog
Seite 248 und 249:
234 Kapitel 11 - Zusammenfassung un
Seite 250 und 251:
236 Kapitel 11 - Zusammenfassung un
Seite 252 und 253:
238 Literaturverzeichnis [BCK03] [B
Seite 254 und 255:
240 Literaturverzeichnis [Des84] [D
Seite 256 und 257:
242 Literaturverzeichnis [GHR + 03]
Seite 258 und 259:
244 Literaturverzeichnis [Jac02] [J
Seite 260 und 261:
246 Literaturverzeichnis [KW96] Bas
Seite 262 und 263:
248 Literaturverzeichnis [OMG03] Ob
Seite 264 und 265:
250 Literaturverzeichnis [RSA] [RT8
Seite 266 und 267:
252 Literaturverzeichnis [Vel] Velo
Seite 269:
Teil V Anhänge
Seite 272 und 273:
258 Anhang A - Glossar Bibliothekse
Seite 274 und 275:
260 Anhang A - Glossar Kompositiona
Seite 276 und 277:
262 Anhang A - Glossar Parser Ein P
Seite 278 und 279:
264 Anhang A - Glossar Werkzeugentw
Seite 280 und 281:
266 Anhang B - Zeichenerklärungen
Seite 282 und 283:
268 Anhang C - Abkürzungen GPL Gen
Seite 284 und 285:
270 Anhang D - Grammatiken 23 ast G
Seite 286 und 287:
272 Anhang D - Grammatiken 133 | Mo
Seite 288 und 289:
274 Anhang D - Grammatiken 243 name
Seite 290 und 291:
276 Anhang D - Grammatiken 353 LexA
Seite 292 und 293:
278 Anhang D - Grammatiken D.1.3 Es
Seite 294 und 295:
280 Anhang D - Grammatiken MontiCor
Seite 296 und 297:
282 Anhang D - Grammatiken Interfac
Seite 298 und 299:
284 Anhang D - Grammatiken MontiCor
Seite 300 und 301:
286 Anhang D - Grammatiken 49 Emb =
Seite 302 und 303:
288 Anhang D - Grammatiken D.2.3 Un
Seite 304 und 305:
290 Anhang E - Index der Formalisie
Seite 306 und 307:
Seite 308 und 309:
Alle anzeigen

MontiCore: Agile Entwicklung von domÃ¤nenspezifischen Sprachen ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?