PlayGo: Towards a comprehensive tool for scenario based programming

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 359-360

  Harel, David ^a   Maoz, Shahar ^b   Szekely, Smadar ^a   Barkan, Daniel ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

IDE; Live sequence charts; Reactive systems; Scenario based programming

Indexed keywords

ASPECT-J; IDE; LIVE SEQUENCE CHART; REACTIVE SYSTEM; SCENARIO-BASED PROGRAMMING;

INTEGRODIFFERENTIAL EQUATIONS; SOFTWARE ENGINEERING;

FLOWCHARTING;

EID: 78649797238     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859075     Document Type: Conference Paper

References (14)

1. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. J. on Formal Methods in System Design, 19(1):45-80, 2001.
2. M. Gordon and D. Harel. Generating executable scenarios from natural language. In CICLing, 2009.
3. D. Harel. Can programming be liberated, period? IEEE Computer, 41(1):28-37, 2008.
4. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Computer Science, 13(1):5-51, 2002.
5. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart play-out of behavioral requirements. In FMCAD, 2002.
6. D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling (SoSyM), 7(2):237-252, 2008.
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, A. Marron, and G. Weiss. Programming coordinated scenarios in Java. In ECOOP, 2010.
9. D. Harel and I. Segall. Planned and traversable play-out: A exible method for executing scenario-based programs. In TACAS, 2007.
10. S. Maoz. Model-based traces. In MoDELS 2008 Workshops, 2009.
11. S. Maoz and D. Harel. From multi-modal scenarios to code: Compiling LSCs into AspectJ. In ACM SIGSOFT FSE, 2006.
12. S. Maoz and D. Harel. On tracing reactive systems. Software and Systems Modeling (SoSyM), 2010. DOI:10.1007/s10270-010-0151-2.
13. Eclipse UML2Tools. http://www.eclipse.org/modeling/mdt/?project= uml2tools.
14. Google Web Toolkit. http://code.google.com/webtoolkit/.