Validation of Platform Specific Models against Platform Independent Models in the Context of Standard Specifications: A Model Driven Architecture Approach

摘要

International organisms such as the Object Management Group (OMG), the International Telecommunication Union (ITU) and the International Organization for Standardization (ISO) define standard specifications against which future products will be developed and ultimately verified. The OMG Model Driven Architecture (MDA) initiative provides a framework for model driven development that helps bridging the gap between specification-level models and design-level models. Model transformation, called Model Mapping in MDA, is an essential concept of the MDA initiative. Model Mappings transform a source model into a target model. While the focus of MDA related literature has been on the transformation of abstract models into more concrete ones, not much has been done on the use of mappings in the context of validation of a more concrete model against a more abstract one. It is this specific issue that we address in this paper.