Integrated Coding and Design in Software Production

Abstract

Colored Petri Nets (CPNs) can be used as a cor- nerstone evolutionary approach for software prototyping. In this work, CPNs are not only a resource for design, but also for developing high-level software. The coding process is completely integrated with the modeling, analyzing and tests phases. The use of prototypes, generated automatically with the CPN design, can avoid error propagation to the subsequent steps of software development, increasing quality and improving productivity. The main contributions of this work are: (i) the game-Aided by Modelling (GAM) method, which not only serves to model, but to create simple games from CPNs; and (ii) the Classes-Aided by Modelling (CAM) method generalizes GAM method to the object-oriented classes implementation. Two applications were developed to demonstrate the effectiveness of this approach and are also discussed here.