Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre,...
-
Upload
eloise-chapple -
Category
Documents
-
view
217 -
download
0
Transcript of Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre,...
![Page 1: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/1.jpg)
Scenario Based Resolution of Aspect
Interactions with Aspect Interaction Charts
Shubhanan Bakre, Tzilla Elrad
Illinois Institute of Technology
![Page 2: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/2.jpg)
Overview
Goals Background – Live Sequence Charts (LSC)
and Play Engine Motivating example Aspect Interaction Charts Based on LSC and the Play Engine
![Page 3: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/3.jpg)
Goals
Modular specification for aspect interactions
Executable specification
Tools for ease of specification & refinement
![Page 4: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/4.jpg)
Goals …
Synchronization Data/State sharing Access control AspectA AspectBprecedes
AspectA AspectB
AspectA
AspectB
AspectC
AspectD
![Page 5: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/5.jpg)
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
![Page 6: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/6.jpg)
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.
![Page 7: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/7.jpg)
Open Flap – Display Update
![Page 8: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/8.jpg)
Open Flap – Power Control
![Page 9: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/9.jpg)
Open Flap – Display Update with Power Control
![Page 10: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/10.jpg)
Open Flap – Display Update with Security
![Page 11: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/11.jpg)
Open Flap – Network Connection Management
![Page 12: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/12.jpg)
Open Flap – Device Control
![Page 13: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/13.jpg)
Open Flap – What We Want
Power Control Display UpdateSecurity is ON
Network Connection Manager
Device Control Display Update
Security
![Page 14: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/14.jpg)
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
![Page 15: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/15.jpg)
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
![Page 16: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/16.jpg)
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
![Page 17: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/17.jpg)
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
![Page 18: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/18.jpg)
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.
![Page 19: Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.](https://reader035.fdocuments.in/reader035/viewer/2022062712/56649c9c5503460f9495a376/html5/thumbnails/19.jpg)
Questions?