1. Aspect-Oriented Modeling Workshop March 14, 2005 Chicago, IL http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/

2. Introduction to Participants Authors  Pablo A. Amaya Barbosa  Hubert Baumeister  José Conejero  Armin B. Cremers  Carlos F. González Contreras  Tzilla Elrad  Robert France  Geri Georg  Aniruddha Gokhale  Jeff Gray  Yan Han International Representation: Canada, China, Germany, Spain, and USA  Gregor Kiczales  Alexander Knapp  Günter Kniesel  Nora Koch  Mark Mahoney  Juan Hernández  Raghu Reddy  Juan M. Murillo Rodriguez  Roberto Rodríguez  Maria Tkatchenko  Gefei Zhang

3. Introduction to Participants Program Committee:  Faisal Akkawi  Mehmet Aksit  Atef Bader  Siobhán Clarke  Sudipto Ghosh  Robert France  Stefan Hanenberg  Ana Moreira Organizing Committee:  Omar Aldawud  Tzilla Elrad  Jeff Gray  Mohamed Kandé  Jörg Kienzle  Dominik Stein International Representation: Canada, Ireland, Portugal, Switzerland, Germany, Netherlands, and USA

4. Let’s Introduce Ourselves Your name and affiliation Research interests Briefly  Any position you would like to state  Your goals in attending this workshop  Questions to be discussed

5. Workshop Background and Stated Goals Focus topics of workshop:  Aspect-Oriented Modeling Defining requirements on Aspect-Oriented Modeling Verification and validation of aspect-oriented models Composition of aspect-oriented models Modeling of aspects at different stages of software development (requirements engineering, software architecture, design, implementation), e.g., what are the main elements at each individual stage and what are the aspects that crosscut? Application of AOM to modeling notations that are not tied to the UML (e.g., domain-specific modeling languages, or Matlab models, etc.)  Aspect-Oriented UML Identification of UML elements that can be used to model aspects Identification of UML elements that can NOT be used to model aspects UML profiles for AOSD Aspect-oriented support in UML 2.0 Extensions to UML for supporting AOSD  AOSD Method and Tool Support Aspect-oriented software development methods Using existing UML tools in AOSD life-cycles New tools and extensions to existing tools to support aspect-oriented modeling  Aspect-Oriented Modeling Case Studies Detailed examples that demonstrate how a certain concern can be modeled during software development throughout the different development stages Results:  Pre-conference papers on website  Post-workshop web site Presentations and Breakout summary Photos: Stick around for the group photo before first break at 10:30am

6. Workshop Schedule – Session 1 TimeEvent 9:00am- 9:15am General Introduction and Overview of Workshop Goals 9:15am- 9:30am J. Conejero, J. Hernández, R. Rodríguez («Profile») UML Profile Definition for Dealing with the Notification Aspect in Distributed Environments 9:30am- 9:45am M. Tkatchenko, G. Kiczales («Meta-Model Extension») Uniform Support for Modeling Crosscutting Structure 9:45am- 10:00am Y. Han, G. Kniesel, A. Cremers («New Meta-Model») Towards Visual AspectJ by a Meta Model and Modeling Notation 10:00am- 10:15am G. Zhang, H. Baumeister, N. Koch, A. Knapp («Sub-States») Aspect-Oriented Modeling of Access Control in Web Applications 10:15am- 10:30am M. Mahoney, T. Elrad («Event Re-Interpretation») Modeling Platform Specific Attributes of a System as Crosscutting Concerns using Aspect-Oriented Statecharts and Virtual Finite State Machines

7. Workshop Schedule – Session 2 TimeEvent 11:00am- 11:15am A. Gokhale, J. Gray («Tool») An Integrated Aspect-Oriented Model-Driven Development Toolsuite for Distributed Real-Time and Embedded Systems 11:15am- 11:30am R. Reddy, R. France, G. Georg («Dependabilities») An Aspect Oriented Approach to Analyzing Dependability Features 11:30am- 11:45am P. Amaya, C. González, J. Murillo («MDA») MDA and Separation of Aspects - An Approach based on Multiple Views and Subject Oriented Design 11:45am 12:30pm Organization of Working Groups and Topics 12:30pm- 2:00pm LUNCH

