Framework-specific Modeling Language - Applications

Applications

FSMLs are used in model-driven development for creating models or specifications of software to be built. FSMLs enable

• the creation of the models from the framework completion code (that is, automated reverse engineering)
• the creation of the framework completion code from the models (that is, automated forward engineering)
• code verification through constraint checking on the model
• automated round-trip engineering