Program Transformation based Views for Modular Maintenance

Akram Ajouli (1) , Julien Cohen (2) , Rémi Douence (1)

1 ASCOLA - Aspect and composition languages
2 LINA - Laboratoire d'Informatique de Nantes Atlantique

Modular programming is a practical solution for separation of concerns but the support for modularity provided by programming languages does not resolve the classic expression problem and more generally the tyranny of the dominant decomposition: evolutions are modular only on the principal axis of decomposition. To solve this problem, a practical solution would be to be able to choose the architecture of an application each time one has to make it evolve. We provide a prototype tool for the Haskell language to support that. Our tool allows to build transformations to switch Haskell programs from one structure to another. We do this by driving a refactoring tool for Haskell (HaRe): transformations are built by chaining elementary operations of refactoring. Since each elementary refactoring operation preserve the semantics, the whole transformations also do.

Domaines: Génie logiciel [cs.SE]; Langage de programmation [cs.PL]

Akram Ajouli, Julien Cohen, Rémi Douence. Program Transformation based Views for Modular Maintenance. Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219. ⟨hal-00670378⟩