Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.

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?