Eötvös Loránd Tudományegyetem Informatikai Kar Programozási nyelvek és Fordítóprogramok tanszék
A GENERATÍV PROGRAMOZÁS
MÓDSZERTANÁNAK
Bocsi Rajmund Nappali tagozat Programtervezo matematikus szak Témavezeto: Nyékyné Dr. Gaizler Judit
Budapest 2007
VIZSGÁLATA
,
TARTALOMJEGYZEK TARTALOMJEGYZÉK
4
BEVEZETÉS
6
1. fejezet A generatív programozásról 1.1 A cél 1.2 A generatívprogramozás definíciója 1.3 A generatív domain modell 1.4 Két fejlesztésiciklus 1.5 Elonyökés hátulütok
7 7 7 7 8 8
2. fejezetAzobjektumorientáltelemzésés tervezésés az újrafelhasználás
9
3. fejezet A domain alapú fejlesztés módszere 3.1 Definíciókés fázisok 3.2 Domain elemzés 3.3 Domaintervezés és implementáció 3.4 Alkalmazásfejlesztés 3.5 Feature-modell:definíciók és feature-diagram 3.6 Feature-modell:a közös és változó tulajdonságok kifejezése 3.7 Feature-modell:további információka diagramhoz 3.8 Feature-modell:alkotási folyamat
11 11 12 13 14 15 17 18 19
4. fejezet Az objektumorientáltság és a domain alapú tervezés integrálása
21
5. fejezet A generatív programozás folyamata 5.1 A generatív domain modell 5.2 A fó fejlesztési lépések a generatív programozásban 5.3 A domain alapú fejlesztés módosítása a generatív programozáshoz 5.4 Domain-specifikusnyelvek 5.5 Generátorok
23 23 24 25 25 28
6. fejezet Generikus programozás 6.1 A generikusprogramozás különbözodefiníciói 6.2 Polimorfizmus 6.3 Generikusságaz Ada95-ben 6.4 Generikusságaz Eiffel-ben 6.5 Generikussága Java-ban 6.6 Generikussága C++-ban 6.7 A látens típusosság hiányának kiküszöbölésea Java-ban 6.8 Generikussága O-ben
33 33 34 36 40 44 50 58 60
7. fejezet Aspektusorientált programozás 7.1 A vonatkozások szétválasztása(Separation ofConcerns) 7.2 Aspektus-orientáltdekompozíciós megközelítések
66 66 67
4
7.3 Aspektusok 7.4 Aspektus-orientáltprogramok 7.5 Kompozíciósmechanizmusok 7.6 Példa: egy szinkronizáltverem 7.7 AspectJ 7.8 Példa:egy szinkronizáltverem 7.9 Az aspektusorientáltprogramozás néhány eredménye
69 69 71 72 78 84 86
8. fejezet Statikus metaprogramozás 8.1 A metaprogramozássalkapcsolatosfogalmak 8.2 Statikus metaprogramozás 8.3 Template metaprogramozás 8.4 Metafúggvények 8.5 Metainformációreprezentációja 8.6 Fordítási ideju vezérlési szerkezetek 8.7 Kódgenerálás 8.8 Részlegeskiértékelés C++-ban 8.9 A részleges specializációkiküszöbölése 8.10 A C++ template metaprogramozásproblémái 8.11 Template metaprogramozásaD-ben
88 88 89 90 92 93 95 97 100 102 102 103
9. fejezet Szándékorientált programozás 9.1 A fix programozásinyelvek problémái 9.2 Mi a szándékorientáltprogramozás? 9.3 Az IP technológiája 9.4 Új szándékok és kérdések 9.5 Összegzés 9.6 Nyelvorientáltprogramozás
105 105 106 108 111 112 112
ÖSSZEFOGLALÁS
114
A függelék - Az AspectJ primitiv vágási pont kijelöloi
115
B függelék - Forditási ideju vezérlési szerkezetek a C++-ban B.l IF B.2 IF (részleges specializáció nélküli változat) B.3 SWITCH B.4 SWITCH(részleges specializációnélküli változat) B.5 WHILE B.6DO B.7 FOR
117 117 117 118 118 119 119 120
IRODALOMJEGYZÉK
121
5