People/Web Search Calendar Emergency Info A-Z Index UVA Email University of Virginia

Computer Science Colloquia

Friday, April 26, 2013
Hamid Bagheri
Advisor: Kevin Sullivan
Attending Faculty: Mary Lou Soffa (Chair); Westley Weimer; William Griswold and John Lach, Minor Representative

12:00 PM, Rice Hall, Rm. 242

PhD Dissertation Presentation
Synthesis from Formal Partial Abstractions

ABSTRACT

Developing complex software systems is costly, time-consuming and error-prone. Model-driven software development promises to improve software productivity, timeliness, quality and cost through the transformation of abstract application models to code-level implementations. However, it remains unreasonably difficult to build the modeling languages and translators required for software synthesis. This dissertation research seeks to enable more rapid and reliable model-driven software development by embedding modeling languages within established formal languages and by using the analyzers provided with such languages to replace hand-crafted, costly and error-prone transformation systems with specification-driven synthesis. One important aspect of this work is its focus on partial specifications of particular aspects of the system, such as application architectures and target platforms, and synthesis of partial code bases from such specifications. Contributions of this work include novel insights, methods and tools for synthesizing architectural models from abstract application models; for synthesizing partial, platform-specific application frameworks from application architectures; and for synthesizing object-relational mapping tradeoff spaces and database schemas for database-backed object-oriented applications.