Fonds voor Wetenschappelijk Onderzoek - Vlaanderen
Wetenschappelijke Onderzoeksgemeenschap
Fundamenten van software-evolutie
1 januari 2001 - 31 december 2005
[An English version is also available]
Meest recente wijziging door Peter Ebraert op: 21 oktober 2005
Inhoud
De mailing lijst bestemd voor de deelnemers van deze Wetenschappelijke Onderzoeksgemeenschap is
wog-evol@prog.vub.ac.be
Er is ook een Wiki die kan gebruikt worden om informatie betreffende het evolutienetwerk te delen. Om voor de hand liggende redenen kan de username en het paswoord hier niet vermeld worden. Je kan het altijd vragen aan 1 van de netwerkleden die dit paswoord niet vergeten is.
Talrijke wetenschappelijke studies naar grootschalige softwaresystemen hebben uitgewezen dat het grootste deel van de totale kost van software-ontwikkeling gaat naar het onderhoud van de software. Dit is voornamelijk te wijten aan het feit dat softwaresystemen constant moeten blijven evolueren om tegemoet te komen aan veranderende behoeften. Vandaag is dit meer dan ooit het geval, gezien de razendsnelle evolutie van de informaticatechnologie, evenals de constant veranderende wetgeving en de steeds verdere internationalisering. Ondanks deze onoverkomelijkheid van software-evolutie zijn bestaande werktuigen die hiervoor ondersteuning trachten te bieden verre van ideaal. Dit komt doordat deze werktuigen onvoldoende doordacht zijn, met als gevolg dat ze niet algemeen toepasbaar zijn, niet schaalbaar genoeg zijn, of moeilijk integreerbaar zijn met andere werktuigen. Het doel van de samenwerking bestaat erin tot een consistente verzameling van formeel onderbouwde technieken en bijhorende werktuigen te komen om software-ontwikkelaars bij te staan tijdens typische evolutieproblemen van grote softwareprogrammas.
Het interdisciplinair karakter van de onderzoeksgemeenschap weerspiegelt zich in het algemeen gebruik van wiskundige formalismes als onderbouw voor concrete werktuigen ter ondersteuning van software-evolutie. Deze kruisbestuiving tussen wiskunde en informatica moet leiden tot werktuigen die robuuster en breder toepasbaar zijn, zonder dat ze hierdoor aan effici�ntie inboeten. In mindere mate kan de interdisciplinariteit ook teruggevonden worden in het feit dat we ons niet wensen te beperken tot ��n enkele fase in de software-levenscyclus. De bedoeling is daarentegen technieken te bedenken die algemeen toepasbaar zijn tijdens het ganse software-ontwikkelingsproces.
Concreet zal de onderzoeksgemeenschap zich toespitsen op werktuigen voor:
- Forward engineering. Werktuigen om enerzijds proactief consistentie tussen implementatie, ontwerp, analyse en software architectuur te garanderen (door bepaalde wijzigingen aan de software te verbieden); en om anderzijds retroactief afwijkingen tussen implementatie, ontwerp, analyse en architectuur vast te stellen (nadat er wijzigingen in ��n of meerdere van deze fases opgetreden zijn).
- Reverse engineering. Werktuigen om relevante abstracties uit bestaande code te extraheren en zo de globale structuur van programmas beter te begrijpen.
- Re-engineering. Werktuigen om software te herstructureren met als doel de herbruikbaarheid, uitbreidbaarheid en onderhoudbaarheid te bevorderen.
- Team Engineering. Werktuigen die helpen bij software-evolutie wanneer meerdere ontwikkelaars tegelijkertijd wijzigingen aan de software maken.
De krachtlijnen hierbij zijn het zoeken naar formeel onderbouwde technieken die algemeen bruikbaar zijn in elk van de bovenstaande gevallen. Hierbij zullen we ondermeer kijken naar:
- op logica gebaseerde declaratieve beschrijvings- en redeneertechnieken
- op herschrijfsystemen gebaseerde modellen van software-evolutie
- software-metrieken
- visualisatietechnieken
- generatie van ontwerpdocumentatie en broncode
- extractie van ontwerp- en analysedocumentatie
- migratie naar componentgebaseerde en internetgebaseerde systemen
- het gebruik van metamodellen als overkoepelende integratietechniek
- Dr. Theo D'Hondt, PROG, VUB (voorzitter)
- Dr. Tom Mens, PROG, VUB (secretaris)
- Dr. Serge Demeyer, LORE, UA
- Dr. Ir. Eric Steegmans, SOM, KUL
- Dr. Ghislain Hoffman, VIT, UG