8. Workshop Schedule - Discussion Groups 2:00pm-3:30pm Discussion Session I 3:30pm-4:00pm Break 4:00pm-5:00pm Discussion Session 2 5:00pm-5:30pm Group Summaries

9. Breakout Discussion Groups For 3.5 hours, 3 groups discuss focused issues related to the workshop and report back to all participants The size of each group should be similar To reach consensus on the discussion topic areas:  Each workshop participant will suggest several issues to be discussed and write them on post-it notes  Related issues will be grouped together Each group should have a scribe and presenter (perhaps the same person) Try to stay focused and don’t get sidetracked on peripheral discussions (e.g., spending an hour defining the meaning of a specific word)

10. Summary Heavyweight  M. Tkatchenko, G. Kiczales («Meta-Model Extension») Lightweight  J. Conejero, J. Hernández, R. Rodríguez («Profile»)  G. Zhang, H. Baumeister, N. Koch, A. Knapp («Sub-States») Who cares!  Y. Han, G. Kniesel, A. Cremers («New Meta-Model») Statechart  M. Mahoney, T. Elrad («Event Re-Interpretation») Automated SoC  A. Gokhale, J. Gray («Tool») CoSMIC (C-SAW) Dependability (Property based composition)  R. Reddy, R. France, G. Georg («Dependabilities») Extending MDA Model  P. Amaya, C. González, J. Murillo («MDA»)

11. J. Conejero, J. Hernández, R. Rodríguez («Profile») UML Profile Definition for Dealing with the Notification Aspect in Distributed Environments Use of AOP to support Corba’s notification aspect Event notification is scattered across all corba objects UML profile This separation can be carried at the implementation level 1. Can we cross-cut at the method level and not the class level. For example maybe a subset of the class methods crosscut and the whole.

12. M. Tkatchenko, G. Kiczales («Meta-Model Extension») Uniform Support for Modeling Crosscutting Structure AOSD as a mean for Connecting UML diagrams. Change the uml meta-model to use the JPM Build a cross-by-list to support the cross-cut structure Questions 1. Obliviousness in models

13. Y. Han, G. Kniesel, A. Cremers («New Meta-Model») Towards Visual AspectJ by a Meta Model and Modeling Notation UML with Aspects  Lightweight extensions Weak  Heavyweight extensions Expensive, break tools Proposal  Develop AspectJ metamodel Simple Java Metamodel  A process to get us to a more general solution, but giving the state of the research this approach is believed to be more realistic  Do we design or program first?

14. G. Zhang, H. Baumeister, N. Koch, A. Knapp («Sub-States») Aspect-Oriented Modeling of Access Control in Web Applications UML based web engineering State based

15. M. Mahoney, T. Elrad («Event Re-Interpretation») Modeling Platform Specific Attributes of a System as Crosscutting Concerns using Aspect-Oriented Statecharts and Virtual Finite State Machines Extend statechart model to support crosscutting concerns A framework to weave core and aspect statechart by reinterpreting events

16. A. Gokhale, J. Gray («Tool») An Integrated Aspect-Oriented Model-Driven Development Toolsuite for Distributed Real-Time and Embedded Systems Automated SoC approach

17. R. Reddy, R. France, G. Georg («Dependabilities») An Aspect Oriented Approach to Analyzing Dependability Features

18. G-1 1. UML Extension Mechanisms  Lightweight Profiles (stereotypes, tagged values,..) Simple extensions to UML  Heavyweight Extending UML meta-model  Standardization issues Notation and semantics

19. G-2 2. Lifecycle issues Refactoring Reverse engineering Early aspects Traceability across the life cycle How to model SW architecture with aspects  MDA

20. G3 3. Tools State based modeling Verifications of models Conflict management Visualization of aspects