On the power of play-out for scenario-based programs

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

Volumn 5930 LNCS, Issue , 2010, Pages 207-220

  Harel, David ^a   Kantor, Amir ^a   Maoz, Shahar ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

LIVE SEQUENCE CHART; LOOK-AHEAD; OPERATIONAL SEMANTICS;

MODEL CHECKING;

FLOWCHARTING;

EID: 77950130397     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11512-7_13     Document Type: Conference Paper

References (24)

1. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. In: Proc. 22nd Int. Conf. on Soft. Eng. (ICSE 2000), pp. 304-313. ACM Press, New York (2000)
2. Bontemps, Y., Schobbens, P.-Y., Löding, C.: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2), 139-169 (2004)
3. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45-80 (2001);
4. Preliminary version in: Ciancarini, P., Fantechi, A., Gorrieri, R.(eds.) Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293-312. Kluwer Academic Publishers, Dordrecht (1999)
5. Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer 34(1), 53-60 (2001);
6. Also in: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 22-60. Springer, Heidelberg (2000)
7. Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-Modal UML Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 121-124. Springer, Heidelberg (2007)
8. Harel, D., Kugler, H.-J.: Synthesizing State-Based Object Systems from LSC Specifications. In: Yu, S., Pǎun, A. (eds.) CIAA 2000. LNCS, vol. 2088, pp. 1-51. Springer, Heidelberg (2001);
9. Preliminary version appeared as technical report MCS99-20, Weizmann Institute of Science (1999)
10. 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)
11. Harel, D., Kugler, H., Pnueli, A.: Smart Play-Out Extended: Time and Forbidden Elements. In: Proc. 4th Int. Conf. on Quality Software (QSIC 2004), pp. 2-10. IEEE Computer Society, Los Alamitos (2004)
12. Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 309-324. Springer, Heidelberg (2005)
13. Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling (SoSyM) 7(2), 237-252 (2008);
14. Preliminary version appeared in Proc. 5th Int. Workshop on Scenarios and State-Machines (SCESM 2006) at the 28th Int. Conf. on Soft. Eng. (ICSE 2006), pp. 13-19. ACM Press, New York (2006)
15. Harel, D., Marelly, R.: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
16. Harel, D., Marelly, R.: Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach. Software and Systems Modeling (SoSyM) 2(2), 82-107 (2003)
17. Harel, D., Segall, I.: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 485-499. Springer, Heidelberg (2007)
18. ITU. International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Technical report (1996)
19. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Proc. Int.Workshop on Distributed and Parallel Embedded Systems (DIPES 1998), IFIP WG10.3/WG10.5. IFIP Proc., vol. 155, pp. 61-72. Kluwer, Dordrecht (1998)
20. Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In: Young, M., Devanbu, P.T. (eds.) Proc. 14th ACM SIGSOFT Int. Symp. Foundations of Software Engineering (FSE 2006), pp. 219-229. ACM, New York (2006)
21. Sun, J., Dong, J.S.: Synthesis of Distributed Processes from Scenario-Based Specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 415-431. Springer, Heidelberg (2005)
22. Sun, J., Dong, J.S.: Design Synthesis from Interaction and State-Based Specifications. IEEE Transactions on Software Engineering 32(6), 349-364 (2006)
23. Wang, H.H., Qin, S., Sun, J., Dong, J.S.: Realizing Live Sequence Charts in SystemVerilog. In: Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Washington, DC, USA, pp. 379-388. IEEE Computer Society, Los Alamitos (2007)
24. Whittle, J., Kwan, R., Saboo, J.: From Scenarios to Code: an Air Traffic Control Case Study. Software and Systems Modeling (SoSyM) 4(1), 71-93 (2005)