From multi-modal scenarios to code: Compiling LSCs into aspectJ

Shahar Maoz*, David Harel

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of executing systems based on the latter. Specifically, we show how to compile multi-modal scenario-based specifications, given in the visual language of Live Sequence Charts (LSC), into what we call Scenario Aspects, implemented in AspectJ. Unlike synthesis approaches, which attempt to take the inter-object scenarios and construct intra-object state-based specifications, we follow the ideas behind the LSC play-out algorithm to coordinate the simultaneous monitoring and direct execution of the specified scenarios. We demonstrate our compilation scheme using a small application whose inter-object behaviors are specified using LSCs. Copyright ACM 2006.

Original languageEnglish
Title of host publicationProceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Pages219-230
Number of pages12
DOIs
StatePublished - 2006
Externally publishedYes
Event14th ACM SIGSOFT International Symposium on Foundations of Software Engineering - Portland, OR, United States
Duration: 5 Nov 200611 Nov 2006

Publication series

NameProceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Conference

Conference14th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Country/TerritoryUnited States
CityPortland, OR
Period5/11/0611/11/06

Keywords

  • Aspect oriented programming
  • Code generation
  • Inter-object approach
  • Live sequence charts
  • Scenario-based programming
  • Scenarios
  • UML sequence diagrams
  • Visual formalisms

Fingerprint

Dive into the research topics of 'From multi-modal scenarios to code: Compiling LSCs into aspectJ'. Together they form a unique fingerprint.

Cite this