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.
  • A visual programming environment for distributed systems

    Publication Year: 1995, Page(s):310 - 317
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    Due to the lack of a uniform specification framework for different software packages on heterogeneous processors, it is difficult for a user to program distributed systems using the existing resources. This paper presents a visual programming environment called PEDS (Programming Environment for Distributed Systems) for programming parallel and distributed systems. As a visual language, PEDS is a h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Navigation and visualization of movies content

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

    The description and manipulation of the information embedded in video data is the key challenge for future multimedia technologies. The multilevel messages conveyed by time-varying visual data can be suitably handled only when a structured conceptual schema is built, which takes into account the multiple links among different elements of visual speech. In the paper a new schema for film data is in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • In search of a simple visual vocabulary

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

    Visual languages are more complex than we would like. We introduce a small but powerful visual vocabulary for a visual programming environment that is simple, yet expressive enough to represent the structure of programs and program executions. This vocabulary is not based on any existing textual language. It was designed for the purpose of visually representing and understanding programs and their... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The use of semantic constraints on diagram editors

    Publication Year: 1995, Page(s):211 - 216
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB)

    Current software tools supporting diagramming notations are not satisfactory. Editors for diagramming notations such as state transition networks, Petri nets or the entity-relationship data model, are always confronted with a problem: how much guidance should be given to the user throughout the editing task? Not enough guidance allows the diagram to evolve to nonplausible configurations and may pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming with visual expressions

    Publication Year: 1995, Page(s):294 - 301
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    The lambda calculus is a formal symbolic term rewriting system that has been used for many years both as a mechanism for defining the semantics of programming languages and as the basis for functional programming languages. In this paper, we describe a completely visual representation for lambda expressions, VEX (Visual EXpressions), that has several advantages over traditional textual lambda calc... 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.
  • 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.
  • Pictures that Show us the Way: Geographic Information Systems and Visual Languages

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

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A graph grammar approach to graphical parsing

    Publication Year: 1995, Page(s):195 - 202
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    We present a new graph grammar based approach for defining the syntax of visual languages and for generating visual language parsers. Its main advantage-in comparison to other visual language parsing approaches-is its ability to handle context-sensitive productions which may replace more than one non-terminal at the same time and which may contain very complex context requirements. Its implementat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HI-VISUAL as a user-customizable visual programming environment

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

    Many visual programming languages and environments designed for non-experts have been proposed in recent years. However, most systems lack the ability for users to integrate applications required in their line of work into the system, and the ability to create meaningful data structures that facilitate the organizing and processing of their tasks. The paper describes extensions to the HI-VISUAL ic... 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.
  • Display-based problems in spreadsheets: a critical incident and a design remedy

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

    A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unable to devise a solution. The incident is first scrutinized to explicate the reasons for the failure. Then, a new method for progressional computation on tabular displays is described and reviewed for usability. The method ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual programming with graph rewriting systems

    Publication Year: 1995, Page(s):326 - 333
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (928 KB)

    The multi-paradigm language PROGRES is the first rule-oriented visual language which has a well-defined type concept and supports programming with graph rewriting systems. To some extent, it has the flavor of a visual database programming language with powerful pattern matching and replacing facilities as well as backtracking capabilities. Until now, it was mainly used for specifying and rapid pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a visual programming environment generator for algebraic specifications

    Publication Year: 1995, Page(s):234 - 241
    Cited by:  Papers (7)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    In the visual languages community there has been a growing consensus that visual languages will be most successful in the case of special purpose languages. Furthermore, their success will largely depend on the programming environment which is provided for them. Programming environment generators, generate programming environments for formally specified languages. We discuss specification of visua... 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.
  • 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.
  • Online parsing of visual languages using adjacency grammars

    Publication Year: 1995, Page(s):250 - 257
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    Visual computing environments continue to grow in importance, yet fast, general parsing algorithms for visual languages remain elusive. In this paper, we present an incremental parsing algorithm for a broad class of visual languages which do not contain overlapping elements. Our algorithm is based on the concept of adjacency grammars, where adjacencies are defined so as to encompass both spatial a... 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.
  • The applicability of the visual programming language LabVIEW to large real-world applications

    Publication Year: 1995, Page(s):99 - 106
    Cited by:  Papers (14)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (996 KB)

    Graphical programming languages allow a natural, intuitive man-machine interaction. As a result, graphical programming has gained much popularity over the past several years, primarily because many scientists and engineers have experienced improvements in programming efficiency due to the natural understandability of graphical programming tools. In general, however, there is a perception that the ... View full abstract»

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