Skip to Main content Skip to Navigation
Theses

Composition flexible et efficace de transformations de programmes

Abstract : In this work we propose to generalize the use of program transformation, in order to efficiently link the functional and non-functional (or technical) parts of a software system. In this context, we have developed a transformation system (Jabyce), which allows the implementation of any possible program transformers, their encapsulation in order to make them reusable systematically, and their efficient and flexible composition. In order to reach those goals, Jabyce has two characteristics: transformers are designed as software components in a general component model (Fractal), and transformed programs are represented as sequences of interactions between such components, instead of object graphs (classical representation). An extension of the classical categorization of transformation systems allows us an extensive comparison of Jabyce to the other existing transformation systems, which demonstrates that Jabyce makes it significantly easier to develop complex transformers, and offers the most efficient and flexible transformer composition mechanisms. Jabyce has been experimentally used in the context of the development of a transparent Java object persistence service, and that of a modular Java Virtual Machine relying on static compilation. Another original contribution of this work is the introduction of the problematics of fault tolerance in program transformation systems, and the design of an error handling system adapted to Jabyce.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00007526
Contributor : Romain Lenglet <>
Submitted on : Friday, November 26, 2004 - 11:33:00 AM
Last modification on : Friday, June 3, 2016 - 1:04:31 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:54:39 PM

Identifiers

  • HAL Id : tel-00007526, version 1

Citation

Romain Lenglet. Composition flexible et efficace de transformations de programmes. Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨tel-00007526⟩

Share

Metrics

Record views

405

Files downloads

392