Semantic navigation strategies for scenario-based programming

Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010

Volumn , Issue , 2010, Pages 219-226

  Gordon, Michal ^a   Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Live sequence charts; Program comprehension; Program navigation; Semantic zoom; Sequence diagrams

Indexed keywords

LIVE SEQUENCE CHART; PROGRAM COMPREHENSION; PROGRAM NAVIGATION; SEMANTIC ZOOM; SEQUENCE DIAGRAMS;

COMPUTER PROGRAMMING; FLOWCHARTING; MATHEMATICAL MODELS; NAVIGATION CHARTS; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

GRAPHIC METHODS;

EID: 79952061750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2010.38     Document Type: Conference Paper

References (17)

1. D. Harel and R. Marelly, Come, Let s Play: Scenario-Based Programming Using LSC s and the Play-Engine. Springer-Verlag, 2003.
2. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts," Formal Methods in System Design, vol. 19, no. 1, pp. 45-80, 2001. [Online]. Available: citeseer.ist.psu.edu/damm01lscs.html
3. ITU: International Telecommunication Union, "Recommendation Z.120: Message Sequence Chart (MSC)," Technical report, 1996.
4. UML, "Unified Modeling Language Superstructure, v2.1.1," Object Management Group, Tech. Rep. formal/2007-02-03, 2007.
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 Computer-Aided Design (FMCAD 02). Springer-Verlag, 2002, pp. 378-398.
6. D. Harel and I. Segall, "Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs," in Proc. 13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 07), 2007, pp. 485-499.
7. R. Sharp and A. Rountev, "Interactive exploration of uml sequence diagrams," in Proc. of the 3rd IEEE international Workshop on Visualizing Software For Understanding and Analysis (VISSOFT 05), 2005.
8. M. Frisch, R. Dachselt, and T. Brückmann, "Towards seamless semantic zooming techniques for uml diagrams," in Proc. of the 4th ACM symposium on Software visualization (SoftVis 08), 2008, pp. 207-208.
9. Y. Atir, D. Harel, A. Kleinbort, and S. Maoz, "Object composition in scenario-based programming," in Proc. Fundamental Approaches to Software Engineering, 11th International Conference, (FASE 08), 2008, pp. 301-316.
10. D. Lo and S. Maoz, "Mining hierarchical scenario-based specifications," in 24th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE 09), 2009.
11. S. Pook, E. Lecolinet, G. Vaysseix, and E. Barillot, "Context and interaction in zoomable user interfaces," in Proc. of the working conference on Advanced visual interfaces (AVI 00), 2000, pp. 227-231.
12. G. W. Furnas, "Generalized fisheye views," SIGCHI Bull., vol. 17, no. 4, pp. 16-23, 1986.
13. A. Egyed, "Semantic abstraction rules for class diagrams," in Proc. of the 15th IEEE International Conference of Automated Software Engineering (ASE 00), 2000, pp. 301-304.
14. T. Reinhard, S. Meier, R. Stoiber, C. Cramer, and M. Glinz, "Tool support for the navigation in graphical models," in Proc. of the 30th international conference on Software engineering (ICSE 08), 2008, pp. 823-826.
15. J. I. Maletic and A. Marcus, "Supporting program comprehension using semantic and structural information," in Proc. of the 23rd International Conference on Software Engineering (ICSE 01), 2001, pp. 103-112.
16. M.-A. Storey, L.-T. Cheng, I. Bull, and P. Rigby, "Waypointing and social tagging to support program navigation," in Extended abstracts on Human factors in computing systems (CHI 06), 2006, pp. 1367-1372.
17. D. Harel and I. Segall, "Visualizing inter-dependencies between scenarios," in Proc. ACM Symposium on Software Visualization (SOFTVIS 08), 2008, pp. 145-153.