S2A: A compiler for multi-modal UML sequence diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4422 LNCS, Issue , 2007, Pages 121-124

  Harel, David ^a   Kleinbort, Asaf ^a   Maoz, Shahar ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

LIVE SEQUENCE CHARTS (LSC); MODAL UML SEQUENCE DIAGRAMS (MSD);

COMPUTER PROGRAMMING LANGUAGES;

EID: 37149033852     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71289-3_11     Document Type: Conference Paper

References (15)

1. C. Allan, P. Avgustinov, A. S. Christensen, L. J. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Adding trace matching with free variables to aspectj. In Proc. 20th Conf. on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA '05), pages 345-364, 2005.
2. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
3. D. Harel. From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer, 34(1):53-60, 2001.
4. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Comp. Science (IJFCS), 13(1):5-51, Feb. 2002.
5. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart Play-Out of Behavioral Requirements. In Proc. 4th Int. Conf. on Formal Methods in Comp.-Aided Design (FMCAD'02), Portland, Or., volume 2517 of LNCS, pages 378-398, 2002.
6. D. Harel and S. Maoz. 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.
7. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
8. D. Harel and R. Marelly. Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling, 2(2):82-107, 2003.
9. ITU. International Telecommunication Union Recommendation Z. 120: Message Sequence Charts. Technical report, 1996.
10. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to Statecharts. In F. J. Rammig, editor, DIPES, volume 155 of IFIP Proc., pages 61-72. Kluwer, 1998.
11. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps. Temporal Logic for Scenario-Based Specifications. In N. Halbwachs and L. D. Zuck, editors, TACAS, volume 3440 of LNCS, pages 445-460. Springer, 2005.
12. M. Lettrari and J. Klose. Scenario-based monitoring and testing of real-time UML models. In Proc. 4th Int. Conf. on The UML, Toronto, October 2001.
13. S. Maoz and D. Harel. From Multi-Modal Scenarios to Code: Compiling LSCs into Aspect J. In Proc. 14th Int. Symp. Foundations of Software Engineering (FSE-14), Portland, Oregon, November 2006.
14. UML. Unified Modeling Language Superstructure Spec, v2.0. OMG, August 2005.
15. J. Whittle, R. Kwan, and J. Saboo. From scenarios to code: An air traffic control case study. Software, and System Modeling, 4(1):71-93, 2005.