Parade omvandlingar sker i mjukvaruutveckling när flera artefakter måste ändras på ett sådant sätt att de förblir konsekventa med varandra. Ett viktigt exempel är den kopplade omvandlingen av en datatyp, dess instanser, och de program som konsumerar eller producerar den. Tidigare har vi tillhandahållit en formell behandling av omvandling av de två första: datatyper och instanser. Behandlingen omfattade konstruktion av typsäkra, typskiftande strategiska omskrivningssystem. I detta dokument utvidgar vi vår behandling till att omfatta omvandling av motsvarande databehandlingsprogram. Den viktigaste insikten bakom utbyggnaden är att både datamigreringsfunktioner och dataprocessorer kan representeras typsäkert av en generaliserad abstrakt datatyp (GADT). Dessa representationer är sedan föremål för program beräkningsregler, utnyttjas i typesafe, type-bevarande strategiska omskrivningssystem. För enkel beräkning använder vi punktfria representationer och motsvarande beräkningsregler. På så sätt utförs kopplade omvandlingar i två steg. För det första tillämpas ett typändrande omskrivningssystem på en källtyp för att erhålla en måltyp tillsammans med (representationer av) migreringsfunktioner mellan källa och mål. Därefter tillämpas ett typbevarande omskrivningssystem på sammansättningen av en migreringsfunktion och en dataprocessor på källtypen (eller måltypen) för att erhålla en dataprocessor på måltypen (eller källtypen). Alla omskrivningar är typsäkra.
I REF presenteras ett annat tillvägagångssätt för en konsekvent omvandling av ett dataschema och relaterade frågor.
Strongly typed rewriting for coupled software transformation
{'venue': 'Proc. 7th Int. Workshop on Rule-Based Programming (RULE 2006), ENTCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}