Skip to Main content Skip to Navigation
Conference papers

Generation of Distributed Programs in their Target Execution Environment

Frédéric Gilliers 1 Fabrice Kordon 1 Jean-Pierre Velu
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 10, 2017 - 11:45:23 AM
Last modification on : Thursday, March 21, 2019 - 2:32:59 PM



Frédéric Gilliers, Fabrice Kordon, Jean-Pierre Velu. Generation of Distributed Programs in their Target Execution Environment. 15th IEEE International Workshop on Rapid System Prototyping, Jun 2004, Geneva, Switzerland. pp.127-134, ⟨10.1109/IWRSP.2004.1311107⟩. ⟨hal-01520296⟩



Record views