Generation of distributed programs in their target execution environment

This paper presents how we use L/P, a formal-based, object oriented notation dedicated to the development of distributed application. The language comes with a development methodology which emphasizes the separation between the control aspect of the application, and the computational aspect. Specifications written in L/P focus on the control part of the application which is known to be a difficult issue of distributed applications. The corresponding code is then automatically generated to implement the behavior in the target execution environment. This paper briefly presents the L/P language, how we handle connection between computational and control aspects. We then describe a prototype implementation of the code generator and the associated runtime.