[May 26th Tue] Department Seminar by Dr. Yuanfang Cai
Updated on Fri, 10/09/2009 - 1:43pm
- Details
-
  A Formal Model for Automated Software Modularity and Evolvability Analysis
Speaker: Dr. Yuanfang Cai
When: Tue, 05/26/2009 - 11:00am - 12:15pm
Room: CH 430
- Abstract
-
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. Aformalized and automated approach is lacking to assess and verify software design models against their modularity properties, in particular, their ability to accommodate potential changes. In this paper, we propose a logical framework that takes design decisions as first-class members and expresses their relations using constraint networks. A potential change is also modeled as constraints. The impact of the change is computed against a modularity vector that integrates net option value analysis with well-known design principles. We show that this framework accounts for object-oriented and aspect-oriented modularity and changeability in a unified, declarative way.
- Biography
-
Yuanfang Cai is an assistant professor at Drexel University. She received her M.S. and Ph.D. degrees in 2002 and 2006 respectively from the University of Virginia, advised by Kevin Sullivan. Her primary research interests include formal design modeling and automated, quantitative analysis techniques to reason about design structure and related outcomes early in the development process. Dr. Cai has served on program committees for several conferences and also co-organized the Workshop on Assessment of Contemporary Modularization Techniques (ACoM) co-located with the International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA).
|
|
