Mariano Consens
ABSTRACT
Software engineering problems often involve large sets of objects and complex relationships among them. This report proposes that graphical visualization techniques can help engineers understand and solve a class of these problems. To illustrate this, two problems are analyzed and recast using the graphical language GraphLog. The first problem is that of simplifying dependencies among components of a system, which translates into removing cycles from a graph. The second problem is that of designing an efficient code overlay structure, which is facilitated in several ways through graphical techniques.
- Belanger, D. G., Brachman, R. J., Chen, Y., Devanbu, P. T., and Selfridge, P. G. Toward a Software Information System. AT&T Technical Journal, pages 22--41, March/April 1990.Google Scholar
- Bernstein, P. A. Database System Support for Software Engineering. Proc. of the Int. Conf. on Software Engineering, pages 161--178, 1987. Google ScholarDigital Library
- Breuker, H., Drevermann, H., Grab, C., Rademakers, A. A., and Stone, H. Tracking and Imaging Elementary Particles. Scientific American, 265(2):58--63, August 1991.Google Scholar
- Brooks, F. No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer, pages 10--19, April 1987. Google ScholarDigital Library
- Burns, L., Archibald, J., and Malhotra, A. A Graphical Entity-Relationship Database Browser, in Bruce D. Shriver, editor, Proc. of the 21st Annual Hawaii Int. Conf. on System Sciences, 11:694--704, 1988. Google ScholarDigital Library
- Caplinger, M. Graphical Database Browsing. SIGOIS Bulletin, 7(2--3): 113--121, Summer-Fall 1986. Google ScholarDigital Library
- Card, S. K., Robertson, G. G., and Mackinlay, J. D. The Information Visualizer: An Information Workspace. Proc. of CHI '91: Reaching Through Technology, pages 181--188, 1991. Google ScholarDigital Library
- Chen, P. P. The Entity-Relationship Model - Toward a Unified View of Data. in John Mylopoulos and Michael L. Brodie, editor, Readings in Artificial Intelligence and Databases, pages 98--111, Morgan Kaufmann, 1988.Google Scholar
- Clarkson, M. A. An Easier Interface. Byte, pages 277--282, February 1991. Google ScholarDigital Library
- Consens, M. GraphLog: "Real Life" Recursive Queries Using Graphs MSc Thesis, Department of Computer Science, University of Toronto, 1989.Google Scholar
- Consens, M., Knight, C., and Mendelzon, A. The Architecture of the G+/GraphLog Visual Query System, IBM, TR 74.054, April 1991.Google Scholar
- Consens, M., and Mendelzon, A. Expressing Structural Hypertext Queries in GraphLog. Proc. of the 2nd ACM Conf. on Hypertext, pages 269--292, Pittsburgh, November 1989. Google ScholarDigital Library
- Consens, M., and Mendelzon, A. Low Complexity Aggregation in GraphLog and Datalog. Proc. of the 3rd Int. Conf. on Database Theory, pages 379--394, 1990. Google ScholarDigital Library
- Consens, M., and Mendelzon, A. GraphLog: A Visual Formalism for Real Life Recursion. Proc. 9th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 404--416, 1990. Google ScholarDigital Library
- Consens, M., and Mendelzon, A. The G+/GraphLog Visual Query System SIGMOD Video Tape, 1990.Google Scholar
- Constantopoulos, P., Theodoridou, M., and Fugini, M. The ITHACA Selection Tool, ITHACA Project, ITHACA. POLIMI-FORTH. 89.E3.5.#1, May 1989.Google Scholar
- Czejdo, B., Elmasri, R., Rusinkiewicz, M., and Embley, D. W. A Graphical Data Manipulation Language for an Extended Entity-Relationship Model. Computer, 23(3):26--36, 1990. Google ScholarDigital Library
- Devanbu, P., Brachman, R. J., Selfridge, P. G., and Ballard, B. W. LaSSIE: A Knowledge-Based Software Information System. Communications of the ACM, 34(5):34--49, May 1991. Google ScholarDigital Library
- Fairchild, K. M., Poltrock, S. E., and Furnas, G. W. SemNet: Three-Dimensional Graphic Representations of Large Knowledge Bases. in Raymonde Guidon, editor, Cognitive Science and its Applications for Human-Computer Interaction, pages 201--233, Lawrence Erlbaum Associates, 1988.Google Scholar
- Fukar, M. Translating GraphLog into Prolog MSc Thesis, Department of Computer Science, University of Toronto, 1991.Google Scholar
- Furnas, G. W. Generalized Fisheye Views. Proc. of CHI '86: Human Factors in Computing Systems, pages 16--23, 1986.Google ScholarDigital Library
- Gibbs, S., Tsichritzis, D., Casais, E., Nierstrasz, O., and Pintado, X. Class Management for Software Communities. Communications of the ACM, 33(9):90--103, September 1990. Google ScholarDigital Library
- Harel, D. On Visual Formalisms. Communications of the ACM, 31(5):514--530, May 1988. Google ScholarDigital Library
- Mackinlay, J. D., Robertson, G. G., and Card, S. K. The Perspective Wall: Detail and Context Smoothly Integrated. Proc. of CHI '91: Reaching Through Technology, pages 173--179, 1991. Google ScholarDigital Library
- Mendelzon, A. O., and Wood, P. T. Functional Dependencies in Horn Clause Queries. ACM Transactions on Database Systems, 16(1):31--55, March 1991. Google ScholarDigital Library
- Mercurio, V., Meyers, B., Nisbet, A., and Radin, G. AD/Cycle Strategy and Architecture. IBM Systems Journal, 29(2): 170--188, 1990. Google ScholarDigital Library
- Muller, H. A. Verifying Software Quality Criteria Using an Interactive Graph Editor, University of Victoria, DCS-139-IR, August 1990.Google Scholar
- Robertson, G. G., Mackinlay, J. D., and Card, S. K. Cone Trees: Animated 3D Visualizations of Hierarchical Information. Proc. of CHI '91: Reaching Through Technology, pages 189--194, 1991. Google ScholarDigital Library
- Ryman, A. The Theory-Model Paradigm in Software Design, IBM, TR 74.048, October 1989.Google Scholar
- Ryman, A. Logical Annotation of Technical Documents. IBM Technical Disclosure Bulletin, 33(2):456--457, July 1990.Google Scholar
- Ryman, A. Personal Systems Image Application Architecture: Lessons Learned from the ImagEdit Program. IBM Systems Journal, 29(3):408--420, 1990. Google ScholarDigital Library
- Ryman, A. ImagEdit V2.0: Desktop Publishing Image Application, Design Notebook, Revision P.1 Final Programming Logic Specifications, 1990.Google Scholar
- Ryman, A. Code Overlay Design and Analysis Using Prolog, IBM, TR 74.052, April 1991.Google Scholar
- van Lamsweerde, A., Delcourt, B., Delor, E., Schayes, M., and Champagne, R. Generic Lifecycle Support in the ALMA Environment. IEEE Transactions on Software Engineering, 14(6), June 1988. Google ScholarDigital Library
- Yao, P. Tuning the Performance of Windows and OS/2 Programs with MicroQuill's Segmentor. Microsoft Systems Journal, 6(2):49--55, March 1991.Google Scholar
Index Terms
- Visualizing and querying software structures
Recommendations
Visualizing and querying software structures
CASCON '91: Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative researchSoftware engineering problems often involve large sets of objects and complex relationships among them. This report proposes that graphical visualization techniques can help engineers understand and solve a class of these problems. To illustrate this, ...
Visualizing Software Structures through Enhanced Interactive Sunburst Layout
AVI '16: Proceedings of the International Working Conference on Advanced Visual InterfacesVisualizing large software system structure in compact representations would help software architects and analysts in understanding the overall software structure accurately and efficiently. Space-filling techniques (e.g., Sunburst or Tree-map) are ...
Declaratively querying and visualizing knowledge bases in XML
INAP'04/WLP'04: Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic ProgrammingThe maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be supported by appropriate visualizations techniques, e.g. by illustrating dependencies ...
Comments