Domain-Specific Models, Model Analysis, Model Transformations
Szemethy, Tivadar
:
2006-06-05
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.
Files in this item
This item appears in the following collection(s):
Related items
Showing items related by title, author, creator and subject.
-
Davis, Sharon Elizabeth (2017-04-05)Department: Biomedical InformaticsIntegrating personalized risk predictions into clinical decision support requires well-calibrated models, yet model accuracy deteriorates as patient populations shift. Understanding the influence of modeling methods on ...
-
Allensworth, Rebecca Haw (Georgetown Law Journal, 2015)In 2013, the Supreme Court made the offhand comment that empirical models and their estimations or predictions are not 'findings offact" deserving of deference on appeal. The four Justices writing in dissent disagreed, ...
-
Tomarken, Andrew (Vanderbilt Kennedy Center for Research on Education and Human Development, 2008-11-14)