Preliminary Schedule

Please note: The schedule is still subject to change

The workshop will consist of a mixture of presentations and plenty of discussion! Everyone should come prepared to share their experiences, perspectives, problems, and ideas.

Each session will include a counterpoint presentation, which is intended to highlight common themes, to identify problems and issues, and to stimulate discussion. We encourage all participants--whether or not they are giving formal presentations--to think about issues and problems and come prepared to discuss them.

8:30-10:00	Session 1: Identifying and Modeling Concerns: When and How *Presentations:* Towards Ruling Component-Based Distributed Systems with Role-Based Modeling and Cross-Cutting Aspects (Holger Giese) Issues in the Design and Implementation of a Concern-Space Modeling Schema (Stan Sutton, Isabelle Rouvellou) Structuring System Aspects (Yvonne Coady, Gregor Kiczales, Mike Feeley, Norm Hutchinson, Joon Suan Ong) *Highlights:* Overcoming the Prevalent Decomposition in Legacy Code (Jan Hannemann, Gregor Kiczales) *Counterpoint:* Issues in Concern Identification and Modeling Discussion
10:00-10:30	Break
10:30-12:00	Session 2: Mechanisms for ASOC *Presentations:* Combining Composition Styles in the Evolvable Language LAC (Stephan Herrmann, Mira Mezini) Joinpoints as Ordered Events: Towards Applying Implicit Context to Aspect-Orientation (Rob Walker, Gail Murphy) Separation of Concerns in Software Configuration Management (Mark Chu-Carroll) *Highlights:* x-Frame Approach for Handling Variants within Concerns (Hongyu Zhang, Stan Jarzabek, Soe Myat Swe) Mapping Composition Patterns to AspectJ and Hyper/J (Siobhán Clarke, Rob Walker) *Counterpoint:* Issues in Providing Support for ASOC Discussion
12:00-2:00	Lunch
2:00-3:30	Session 3: Consistency Management, Analysis, and Verification *Presentations:* Reasoning About Compositions of Concerns (Marsha Chechik, Steve Easterbrook) Automated Consistency Checking for Multiperspective Software Specifications (Thanwadee Sunetnanta, Anthony Finkelstein) Formal Verification of a Bounded Buffer with Three Separate Concerns (Torsten Nelson, Donald Cowan, Paolo Alencar) *Highlights:* Analyzing Concerns Using Class Member Dependencies (Martin Robillard, Gail Murphy) *Counterpoint:* Issues in Ensuring Consistency and Providing Analysis and Verification for ASOC Discussion
3:30-4:00	Break
4:00-5:30	Visions and Directions This session will explore key issues and directions in ASOC. It will feature a panel discussion and debate involving some top people in the area. Participants are strongly encouraged to think about the following issues, and to come prepared to raise issues that they see being important new directions. (Don't limit yourself to these issues--they're intended to be suggestive, rather than proscriptive.) What problems have you noted in your own work that require ASOC? Are they being addressed by current approaches? Particularly if they are not, what requirements would you place on solutions? What limitations have you run into in current approaches--either in your research or development efforts? In what kinds of software engineering scenarios would you like to use ASOC? What kinds of engineering processes? What kinds of tooling would you like to have available? How would you like to be able to interact with it? In general, what are the critical research issues that you see for the future? Discussion