This paper presents how we use LfP, 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 LfP 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 LfP language, how we handle connection between computational and control aspects. We then describes a prototype implementation of the code generator and the associated runtime.