190 likes | 312 Views
Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts. Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology. Overview. Goals Background – Live Sequence Charts (LSC) and Play Engine Motivating example Aspect Interaction Charts
E N D
Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology
Overview • Goals • Background – Live Sequence Charts (LSC) and Play Engine • Motivating example • Aspect Interaction Charts • Based on LSC and the Play Engine
Goals • Modular specification for aspect interactions • Executable specification • Tools for ease of specification & refinement
Goals … • Synchronization • Data/State sharing • Access control AspectA AspectB precedes AspectA AspectB AspectA AspectB AspectC AspectD
Live Sequence Charts & the Play Engine • Pre chart, main chart, messages, conditions, sub charts … • Play Engine - Play in, play out • UML Sequence diagrams Vs LSC • Aspect scenarios using LSC
Motivating Example • The user opens the flap of the cell phone. The system checks if enough battery power is available. If the keypad is locked, the display shows the unlock screen. The system communicates with the base station in order to establish a network in case a call is being received. Depending upon the context, speakers/mic or both are turned on. The display is updated according to the context.
Open Flap – What We Want Power Control Display Update Security Security is ON Network Connection Manager Device Control Display Update
Aspect Interaction Charts (AIC) • Higher level abstraction • Adopts LSC constructs like pre chart, main chart, message, condition, forbidden section & elements. • LSC instances • ‘before’ message event LSC Instance
AIC – Foreseeable Benefits • Modularizes aspect interactions • Improves modularity of the aspect specification LSC & Play Engine enables • Tool support for specification • Execution of the model • Possibility of translating model into platform specific model • Rich language constructs
AIC – Challenges • Adoption under UML standard • Language constructs for specifying state sharing between aspects • Language constructs for specifying access control for aspects at join points
References – LSC & Play Engine • D. Harel and R. Marelly. Come, Let’s Play: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer-Verlag, 2003.