dc.creator | Szemethy, Tivadar | |
dc.date.accessioned | 2020-08-22T17:03:04Z | |
dc.date.available | 2007-06-05 | |
dc.date.issued | 2006-06-05 | |
dc.identifier.uri | https://etd.library.vanderbilt.edu/etd-06052006-110407 | |
dc.identifier.uri | http://hdl.handle.net/1803/12472 | |
dc.description.abstract | 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. | |
dc.format.mimetype | application/pdf | |
dc.subject | Model-integrated computing | |
dc.subject | model-based development | |
dc.subject | graph transformation | |
dc.title | Domain-Specific Models, Model Analysis, Model Transformations | |
dc.type | dissertation | |
dc.contributor.committeeMember | Dr. Janos Sztipanovits | |
dc.contributor.committeeMember | Dr. Gautam Biswas | |
dc.contributor.committeeMember | Dr. John T. Koo | |
dc.contributor.committeeMember | Dr. Sherif Abdelwahed | |
dc.type.material | text | |
thesis.degree.name | PHD | |
thesis.degree.level | dissertation | |
thesis.degree.discipline | Electrical Engineering | |
thesis.degree.grantor | Vanderbilt University | |
local.embargo.terms | 2007-06-05 | |
local.embargo.lift | 2007-06-05 | |
dc.contributor.committeeChair | Dr. Gabor Karsai | |