Towards a model driven approach for integrating NWN models in CINCO

Abstract

In this paper, we propose a model driven approach to facilitate the integration of Nets within Nets (NWN) modeling language in CINCO modeling tool. Despite that, NWN has a sophisticated modeling-simulation tool called Renew, moving NWN models from a platform to another has been a challenge for programmers. The development of our tool is heavily benefits from being implemented with CINCO; a full generation of the application code is provided, a powerful tool is developed with a few efforts and facilities are provided to add semantic to the platform. Combine formal method with a sophisticated model driven tool simplifies the prototypical of domain specific systems, promotes the interoperability capabilities between different technologies and assists designer in the validation of the correctness of the modeled system.