By Topic

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
  • 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.
  • The applicability of the visual programming language LabVIEW to large real-world applications

    Publication Year: 1995, Page(s):99 - 106
    Cited by:  Papers (13)  |  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.
  • A bottom-up approach for visualizing program behavior

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

    Visualization of program execution is generally beneficial for programmers to understand the program. However, there exist only a limited number of visualization systems which can be used for practical applications. The main focus of the traditional visualization systems is on how to make concrete pictures, and they are customized for specific application domains. Therefore, the existing visualiza... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual AWK: a model for text processing by demonstration

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

    Programming-by-demonstration systems often have problems with control structure inference and user-intended generalization. We propose a new solution for these weaknesses based on the concepts of the programming language AWK and present a prototype system for text processing. It utilizes `vertical demonstration', extensive visual feedback and program visualization via spreadsheets to achieve impro... 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 (548 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 st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive recognition of implicit structures in human-organized layouts

    Publication Year: 1995, Page(s):258 - 266
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1508 KB)

    Card-handling using a hypertext editor can be a powerful methodology for the generation of ideas or understanding complex problems. To support such an activity, recognizing the implicit structure in the arrangement of cards would be useful, but, because the structures to be recognized are by nature ambiguous and highly dependent on user-specific perception, it is difficult for a conventional rule-... 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 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.
  • 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.
  • Object-oriented dataflow

    Publication Year: 1995, Page(s):180 - 186
    Cited by:  Papers (8)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    In our efforts to develop an object-oriented visual programming language, the dataflow model of computation is extended from its traditional functional model to an object-oriented model. It is argued that the concept of subroutine in the object-oriented model requires two different types of calling (activation) mechanisms, the synchronous call and the asynchronous call. Asynchronous subroutine cal... 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.
  • Online parsing of visual languages using adjacency grammars

    Publication Year: 1995, Page(s):250 - 257
    Cited by:  Papers (5)
    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.
  • 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.
  • Automatic parallelization of the visual data-flow language Cantata for efficient characterization of analog circuit behavior

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

    The paper presents a new approach to the characterization of analog circuits based on the visual data-flow language Cantata which has been augmented with some application specific functions and control operators. For the reduction of execution time a new data-flow scheduler for a distributed environment is proposed. The scheduler takes information about usable workstations and their performance, p... View full abstract»

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

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

    The paper describes a visualization tool that uses polar coordinates to create a circular shaped layout of large call trees of Strand programs. Due to the enormous amount of processes which are generated during execution of parallel Strand programs, conventional techniques to display call trees are over-charged. Because of this the tool `Polaranimation' was developed and implemented. One of its pr... 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.
  • 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.
  • A graph grammar approach to graphical parsing

    Publication Year: 1995, Page(s):195 - 202
    Cited by:  Papers (16)
    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.
  • Integrating algorithm animation into a declarative visual programming language

    Publication Year: 1995, Page(s):126 - 127
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (216 KB)

    Until now, only users of textual programming languages have enjoyed the fruits of algorithm animation. Users of visual programming languages (VPLs) have been deprived of the unique semantic insights algorithm animation offers. To begin solving this shortcoming, we have seamlessly integrated algorithm animation capabilities into the VPL Forms/3. Our research shows how a declarative VPL that is resp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic construction of user interfaces from constraint multiset grammars

    Publication Year: 1995, Page(s):242 - 249
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    Describes tools which automatically generate a sophisticated user interface from a constraint multiset grammar specification of a visual language. The user interface allows the user to construct diagrams in the visual language from primitive tokens such as text, lines, rectangles or circles. These tokens are incrementally parsed into sub-diagrams. During parsing, automatic error correction removes... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bending the rules: steps toward semantically enriched graphical rewrite rules

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

    Graphical rewrite rules, as a form of end user programming, suffer from their implicit underlying model. Interpretation of rewrite rules limited to syntactic properties makes it laborious for end users to define non-trivial behavior. Semantically enriched graphical rewrite rules have increased expressiveness resulting in a significantly reduced number of rewrite rules. This reduction is essential ... View full abstract»

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

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

    A visual programming facility is described which is based on a visual rule formalism. It permits programmers to specify the behaviors of agents in the class of program objects in the Agentsheets system of Repenning. The resulting agents can be used in designing simulations for two-dimensional cellular worlds such as in automobile traffic flow situations, video games, and cellular automata studies.... 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.
  • 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.