A joint project of the Graduate School, Peabody College, and the Jean & Alexander Heard Library

Title page for ETD etd-05132008-093424


Type of Document Dissertation
Author Narayanan, Anantha
Author's Email Address ananth@isis.vanderbilt.edu
URN etd-05132008-093424
Title Verification of Model Transformations
Degree PhD
Department Computer Science
Advisory Committee
Advisor Name Title
Gabor Karsai Committee Chair
Aniruddha Gokhale Committee Member
Bharat Bhuva Committee Member
Janos Sztipanovits Committee Member
Sherif Abdelwahed Committee Member
Keywords
  • Model Transformations
  • Verification
  • Model-driven software architecture
  • Program transformation (Computer programming)
  • Computer simulation -- Methodology
Date of Defense 2008-03-20
Availability unrestricted
Abstract
Model based software development projects are typically built over tool-chains that tie modeling, verification and code generation together. Models must usually be transformed to the appropriate notation at each step. These transformations are often automated, and their correctness is crucial to the success of the development effort. Model-based development of high-consequence, critical systems must address the need for verifiable model transformations and code generators that give assurances for the logical consistency of the toolchain.

Verifying the correctness of model transformations is, in general, as difficult as verifying compilers for high-level languages. However, the limitations enforced by the syntactic and semantic rules of domain specific languages allow us to reason about the properties of models within a restricted framework. In model transformations between domain specific models, the preservation of certain properties of the models may also be reasoned within the same restricted framework. This research presents initial ideas for a certification framework for model transformations that can guarantee the correctness of a certain execution of the transformation.

Files
  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  Narayanan_Dissertation.pdf 1.45 Mb 00:06:42 00:03:27 00:03:01 00:01:30 00:00:07

Browse All Available ETDs by ( Author | Department )

If you have more questions or technical problems, please Contact LITS.