An MDA approach towards integrating formal and informal modeling languages

  • Authors:

  • Soon-Kyeong Kim;Damian Burger;David Carrington

  • Affiliations:

  • School of Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia

  • Venue:
  • FM'05 Proceedings of the 2005 international conference on Formal Methods
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Model Driven Architecture (MDA) involves automated trans-formations 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 trans-formations between models in these languages can be achieved using 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.