Tools for constraint visualisation: The VIFID/TRIFID tool

Visualisation of program executions has been used in applications which include education and debugging. However, traditional visualisation techniques often fall short of expectations or are altogether inadequate for new programming paradigms, such as Constraint Logic Programming (CLP), whose declarative and operational semantics differ in some crucial ways from those of other paradigms. In particular, traditional ideas regarding the behaviour of data often cannot be lifted in a straightforward way to (C)LP from other families of programming languages. In this chapter we discuss techniques for visualising data evolution in CLP. We briefly review some previously proposed visualisation paradigms, and also propose a number of (to our knowledge) novel ones. The graphical representations have been chosen based on the perceived needs of a programmer trying to analyse the behaviour and characteristics of an execution. In particular, we concentrate on the representation of the run-time values of the variables, and the constraints among them. Given our interest in visualising large executions, we also pay attention to abstraction techniques, i.e., techniques which are intended to help in reducing the complexity of the visual information.

Explora: A Visualisation Tool for Metric Analysis of Software Corpora

When analysing software metrics, users find that visualisation tools lack support for (1) the detection of patterns within metrics; and (2) enabling analysis of software corpora. In this paper we present Explora, a visualisation tool designed for the simultaneous analysis of multiple metrics of systems in software corpora. Explora incorporates a novel lightweight visualisation technique called PolyGrid that promotes the detection of graphical patterns. We present an example where we analyse the relation of subtype polymorphism with inheritance and invocation in corpora of Smalltalk and Java systems and find that (1) subtype polymorphism is more likely to be found in large hierarchies; (2) as class hierarchies grow horizontally, they also do so vertically; and (3) in polymorphic hierarchies the length of the name of the classes is orthogonal to the cardinality of the call sites.

Visualisation of macropinosome maturation by the recruitment of sorting nexins

We report that phosphoinositol-binding sorting nexin 5 ( SNX5) associates with newly formed macropinosomes induced by EGF stimulation. We used the recruitment of GFP-SNX5 to macropinosomes to track their maturation. Initially, GFP-SNX5 is sequestered to discrete subdomains of the macropinosome; these subdomains are subsequently incorporated into highly dynamic, often branched, tubular structures. Time-lapse videomicroscopy revealed the highly dynamic extension of SNX5-labelled tubules and their departure from the macropinosome body to follow predefined paths towards the perinuclear region of the cell, before fusing with early endosomal acceptor membranes. The extension and departure of these tubular structures occurs rapidly over 5-10 minutes and is dependent upon intact microtubules. As the tubular structures depart from the macropinosome there is a reduction in the surface area and an increase in tension of the limiting membrane of the macropinosome. In addition to the recruitment of SNX5 to the macropinosome, Rab5, SNX1 and EEA1 are also recruited by newly formed macropinosomes, followed by the accumulation of Rab7. SNX5 forms heterodimers with SNX1 and this interaction is required for endosome association of SNX5. We propose that the departure of SNX5-positive tubules represents a rapid mechanism of recycling components from macropinosomes thereby promoting their maturation into Rab7-positive structures. Collectively these findings provide a detailed real-time characterisation of the maturation process of the macropinocytic endosome.

3D information visualisation: An historical perspective

The use of 3D visualisation of digital information is a recent phenomenon. It relies on users understanding 3D perspectival spaces. Questions about the universal access of such spaces has been debated since its inception in the European Renaissance. Perspective has since become a strong cultural influence in Western visual communication. Perspective imaging assists the process of experimenting by the sketching or modelling of ideas. In particular, the recent 3D modelling of an essentially non-dimensional Cyber-space raises questions of how we think about information in general. While alternate methods clearly exist they are rarely explored within the 3D paradigm (such as Chinese isometry). This paper seeks to generate further discussion on the historical background of perspective and its role in underpinning this emergent field. © 2005 IEEE.

Database and narratological representation of Australian Aboriginal knowledge as information visualisation using a game engine

Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimensional database served in a 3D game environment. Preliminary results indicate it is a particularly efficient method for the types of contextualised narratives used by Australian Aboriginal peoples to tell their stories about their traditional landscapes and knowledge practices. We discuss the development of a tool that complements rather than supplants direct experience of these traditional knowledge practices.