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 Keywords
- Model-integrated computing
- model-based development
- graph transformation
Date of Defense 2006-05-31 Availability unrestricted AbstractThis 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