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

Title page for ETD etd-06052006-110407

Type of Document Dissertation
Author Szemethy, Tivadar
URN etd-06052006-110407
Title Domain-Specific Models, Model Analysis, Model Transformations
Degree PhD
Department Electrical Engineering
Advisory Committee
Advisor Name Title
Dr. Gabor Karsai Committee Chair
Dr. Gautam Biswas Committee Member
Dr. Janos Sztipanovits Committee Member
Dr. John T. Koo Committee Member
Dr. Sherif Abdelwahed Committee Member
  • Model-integrated computing
  • model-based development
  • graph transformation
Date of Defense 2006-05-31
Availability unrestricted
This dissertation proposes a novel approach, applicable in the design-time analysis and verification of computer-based systems. The proposed approach, platform modeling, constructs analysis models capturing the system's

behavior on a particular implementation platform. The approach is discussed in the context of Model-Integrated Computing, which is a

development methodology leveraging on the use of domain-specific modeling languages and advanced model transformation techniques. During development, platform-independent design models are refined into platform-specific models using model transformation. The main contribution of this work is the enhancement of this process with the automatic generation of analysis models.

These analysis models assign platform-specific semantics to the design model. This assignment is done through a transformational approach,

using graph transformation. The dissertation presents a case study using a conventional graph transformation tool. Then, a new graph transformation language designed specifically for such transformations is proposed, and its

advantages are demonstrated.

  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  Dissertation_12pt.pdf 5.63 Mb 00:26:04 00:13:24 00:11:44 00:05:52 00:00:30

Browse All Available ETDs by ( Author | Department )

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