From Model Driven Engineering to Verification Driven Engineering
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Hi-index | 0.01 |
This paper presents how we use LfP, a formal-based,Object Oriented notation dedicated to the development ofdistributed application.The language comes with a development methodology whichemphasizes the separation between the control aspect of theapplication, and the computational aspect. Specifications writtenin LfP focus on the control part of the application which isknown to be a difficult issue of distributed applications. Thecorresponding code is then automatically generated to implementthe behavior in the target execution environment.This paper briefly presents the LfP language, how we handleconnection between computational and control aspects. We thendescribes a prototype implementation of the code generator andthe associated runtime.