Automatic transition from rapid prototyping to target code for distributed systems

High level operational languages support the specification and validation of complex reactive systems through the automatic generation of rapid prototypes since the early stages of the development lifecycle. However, when it comes to the implementation stage, these prototypes must be translated into target code to accomplish performance requirements without losing validation results. A transformation method supporting the incremental and automatic transition from rapid prototypes to target code is presented, which relies on a Petri net based specification language. Experimental results are presented to evaluate the performance improvement achieved by this automatic transformation