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

Computer Science Colloquia

Friday June 10, 2011
Hamid Bagheri
Advisor: Kevin Sullivan
Attending Faculty: Jack Davidson (Chair), John Knight, and Sang Son

Olsson Hall, Room 228E, 9:00 AM

Ph.D. Qualifying Exam
Architectural Style as a Separate Variable in Design

Software architecture is an essential means for managing complexity and meeting demanding requirements in developing complex software systems. Architectural styles systematize successful architectural design practices in terms of constraints on architectural elements and their composition into systems. Notwithstanding the growing body of research and significant progress in architecture-based software development, the success of architecture construction still mainly depends on the experience of software architects.
As software systems grow in complexity and size, designing such systems manually in this way becomes more costly and labor-intensive, and, once completed, hard to change. I propose a project the goal of which is to reduce software architecture development and evolution costs by automating the costly, arduous and unreliable process of refining application models into software architectures in selected architectural styles. To this end, I propose a formally based and automated approach for synthesis of architectural models from formal specification of application models and choices of architectural style.