scenario based resolution of aspect interactions with aspect interaction charts shubhanan bakre,...
TRANSCRIPT
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 AspectBprecedes
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 – Display Update
Open Flap – Power Control
Open Flap – Display Update with Power Control
Open Flap – Display Update with Security
Open Flap – Network Connection Management
Open Flap – Device Control
Open Flap – What We Want
Power Control Display UpdateSecurity is ON
Network Connection Manager
Device Control Display Update
Security
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
Open Flap – Aspect Interaction Chart Solution
SECURITYASPECT
LSCFLAP
open
Cell Phone Open Flap AIC
USERDeviceControlAspect
LSC
NetworkManageme
nt LSC
PowerController
LSC
DisplayUpdate
go
go
SYNC
go
go
go
Security = ONgo
SYNC
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.
Questions?