An MDA Approach Towards Integrating Formal and Informal Modeling Languages [chapter]

Soon-Kyeong Kim, Damian Burger, David Carrington
2005 Lecture Notes in Computer Science  
The Model Driven Architecture (MDA) involves automated transformations between software models defined in different languages at different abstraction levels. This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation. This paper shows how formal and informal modeling languages can be cooperatively used in the MDA framework and how the transformations between models in these languages can be achieved
more » ... an MDA development environment. The MDA model transformation techniques allow us to have a reusable transformation between formal and informal modeling languages. The integrated approach provides an effective V&V technique for the MDA.
doi:10.1007/11526841_30 fatcat:ocj35wcl6fcgbiyve2gkdldjli