| The advances in Model Driven Development (MDD) most notably the OMG's Model Driven Architecture (MDA) provide a framework that helps bridge the gap between a specification model and a design model. Ideally a specification model would be transformed into a design model, which can then be augmented and transformed into the executing system, always retaining compliance with the specification. This ideal situation is seldom reality. That is, the design model is created by transforming the specification model and then modified. These modifications can affect the design models' compliance with the specification model. Therefore, techniques and tools are needed so that a software engineer is able to verify that his/her design model complies with the properties and capabilities defined in the specification model. This dissertation addresses the feasibility of providing tool support for model compliance verification between a specification model and a design model using what will become the defacto model-to-model transformation language: OMG's Query, Views, and Transformations (QVT) standard. |
