MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Modeling Aspect-Oriented Compositions Thomas Cottenier - Motorola Labs / Illinois Institute of Technology Aswin van den Berg - Motorola Labs Tzilla Elrad - Illinois Institute of Technology

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Outline Model-Driven Software Development Crosscutting Concerns Aspect-Oriented Software Design Our Objectives for AOSD Our Metamodel for AOSD

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Model-Driven Software Development in Motorola Communicating Real-time Embedded Systems Simulation, Verification, Use-Case Validation (Optimized) Code Generation Software Reuse SDL2000, SDL Statecharts Early fault-detection, Iterative, Agile Telelogic TAU G1/G2, Mousetrap Pluggability, Reuse of legacy code

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Model-Driven Software Development in theory PRODUCT CODE CODE GENERATOR UNIT TEST PRODUCT REQUIREMENTS UKUSARMTR air_in taxi_in taxi_out air_out STANDARD DESIGN NOTATIONS DESIGN SIMULATION MIDDLEWARE, OS, PLATFORM

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Model-Driven Software Development in practice UKUSARMTR air_in taxi_in taxi_out air_out UK Monitoring RMTR air_in taxi_in taxi_out air_out UK Synchro. RMTR air_in taxi_in taxi_out air_out UK Persistency RMTR air_in taxi_in taxi_out air_out UK Real-time RMTR air_in taxi_in taxi_out air_out UK MM RMTR air_in taxi_in taxi_out air_out UK Caching RMTR air_in taxi_in taxi_out air_out UK Security RMTR air_in taxi_in taxi_out air_out

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Crosscutting Concerns Scattering The code for a concern is spread out. Single concern affects multiple modules. Tangling Concern implementations are interleaved in a single module. Crosscutting Concern Concern can not be modularized in the decomposition mechanism of the language. e.g., Logging: Calls to logging component represent about 15% of model size Different Use Cases/Scenarios implementations within a single module CCC follows different composition rules

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Aspect-Oriented Software Design

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Modularization of Crosscutting Concerns CORE REQUIREMENTS UKUSARMTR air_in taxi_in taxi_out air_out CORE MODEL CROSSCUTTING REQUIREMENTS UKUSARMTR air_in taxi_in taxi_out air_out UKUSARMTR air_in taxi_in taxi_out air_out ASPECT MODELS FULL MODEL CONNECTOR

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Simulation and Validation of Modular Units CORE REQUIREMENTS UKUSARMTR air_in taxi_in taxi_out air_out CORE MODEL CROSSCUTTING REQUIREMENTS UKUSARMTR air_in taxi_in taxi_out air_out UKUSARMTR air_in taxi_in taxi_out air_out ASPECT MODELS FULL MODEL CONNECTOR ASPECT MODEL VALIDATION FULL MODEL VALIDATION CODE VALIDATION (TEST-HARNESS) ASPECT MODEL VALIDATION PLATFORM CODE VALIDATION (TEST-HARNESS) CORE MODEL VALIDATION

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Reuse of modular units Aspect Library

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD (Optimized) Code Generation

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Pluggability and Reuse of Legacy Code ?

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Simplicity, Adoptability Software development teams have enough on their minds. It is a challenge to convince teams to use new methodologies/processes. The benefit needs to be crystal clear. The learning curve needs to be low. The adoption threshold should not exist, (gradual adoption).

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Modularization of cross-cutting concerns Simulation and validation of modular units Reuse of modular units (Optimized) Code Generation Pluggability and Reuse of legacy code Simplicity, Adoptability

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD Aspect models should not be core-model specific and, vice versa, Core models should be oblivious to extensions.

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD M M M M M instead of

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD We need to simulate and validate the woven model with the available modeling tools. I.e., no heavy-weight extension with new diagrams

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Objectives for AOSD instead of

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Aspect-Oriented Language Elements join point (JP) model principled points in program execution such as method calls, field accesses, and object constructions means of identifying JPs picking out join points of interest (predicate) pointcuts: set of join points means of specifying behavior at JPs what happens at the points of interest advice declarations

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Aspect-Oriented Language Elements join point (JP) model JPs not visible in the model at design phase means of identifying JPs pointcuts are part of the Connector means of specifying behavior at JPs advice and intertype declarations are parts of the Aspect Bean

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Model Driven Architecture Source Meta Model Transformation Structural Meta Model Target Meta Model <return name="result" type="Boolean“ value=“false”/> <advice name="log_update“ Transformation Behavioral Meta Model Transformation Engine MetaPrograming API Model Strategies PIM PSM What? How? CIM

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD AspectSDL AspectSDL: Model transformation engine for Aspect-Oriented SDL statechart composition JP Meta Model Structural Meta Model of Weaver Target Meta Model <return name="result" type="Boolean“ value=“false”/> <advice name="log_update“ Behavioral Meta Model of Weaver Transformation Engine MetaPrograming API Model Weaving Strategies Aspect Bean Meta Model

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Join Point Metamodel

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Join Points

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Aspect Beans

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Example

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Aspect Connector

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Our Metamodel for AOSD Example <advicedefinition name="log_update“ method="HashMap_Logger::HashMap_Update_Failure" bind-to="hashtable_update" type="after">

MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective owners. © Motorola, Inc Questions?