1 / 11

Mark Mahoney Tzilla Elrad AOSD ’05 3/14/2005

Modeling Platform Specific Attributes of a System as Crosscutting Concerns using Aspect-Oriented Statecharts and Virtual Finite State Machines. Mark Mahoney Tzilla Elrad AOSD ’05 3/14/2005. Research Goals.

keiran
Download Presentation

Mark Mahoney Tzilla Elrad AOSD ’05 3/14/2005

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Modeling Platform Specific Attributes of a System as Crosscutting Concerns using Aspect-Oriented Statechartsand Virtual Finite State Machines Mark Mahoney Tzilla Elrad AOSD ’05 3/14/2005

  2. Research Goals Extend current Object-Oriented and Aspect-Oriented modeling techniques to enable higher levels of abstraction and reuse. • Extend statechart semantics to handle crosscutting concerns. • Refine the modeling process to better abstract interactions between different types of concerns.

  3. Modeling Dynamic Intra-Object Behavior with Statecharts Harel’s Statecharts • State- some persisting condition of existence. • Transition- event that causes a new state to be entered. • Action- unit of work to be done on entry/exit or on a transition

  4. Modeling Dynamic Intra-Object Behavior with Statecharts Exclusive-Or vs. And composition • Orthogonal Regions • Broadcast events in a non-deterministic order

  5. Aspect-Oriented Statechart Framework If the core statechart is in State ‘X’ and event ‘y’ is introduced, and if the aspect statechart is in State ‘A’, treat ‘y’ exactly as if it were event ‘b’. The aspect statechart can handle the event before or after the core statechart.

  6. Crosscutting Behavior in the Framework • Weave disparate Statecharts by reinterpreting events from one Statechart to another • Add additional Statecharts without the core being aware by mapping events from the core into the aspect Statechart • Introduce events into the core • Alter event data • Consume events to prevent the core from handling them

  7. Virtual Finite State Machines (VFSM) • Executable VFSM models • Virtual events • Virtual actions • Input and Output processors • Input processors translate real events to virtual events • Output processors react to virtual actions with actual actions • Coupled with particular VFSM’s

  8. Traditional VFSM

  9. Generic Input/Output Statecharts Input Processor Output Processor

  10. Woven Statecharts with Event Reinterpretation

  11. Conclusions Statecharts are an excellent way to model core and crosscutting concerns. Libraries of independent statecharts can be created and later woven into functioning systems in a non-invasive manner. Core concerns and crosscutting concerns can interact concurrently.

More Related