Page 1 |
Save page Remove page | Previous | 1 of 184 | Next |
|
small (250x250 max)
medium (500x500 max)
large ( > 500x500)
Full Resolution
All (PDF)
|
This page
All
Subset
|
AUTOMATED SYNTHESIS OF
DOMAIN-SPECIFIC MODEL INTERPRETERS
by
George Edwards
A Dissertation Presented to the
FACULTY OF THE USC GRADUATE SCHOOL
UNIVERSITY OF SOUTHERN CALIFORNIA
In Partial Ful llment of the
Requirements for the Degree
DOCTOR OF PHILOSOPHY
(COMPUTER SCIENCE)
August 2010
Copyright 2010 George Edwards
Object Description
| Title | Automated synthesis of domain-specific model interpreters |
| Author | Edwards, George Thomas |
| Author email | gedwards@usc.edu |
| Degree | Doctor of Philosophy |
| Document type | Dissertation |
| Degree program | Computer Science |
| School | Viterbi School of Engineering |
| Date defended/completed | 2010-04-15 |
| Date submitted | 2010 |
| Restricted until | Unrestricted |
| Date published | 2010-08-06 |
| Advisor (committee chair) | Medvidovic, Nenad |
| Advisor (committee member) |
Boehm, Barry Gupta, Sandeep |
| Abstract | Software architecture models are specifications of the principal design decisions about a software system that primarily govern its structure, behavior, and quality. Architecture models provide a blueprint for how the system is implemented, serve as a basis for experimentation with and rationalization of design decisions, and enable the automation of software engineering tasks. Domain-specific languages (DSLs) are modeling languages that are defined and customized for a particular family of problems or systems (the domain). DSLs are able to concisely and intuitively express software architecture models because they natively include the design abstractions that are most useful and natural for the system under development.; However, because DSLs have non-standard semantics that cannot be known a priori, leveraging architecture models specified in a DSL for automated quality analysis, code generation, and other activities requires the implementation of specialized tools, called model interpreters, that perform these functions. Implementation and maintenance of domain-specific model interpreters are widely recognized as difficult and complex tasks that incur a significant burden on software engineers and reduce the appeal of the DSL approach.; In this dissertation, I describe XTEAM, an integrated set of processes, notations, tools, and designs that enable the automated synthesis of model interpreters for DSLs. The key elements of XTEAM are (1) semantics embedded in the DSL specification (called a metamodel), (2) a metamodel interpreter that automatically synthesizes transformation rules derived from those semantics, and (3) a reusable model interpreter framework that applies those transformation rules in an efficient and structured way to domain-specific models. The impact of XTEAM is that software engineers can use a DSL and perform automated model analysis, code generation, and other types of model transformation and manipulation without having to develop custom tools, greatly reducing the time, effort, expense, and risk associated with domain-specific modeling. XTEAM has been and continues to be used successfully on a number of software engineering projects, and experimental evaluation of XTEAM indicates that, even when pessimistic assumptions are made, XTEAM automates what would otherwise require multiple person-months of effort. |
| Keyword | software architecture; model-driven engineering; domain-specific languages; discrete event simulation; automatic code generation |
| Language | English |
| Part of collection | University of Southern California dissertations and theses |
| Publisher (of the original version) | University of Southern California |
| Place of publication (of the original version) | Los Angeles, California |
| Publisher (of the digital version) | University of Southern California. Libraries |
| Provenance | Electronically uploaded by the author |
| Type | texts |
| Legacy record ID | usctheses-m3328 |
| Contributing entity | University of Southern California |
| Rights | Edwards, George Thomas |
| Repository name | Libraries, University of Southern California |
| Repository address | Los Angeles, California |
| Repository email | http://www.usc.edu/isd/libraries/services/ask_a_librarian/email/ |
| Filename | etd-Edwards-3819 |
| Archival file | uscthesesreloadpub_Volume29/etd-Edwards-3819.pdf |
Description
| Title | Page 1 |
| Contributing entity | University of Southern California |
| Full text | AUTOMATED SYNTHESIS OF DOMAIN-SPECIFIC MODEL INTERPRETERS by George Edwards A Dissertation Presented to the FACULTY OF THE USC GRADUATE SCHOOL UNIVERSITY OF SOUTHERN CALIFORNIA In Partial Ful llment of the Requirements for the Degree DOCTOR OF PHILOSOPHY (COMPUTER SCIENCE) August 2010 Copyright 2010 George Edwards |
Comments
Post a Comment for Page 1
