Institute for Computer Research (ICR) presents a seminar on
Feature interactions, products, and composition
Professor Don Batory
Department of Computer Science
The University of Texas at Austin
Tuesday, March 29, 2011
University of Waterloo, Davis Centre, Room DC 1304
The connection between feature modules and feature interactions is not well-understood. To explain classic examples of feature interactions, we show that feature modules must be composed not only by the standard dot (.) operation, but also by the cross-product (x) and interaction (#) operations that heretofore were implicit in the literature. We present a formal model of these operations, show how it connects and explains previously unrelated results in Feature Oriented Software Development (FOSD), and describe a tool, based on our formalism, that demonstrates how changes in composed documents can be back-propagated to their original feature module definitions, thereby improving FOSD tooling.
(This research is joint work with Peter Hoefner and Jongwook Kim.)
Don Batory holds the David Bruton Centennial Professorship in the Department of Computer Science at The University of Texas at Austin. He received a B.S. (1975) and M.Sc. (1977) degrees from Case Institute of Technology, and a Ph.D. (1980) from the University of Toronto. He was a faculty member at the University of Florida in 1981 before he joined the University of Texas in 1983. He was an Associate Editor of IEEE Transactions on Software Engineering (1999-2002), Associate Editor of ACM Transactions on Database Systems (1986-1992), a member of the ACM Software Systems Award Committee (1989-1993; Committee Chairman in 1992), Program Co-Chair for the 2002 Generative Programming and Component Engineering Conference. He is a leading researcher on Feature Oriented Software Development (FOSD). Since 1993, he and his students have written 11 Award Papers for their work in automated and component-based program development. He has given numerous tutorials on FOSD and is an industry-consultant on product-line architectures.
Sponsored by the Ontario Research Fund (ORF) Research Project: “Software Service Engineering”
200 University Avenue West
Waterloo, ON N2L 3G1