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 ...
-
Tomarken, Andrew (Vanderbilt Kennedy Center for Research on Education and Human Development, 2008-11-14)
-
Tomarken, Andrew (Vanderbilt Kennedy Center for Research on Education and Human Development, 2008-11-13)