Proceedings of Symposium on Visual Languages

5-9 Sept. 1995

Filter Results

Displaying Results 1 - 25 of 52
  • Proceedings of Symposium on Visual Languages

    Publication Year: 1995
    Request permission for commercial reuse | |PDF file iconPDF (215 KB)
    Freely Available from IEEE
  • Formalising visual languages

    Publication Year: 1995, Page(s):45 - 52
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1327 KB)

    We propose a formalisation of visual languages which allows a uniform approach to satisfying the needs of pattern recognition, image generation, and visual reasoning faced in visual human-computer communication. Such needs comprise managing the full screen image as seen on the computer display, handling interpretation of icons even when ambiguous, or generating multiple representations to convey o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Invocation polymorphism

    Publication Year: 1995, Page(s):83 - 90
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (637 KB)

    Visual programming by its nature is both more interactive and more conceptual than its textual counterpart. Both of these properties suggest an interactive style wherein the user "sketches" a general specification and the system "refines" this specification by using an intelligent analysis process to fill in the details where possible. A result of this visual interactive style of programming is th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual environment for constraint programming

    Publication Year: 1995, Page(s):118 - 119
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (240 KB)

    Object-oriented abstractions are applied to the classical model of constraint satisfaction problems. The new model is more compact so its visual counterpart is tractable even for complex real-world problems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual programming of fault-tolerant distributed applications

    Publication Year: 1995, Page(s):128 - 130
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (369 KB)

    The design of fault-tolerant distributed applications is a complex task. In addition to application functionalities, the programmer must consider issues related to both replication and distribution for every application component concerned with fault-tolerance. This paper describes an approach which combines two environments (SystemSpecs and GARF) so as to: graphically design applications using hi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Index of Authors

    Publication Year: 1995
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (61 KB)

    Presents an index of the authors whose papers are published in the conference. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • LEGOsheets: a rule-based programming, simulation and manipulation environment for the LEGO Programmable Brick

    Publication Year: 1995, Page(s):172 - 179
    Cited by:  Papers (12)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1320 KB)

    The LEGO Programmable Brick gives children the ability to create physical artifacts, such as vehicles and robots, and program them with interesting behaviors. However, programming is difficult to learn, even for adults. Children often lose interest in further exploration of programming through adult learning mechanisms. Environments that support a gradual transition from manual control of the phys... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Creating database queries by demonstration

    Publication Year: 1995, Page(s):164 - 171
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (688 KB)

    Programming by demonstration (PBD) systems offer the advantage of easy programming. However, they have difficulty in inferring user intent behind user actions, because of the ambiguity of those actions. This paper describes a novel approach “action management” to the inference problem. It is based on an idea that PBD systems are able to properly determine user intent by making users de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Progressive HTTP-based querying of remote databases within the Marmotta iconic VQS

    Publication Year: 1995, Page(s):122 - 125
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (560 KB)

    The Marmotta system described serves as a graphical interface for querying remote databases which have already been provided with a software layer to communicate with the WWW world. It can be used as a convenient alternative to the forms embedded within the WWW clients. Within Marmotta, icons are used to present the domain of interest and the retrieval requests in an original way, and are managed ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal semantics of visual languages using spatial reasoning

    Publication Year: 1995, Page(s):156 - 163
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (664 KB)

    This paper describes a new approach to develop formal semantics of visual languages. The proposed framework relies on a spatial logic for describing qualitative spatial relationships between elements of visual languages and on description logic theory. Visual languages that are ideally suited for this approach should be based on geometrical objects such as points, (directed) lines, and convex regi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A declarative programming environment based on constraints

    Publication Year: 1995, Page(s):120 - 121
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (140 KB)

    We report on the ongoing project to develop a declarative programming environment which is well suited for simulation and planning problems. The idea for this programming environment evolved from experiences with commercial spreadsheets. As often stated in the literature, spreadsheets can be classified as declarative visual languages View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual specification of branching time temporal logic

    Publication Year: 1995, Page(s):61 - 68
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1444 KB)

    Branching time temporal logic is a descriptive language for the specification of ordering relationships characterizing the execution sequencing of time-varying systems. Considerable work has been done around this model, but its acceptance in nonacademic contexts is still hindered by the asperity of its notation. A visual language is presented which overcomes this hurdle by embedding the formal nuc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transforming SDL diagrams into a complete visual representation

    Publication Year: 1995, Page(s):148 - 155
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (880 KB)

    We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sk... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward empirically-based software visualization languages

    Publication Year: 1995, Page(s):342 - 349
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (660 KB)

    Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the system. We hypothesize that the usability of such systems turns on their ability to provide an underlying visualization language that accords with the ways in which their users conceptualize the computations to be visualized.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual interface for querying a CASE repository

    Publication Year: 1995, Page(s):21 - 28
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (676 KB)

    We propose a visual user interface for formulating Boolean queries over a CASE repository. The work is motivated by the successful adoption of the visual query paradigm in the conventional database area. With its graphical query representation system such a query system could ease the user's tasks of formulating database queries when compared with linear textual query representations. We describe ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming by example in computing-as-editing paradigm

    Publication Year: 1995, Page(s):275 - 283
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (632 KB)

    Programming-by-example (PBE) from computation traces is hard to realize because of the difficulty in supporting an interactive environment in which traces can be easily written and edited. In this paper, we propose a new approach to PBE called the computing-as-editing paradigm (CAEP) and describe a PBE system based on this paradigm. The system has a 2D language of constraints for writing computati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Buffering of intermediate results in dataflow diagrams

    Publication Year: 1995, Page(s):187 - 194
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (780 KB)

    Buffering of intermediate results in dataflow diagrams can significantly reduce latency when a user browses these results or re-executes a diagram with slightly different inputs. We define the optimal buffer allocation problem of determining the buffer contents which minimize the average response time to such user requests. We show that this problem has several characteristics which render traditi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A high-level visual language for the graphical description of digital circuits

    Publication Year: 1995, Page(s):77 - 82
    Cited by:  Papers (4)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (452 KB)

    The design of digital circuits has much in common with the design of software structures. Like programming language systems, digital design systems must have expressive power sufficient for representing any circuit. Since specifying complex circuits requires repetitive and conditional structures analogous to iteration, recursion and conditionals in programs, languages for designing complex devices... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving readability of iconic programs with multiple view object representation

    Publication Year: 1995, Page(s):37 - 44
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (856 KB)

    One of the most important advantages of an iconic programming language is its readability. In order to improve the readability of complicated iconic programs with many wire intersections and loops, we introduce a technique called “multiple view object representation”. It means that one program component can be represented as a number of nodes, i.e., it provides layout flexibility. By u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams

    Publication Year: 1995, Page(s):203 - 210
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (884 KB)

    Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfaces, and are frequently application specific. The implementation of editors for diagrams should be supported by a tool and based on a formal model. This paper gives an overview of DiaGen, a generator for diagram editors. An... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ViTABaL: a visual language supporting design by tool abstraction

    Publication Year: 1995, Page(s):53 - 60
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (684 KB)

    We describe a visual language and environment for designing and implementing systems using the tool abstraction paradigm. This paradigm permits systems to be constructed from toolie and abstract data structure components, using an event response mechanism to handle inter-component interaction. This approach leads to systems more easily adapted to functional specification changes than with conventi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework of a visual language with dynamic specification

    Publication Year: 1995, Page(s):140 - 147
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (552 KB)

    The behavior of complex software may be changed depending on the external environment such as user profile, available resources, input data, time, and so on. Design of such dynamic software in conventional languages needs extra effort to keep consistency among behaviors for all states. We propose an object oriented visual language for dynamic software and its visualized specification with dynamics... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design of Anthropocentric Cooperative Visual Environments

    Publication Year: 1995, Page(s):334 - 341
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (732 KB)

    An Anthropocentric Cooperative Visual Environment is designed to improve system performances by empowering the working capabilities of its human users. Its design results in the definition of a system of visual languages adequate for user-system communication. The notion of adequacy is discussed based on the concept of shape abstraction. A procedure for ACVE design is described and its use illustr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constraint-based layout in visual program design

    Publication Year: 1995, Page(s):116 - 117
    Cited by:  Papers (2)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (176 KB)

    Visual program layout and program visualization make a number of useful contributions for all kinds of graphical editing tasks. We describe the constraint-based graphical editor InLay that automatically handles aspects of display layout in visual programming environments. Furthermore, innovative visualization and interaction techniques for dynamic displays can generate new insights and can be seen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual programming for animation in user interfaces

    Publication Year: 1995, Page(s):131 - 132
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (188 KB)

    We present the visual programming features of the HandMove system, which creates independent animated elements to be integrated in user interfaces constructed with a classical interface builder. Its underlying model is based on path-oriented animation, driven by time signals, application values or user input and supports advanced features such as position/attribute constraints and event-based sync... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.