| Door gebruik te maken van een gelaagde architectuur heeft Martijn Schrage een presentatiegerichte generieke editor Proxima- gebouwd die geschikt is voor een breed scala aan toepassingen. Proxima is een editor die complexe presentaties met grafische elementen en berekende waarden ondersteunt, en daarom bruikbaar is voor een grote klasse van documenttypes. Dit wordt voornamelijk mogelijk gemaakt door een gelaagde architectuur. Het probleem om presentatiegerichte editfunctionaliteit te bieden wordt daardoor opgesplitst in een aantal eenvoudigere deelproblemen. Het proefschrift van Schrage beschrijft het ontwerp en de architectuur van Proxima en bevat een formele specificatie van de editor. Met het prototype, geïmplementeerd in de functionele programmeertaal Haskell, zijn al een aantal interessante editors gebouwd. Een computergebruiker heeft te maken met een grote verscheidenheid aan documenten, zoals tekstbestanden, spreadsheets en webpagina's. De applicaties om deze documenten te bewerken zijn editors (bv. tekstverwerkers, spreadsheet-applicaties en HTML-editors). Ondanks de uiterlijke verschillen tussen editors vertonen de editoperaties (tekst invoeren, selecteren, knippen/plakken, etc.) sterke overeenkomsten. Het gebruik van een generieke editor levert een aantal voordelen op. In plaats van verschillende applicaties is er bijvoorbeeld nog maar een applicatie met een uniforme user interface. Het belangrijkste voordeel is echter dat het bouwen van een editor voor een nieuw type document met een generieke editor veel eenvoudiger is dan op conventionele wijze. Dit is vooral gunstig voor het bouwen van editors voor XML documenten. Ondanks deze voordelen zijn generieke editors weinig populair. Bestaande editors bieden vaak alleen de mogelijkheid om de interne structuur van het document te editen, wat als beperkend wordt ervaren. Gebruiksvriendelijker zijn de presentatiegerichte generieke editors, die toestaan dat de presentatie van het document op het scherm geëdit kan worden. Deze editors zijn echter slechts toepasbaar voor een beperkte klasse, veelal tekstuele, documenttypes. Proxima is een generieke editor waarmee een groot aantal verschillende documenttypes bewerkt kan worden. Net zoals een keukenmachine door middel van hulpstukken een groot aantal losse apparaten vervangt, zo kan een generieke editor met verschillende stylesheets een groot aantal editors vervangen. |
