Visualizing inter-dependencies between scenarios

SOFTVIS 2008 - Proceedings of the 4th ACM Symposium on Software Visualization

Volumn , Issue , 2008, Pages 145-154

  Harel, David ^a   Segall, Itai ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH-BASED VISUALIZATIONS; INTER-DEPENDENCIES; REACTIVE SYSTEMS; SCENARIO-BASED SPECIFICATIONS;

VISUALIZATION;

EID: 63149172728     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1409720.1409744     Document Type: Conference Paper

References (24)

1. ALSPAUGH, T. A., TOMLINSON, B., AND BAUMER, E. 2006. Using social agents to visualize software scenarios. In Proceedings of the 2006 ACM symposium on Software visualization (SoftVis06), ACM, New York, NY, USA, 87-94.
2. ALSPAUGH, T. A. 2005. Temporally Expressive Scenarios in ScenarioML. Tech. Rep. UCI-ISR-05-06, Institute for Software Research, University of California, Irvine.
3. BALMAS, F. 2004. DDFgraph: A Tool for Dynamic Data Flow Graphs Visualization. In 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, IEEE Computer Society, 516.
4. CHUANG, L.-Y., AND YANG, C.-H. 2005. A novel biological pathways tool software. Biomedical Engineering - Applications, Basis & Communications 17, 1, 27-30.
5. DAMM, W., AND HAREL, D. 2001. LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19, 1, 45-80. Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293-312.
6. EVSTIOUGOV-BABAEV, A. A. 2001. Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications. In Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures, Springer, vol. 2269 of Lecture Notes in Computer Science, 337-346.
7. FRUCHTERMAN, T. M. J., AND REINGOLD, E. M. 1991. Graph drawing by force-directed placement. Softw., Pract. Exper. 21, 11, 1129-1164.
8. HAREL, D., AND MAOZ, S. 2008. Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling 7, 2, 237-252. (Preliminary version appeared in Proc. 5th Int. Workshop on Scenarios and State-Machines (SCESM'06), 2006).
9. HAREL, D., AND MARELLY, R. 2003. Come , Let's Play: Scenario-Based Programming Using LSCs and the PlayEngine. Springer-Verlag.
10. HAREL, D. 2003. A grand challenge for computing: Full reactive modeling of a multi-cellular animal. Bulletin of the EATCS, European Association for Theoretical Computer Science, 81, 226-235. (Early version prepared for the UK Workshop on Grand Challenges in Computing Research, November 2002. Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity, Vol I (Paun, Rozenberg and Salomaa, eds.), World Scientific, pp. 559-568, 2004.).
11. HEER, J., CARD, S. K., AND LANDAY, J. A. 2005. prefuse: a toolkit for interactive information visualization. In Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, 421-430.
12. ITU. 1996. International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Tech. rep.
13. JERDING, D. F., STASKO, J. T., AND BALL, T. 1997. Visualizing interactions in program executions. In International Conference on Software Engineering (ICSE 1997), 360-370.
14. JUNKER, B., KLUKAS, C., AND SCHREIBER, F. 2006. VANTED: A system for advanced data analysis and visualization in the context of biological networks. BMC Bioinformatics 7, 109.
15. KAM, N., HAREL, D., KUGLER, H., MARELLY, R., PNUELI, A., HUBBARD, E. J. A., AND STERN, M. J. 2003. Formal modeling of c. elegans development: A scenario-based approach. In Computational Methods in Systems Biology, First International Workshop. CMSB 2003, Roverto, Italy, February 24-26, 2008, Proceedings, 4-20.
16. MAOZ, S., AND HAREL, D. 2006. From multi-modal scenarios to code: compiling LSCs into aspectJ. In Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland. Oregon, USA, November 5-11, 2006, 219-230.
17. MAOZ, S., KLEINBORT, A., AND HAREL, D. 2007. Towards trace visualization and exploration for reactive systems. In 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d' Alene, Idaho, USA, IEEE Computer Society, 153-156.
18. MEROM, R. 2006. Playing together: Distributed collaborative Play-Out of live sequence charts. Master's thesis, Weizmann Institute of Science, Israel.
19. NEWMAN, M. E. J. 2004. Fast algorithm for detecting community structure in networks. Phys. Rev. E 69, 6 (Jun), 066133.
20. PERER, A., AND SHNEIDERMAN, B. 2006. Balancing Systematic and Flexible Exploration of Social Networks. IEEE Transactions on Visualization and Computer Graphics 12, 5, 693-700.
21. REISS, S. P. 2006. Visualizing program execution using user abstractions. In Proceedings of the 2006 ACM symposium on Software visualization (SoftVis06), ACM, New York, NY, USA, 125-134.
22. SIV webpage. http ://www.wisdom.weizmann.ac.il/~itais/research/SIV/index. html.
23. UML. 2005. Unified Modeling Language Superstructure Specification, v2.0. OMG spec., OMG, August. Available from http://www.omg.org.
24. WÜRTHINGER, T., WIMMER, C, AND MÖSSENBÖCK, H. 2008. Visualization of Program Dependence Graphs. In Compiler Construction, 17th International Conference, (CC 2008), Budapest, Hungary, March 29 - April 6, 2008, Springer, vol. 4959 of Lecture Notes in Computer Science, 193-196.