Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

5-7 Sept. 2001

Filter Results

Displaying Results 1 - 25 of 73
  • Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

    Publication Year: 2001
    Request permission for commercial reuse | PDF file iconPDF (239 KB)
    Freely Available from IEEE
  • Visual languages for spatio-temporal applications

    Publication Year: 2001
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (35 KB) | HTML iconHTML

    Summary form only given. For spatio-temporal applications which are very 2D- or 3D-oriented, visual languages look more attractive than alphanumeric languages. In this paper, an overview is given to the evolution and characteristics of visual languages for those applications, overall for accessing and manipulation information. Examples are taken especially from urban and environmental planning. View full abstract»

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

    Publication Year: 2001, Page(s):412 - 413
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • Visual hypermedia authoring

    Publication Year: 2001, Page(s):392 - 393
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (239 KB) | HTML iconHTML

    This work proposes a visual grammar-based approach to support web designers during the analysis and design phases of complex hypermedia structures. The hypermedia is defined through a formal visual language at two abstraction levels: the hypermedia graph outer and inner structures. The model makes it possible to verify the correctness of hypermedia structures and to perform structural analysis for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards the conceptions of visualization language and visualization metaphor

    Publication Year: 2001, Page(s):390 - 391
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (236 KB) | HTML iconHTML

    In this article the conceptions of visualization language and visualization metaphor are suggested. The structure of a metaphor and the some conceptions linked with visualization languages are considered. The approaches to evaluating of visualization systems based on the adequacy in visualization are suggested View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A system for rapid prototyping of visual language environments

    Publication Year: 2001, Page(s):382 - 389
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB) | HTML iconHTML

    The paper describes a visual environment generator, the VLPEG system, based on the Symbol Relation Grammar model. The system exploits a classification of visual languages in terms of graphical symbols and the relationships among them. For each class a lexical analyzer is able to interpret the physical layout of any drawn visual sentence and to provide a corresponding high level representation. Tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An algorithm for stereotype deduction in UML-based formalism and its application in geographic information systems

    Publication Year: 2001, Page(s):296 - 303
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (502 KB) | HTML iconHTML

    Stereotypes provide a mechanism for extending the vocabulary of the UML. Present UML-based formalisms for geographic information system use the concept of visual stereotypes in order to represent geographic types. This paper extends the expressiveness of stereotypes currently defined for geographic types and describes an algorithm for the computation of visual stereotypes resulting from aggregatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualization/animation of programs based on abstract representations and formal mappings

    Publication Year: 2001, Page(s):373 - 381
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB) | HTML iconHTML

    In the context of Alma (a system for program visualization and algorithm animation), we use an internal representation - based on the concept of an attributed abstract syntax tree decorated with attribute values, a DAST - to associate (static) figures to grammar rules (productions) and to step over program dynamics executing state changes in order to perform its animation. We do not rely upon any ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal study of a visual language for the visualization of document type definition

    Publication Year: 2001, Page(s):52 - 59
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (505 KB) | HTML iconHTML

    This formal study proposes a transformational approach to the definition of general purpose visual languages based on hierarchical structures, addressing more specifically DTD visualization as its application area. We show that such visual languages can be constructed through progressive refinement of a syntax based on nested/juxtaposed rectangles. Several transformation stages, which can all be f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visually testing recursive programs in spreadsheet languages

    Publication Year: 2001, Page(s):288 - 295
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (682 KB) | HTML iconHTML

    Although there has been recent research into ways to design visual programming languages and environments, little attention has been given to systematic testing in these languages, and what work has been done does not address "power" features such as recursion. In this paper, we discuss two possible ways the "What You See Is What You Test" methodology could be extended to accommodate recursion. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Selecting one from many: the development of a scalable visualization tool

    Publication Year: 2001, Page(s):366 - 372
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (505 KB) | HTML iconHTML

    This paper describes visualisation tools to support the task of selecting one object from a collection of many on the basis of its attribute values. For this frequently encountered task we identify a set of tools appropriate to a spectrum of collection sizes extending from hundreds of thousands to as few as ten or twenty. Although some of the tools have not previously been reported, and some have ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualizing graphical and textual formalisms

    Publication Year: 2001, Page(s):120 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (237 KB) | HTML iconHTML

    The purpose of this work is to combine the advantages of using visual formalisms for the specification of reactive systems with that of using formal verification and program transformation tools developed for textual formalisms. We have developed a tool suite called ViSta that automatically produces statechart layouts based on information extracted from an informal specification. In this paper, we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The ptolemy II framework for visual languages

    Publication Year: 2001, Page(s):50 - 51
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (229 KB) | HTML iconHTML

    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 testing methodology for a dataflow based visual programming language

    Publication Year: 2001, Page(s):280 - 287
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (579 KB) | HTML iconHTML

    Dataflow based visual programming languages have become an important topic of research in recent years, yielding a variety of research systems and commercial applications. As with any programming language, visual or textual, dataflow programs may contain faults. Thus, to ensure the coma functioning of dataflow programs, and increase confidence in the quality of these programs, testing is required.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualizing impacts of database schema changes - A controlled experiment

    Publication Year: 2001, Page(s):358 - 365
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (602 KB) | HTML iconHTML

    Research in schema evolution has been driven by the need for more effective software development and maintenance. Finding impacts of schema changes on the applications and presenting them in an appropriate way are particularly challenging. We have developed a tool that finds impacts of schema changes on applications in object-oriented systems. This tool displays components (packages, classes, inte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metamodel-based transformation between UML and Object-Z

    Publication Year: 2001, Page(s):112 - 119
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (573 KB) | HTML iconHTML

    Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself is often described imprecisely, with the result that the overall transformat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UML-based behavior specification of interactive multimedia applications

    Publication Year: 2001, Page(s):248 - 255
    Cited by:  Papers (8)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (575 KB) | HTML iconHTML

    Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the pLR parsability of visual languages

    Publication Year: 2001, Page(s):48 - 51
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (247 KB) | HTML iconHTML

    The widespread use of visual languages has motivated the need for grammar-based tools to support designers in the definition and implementation of graphical environments. The effective use of such systems requires efficient parsing techniques. The VLCC system makes use of a suitable LR-like methodology that allows us to efficiently parse visual sentences. However there exist particular grammars wh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On a uniform logical framework for diagrammatic reasoning

    Publication Year: 2001, Page(s):64 - 71
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (566 KB) | HTML iconHTML

    We present a formalization of diagrammatic systems and transformations in a linear logic framework. We start by showing how to embed Constraint Multiset Grammars, a well-known method for the specification of diagram languages, into a fragment of linear logic in a provably sound and complete way. We then show how this same fragment can express several forms of visual transformations that are common... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Moses-a tool suite for visual modeling of discrete-event systems

    Publication Year: 2001, Page(s):272 - 279
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (557 KB) | HTML iconHTML

    This paper gives an overview of the Moses tool suite, a set of tools for visual language programming. In Moses, visual language syntax is defined by first-order predicates over the abstract syntax of a picture, represented by an attributed graph. One way of specifying language semantics in Moses is by writing an abstract state machine that interprets a given attributed graph. This paper shows how ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intellisheet: a spreadsheet system expanded by including constraint

    Publication Year: 2001, Page(s):173 - 179
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (501 KB) | HTML iconHTML

    This paper describes our research into the expansion of the spreadsheet paradigm by the incorporation of solvers for systems of linear and finite-domain constraints. An extended spreadsheet system, called Intellisheet, allows the entry of expressions that represent linear and finite-domain constraints, along with arithmetic expressions, in individual cells. The systems of constraints that have bee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual system for the generation of banking legacy system gateways

    Publication Year: 2001, Page(s):350 - 357
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (557 KB) | HTML iconHTML

    Banking legacy systems intensively exchange messages in electronic format. Such systems are, for their nature, difficult to update and maintain. As a consequence, the introduction of new types of messages is a hard task. In this paper we describe the architecture and part of the implementation of the SI.RE. Visual System, an Interbanking Network Information System that lets us generate gateways fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual language and environment for EDI message translation

    Publication Year: 2001, Page(s):330 - 331
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB) | HTML iconHTML

    Electronic data interchange (EDI) systems are used in many domains to support inter-organisational information exchange. These systems require complex message translation, where data must be transformed from one EDI message format into another. We describe a visual language and support environment which greatly simplify the task of the systems integrator by using a domain-specific visual language ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending MSC for reactive systems

    Publication Year: 2001, Page(s):104 - 111
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (558 KB) | HTML iconHTML

    Message Sequence Charts (MSC) is a visual language that illustrates the scenarios of system operations, offering user-friendly, easy-to-understand behavioral descriptions. Furthermore, High-level MSC (HMSC) provides composition mechanisms to deal with the complexity of the system. However, for MSC to be used to describe complex reactive systems, there should be ways to deal with reactive behaviors... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The World Wide Train Wreck: is there light at the end of the tunnel?

    Publication Year: 2001, Page(s):220 - 225
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (473 KB) | HTML iconHTML

    The Web, as initially presented to the world, provided a mechanism to get static content onto millions of computers. The straightforward HTML encoding for describing pages is simple enough that billions of pages have been created by perhaps millions of people. Numerous tools have been written to aid this process, again testifying to the simplicity of HTML. Humans being the demanding creates that t... View full abstract»

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