S2A: A Compiler for Multi-modal UML Sequence Diagrams

  • David Harel
  • Asaf Kleinbort
  • Shahar Maoz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4422)


We report on S2A, a compiler that translates Modal UML Sequence Diagrams (MSDs), a UML-compliant version of Live Sequence Charts (LSCs), into AspectJ code. It thus provides full code generation of reactive behavior from visual inter-object scenario-based specifications. The S2A compiler is based on a compilation scheme presented by Maoz and Harel in [13].


Sequence Diagram Execution Mode Compilation Scheme Behavioral Requirement Live Sequence Chart 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: Proc. 20th Conf. on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA’05), San Diego, CA, USA, pp. 345–364 (2005), doi:10.1145/1094811.1094839Google Scholar
  2. 2.
    Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)zbMATHCrossRefGoogle Scholar
  3. 3.
    Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer 34(1), 53–60 (2001)MathSciNetGoogle Scholar
  4. 4.
    Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Comp. Science (IJFCS) 13(1), 5–51 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart Play-Out of Behavioral Requirements. In: Aagaard, M.D., O’Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 378–398. Springer, Heidelberg (2002)Google Scholar
  6. 6.
    Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. In: Proc. 5th Int. Workshop on Scenarios and State-Machines (SCESM’06) at the 28th Int. Conf. on Soft. Eng (ICSE’06), Shanghai (2006)Google Scholar
  7. 7.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  8. 8.
    Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling 2(2), 82–107 (2003)CrossRefGoogle Scholar
  9. 9.
    ITU. International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Technical report (1996)Google Scholar
  10. 10.
    Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: DIPES. IFIP Proc., vol. 155, pp. 61–72. Kluwer, Dordrecht (1998)Google Scholar
  11. 11.
    Kugler, H.-J., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal Logic for Scenario-Based Specifications. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 445–460. Springer, Heidelberg (2005)Google Scholar
  12. 12.
    Lettrari, M., Klose, J.: Scenario-Based Monitoring and Testing of Real-Time UML Models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 317–328. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  13. 13.
    Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In: Proc. 14th Int. Symp. Foundations of Software Engineering (FSE-14), Portland, Oregon (November 2006)Google Scholar
  14. 14.
    UML. Unified Modeling Language Superstructure Spec., v2.0. OMG (August 2005)Google Scholar
  15. 15.
    Whittle, J., Kwan, R., Saboo, J.: From scenarios to code: An air traffic control case study. Software and System Modeling 4(1), 71–93 (2005)CrossRefGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • David Harel
    • 1
  • Asaf Kleinbort
    • 1
  • Shahar Maoz
    • 1
  1. 1.The Weizmann Institute of Science 

Personalised recommendations