6. Conclusions and outlook

The framework of this study is based on a standard: UM/OCL, using the techniques of translators (compilers and interpreters) to verify transformations and animate the models involved in the code generation activity from an activity diagram.

This study should be continued using other diagrams (state charts, sequence, etc.).

The results of this study :

• 1. propose the definition of an incremental process (based on activity and class diagrams) that can be used by domain experts to create a business workshop;

• 2. show examples where axiomatic properties are decisive.