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
  • The immune system as a reactive system: modeling T cell activation with statecharts

    Publication Year: 2001, Page(s):15 - 22
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (467 KB) | HTML iconHTML

    The construction of reliable reactive systems is considered to be one of the most challenging goals in the fields of software and system engineering. The definition of a reactive system suits biological systems at different levels, ranging from gene networks, developing embryos and the immune system. We report here the application of a tool developed for constructing computerized systems to the mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning in higraphs with loose edges

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

    Harel (1988) introduces the notion of zooming out as a useful operation in working with higraphs. Zooming out allows one to consider less detailed versions of a higraph by dropping some detail from the description in a structured manner. Although this is a very useful operation it seems it can be misleading in some circumstances by allowing the user of the zoomed out higraph to make false inferenc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Shapely hierarchical graph transformation

    Publication Year: 2001, Page(s):30 - 37
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB) | HTML iconHTML

    Diagrams can be represented by graphs, and the animation and transformation of diagrams can be modeled by graph transformation. This paper studies extensions of graphs and graph transformation that are important for programming with graphs: /spl middot/ We extend graphs by a notion of hierarchy that supports value composition, and define hierarchical graph transformation in an intuitive way that r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a compositional approach to define graphical animation of software applications

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

    The PLATUS simulation environment allows for a modular description of simulation models, clearly separating aspects of behavior, statistics and animation. Each component of a model in PLATUS has its own animation interface, that describes when and which messages will be sent to a corresponding animation module. The GENGED environment was originally developed for the visual definition of visual lan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A predicate-based approach to defining visual language syntax

    Publication Year: 2001, Page(s):40 - 47
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (491 KB) | HTML iconHTML

    This paper presents an approach to the specification of visual language syntax. Based on attributed graphs as the notion of abstract syntax, syntactical correctness is specified by a set of predicates over that structure. The proposed technique facilitates the natural embedding of other visual and textual notations, the definition of complex syntactic and static-semantic properties, as well as a p... 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 (155 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.
  • The ptolemy II framework for visual languages

    Publication Year: 2001, Page(s):50 - 51
    Cited by:  Papers (4)
    Request permission for commercial reuse | PDF file iconPDF (128 KB) | HTML iconHTML
    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 (464 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.
  • Aligning syntax and semantics in formalisations of visual languages

    Publication Year: 2001, Page(s):60 - 61
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (155 KB) | HTML iconHTML

    Often the most effective diagrams are those which are very simple. However there is a strong tendency, particularly prevalent in visual formal modelling and specification languages, to take a diagrammatic language which at core is very simple, and then add many extensions and features to make it more expressive - often making it so expressive that the diagrams produced in the language are no longe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual representation of algebraic specifications: A user-oriented approach

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

    This paper introduces a series of graphical notations for the visualisation of algebraic specifications, concentrating on a suitable representation of the equations that are a characteristic feature of such specifications. A user-oriented process was central both to the design of the notations and to the selection of a notation to implement. Details of this process are outlined. 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 (543 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.
  • Towards a formalization of constraint diagrams

    Publication Year: 2001, Page(s):72 - 79
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB) | HTML iconHTML

    Geared to complement UML and to the specification of large software systems by non-mathematicians, constraint diagrams are a visual language that generalizes the popular and intuitive Venn diagrams and Euler circles, and adds facilities for quantifying over elements and navigating relations. The language design emphasizes scalability and expressiveness while retaining intuitiveness. Spider diagram... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards dynamic meta modeling of UML extensions: an extensible semantics for UML sequence diagrams

    Publication Year: 2001, Page(s):80 - 87
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (491 KB) | HTML iconHTML

    The unified modeling language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML's built-in semantic variation points and extension mechanisms. The semantic specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantic approaches must thus allow advance... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A timed automata semantics for real-time UML specifications

    Publication Year: 2001, Page(s):88 - 95
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (461 KB) | HTML iconHTML

    We introduce extensions of the UML class, object and statechart diagrams and define the semantics of the UML extensions by means of extended timed graphs (XTG), a timed automata variant. This approach opens the possibility to specify properties of the UML specifications using the timed computation tree logic. The transformation of the UML-specification into XTG allows the verification the system b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component interface description using HyperMSCs and connectors

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

    Modelling of complex systems with message sequence charts requires several extensions in order to arrive at sufficiently transparent and manageable descriptions. Two extensions of major importance are introduced in this paper: 1) extended high level MSCs denoted as HyperMSCs are allowed to contain MSC references with hypertext-like inscriptions or in expanded form as detailed MSCs; and 2) MSC conn... 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 (529 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.
  • 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 (544 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.
  • Visualizing graphical and textual formalisms

    Publication Year: 2001, Page(s):120 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (140 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.
  • Integrating UML and OUN for specification of open distributed systems

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

    Convenience in specification and possibility for formal analysis are important aspects in the specification of software systems. An approach that combines UML and OUN (specification languages), is proposed for such a purpose. The approach is demonstrated by a case study of an open distributed system. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Communicative dimensions of end-user environments

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

    In exploring how to make programming easier for non-programmers, research into end-user environments has traditionally been concerned with designing better human-computer interaction. That traditional focus has left open the question of how end-user environments might support human-human interaction. Especially in situations in which end-user environments are enlisted to facilitate learning, we hy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Kara, finite state machines, and the case for programming as part of general education

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

    As a major evolutionary step in computer technology, users have come to rely on ready-made application software, rather than writing their own programs. If computer users no longer program, does it follow that the art of programming should only be taught to computing professionals? We argue the case for programming as a component of general education - not because of any direct utilitarian benefit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bringing robustness to end-user programming

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

    In some cases, end-user programming allows the design of stand-alone applications. But none of the existing approaches is concerned by safety aspects of programming. Heavy techniques exist to develop safe applications, particularly in non-interactive domains. They involve software engineering techniques, and sometimes, formal methods. All these techniques are very far from end-users. Our idea is t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AutoHAN: an architecture for programming the home

    Publication Year: 2001, Page(s):150 - 157
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (576 KB) | HTML iconHTML

    AutoHAN is a networking and software architecture that enables user programmable specification of the interaction between appliances in a domestic house. This concept represents an immense challenge for End-User Programming. The characteristics of the potential user population are far broader than any other population of end-user programmers. It is therefore essential to approach the design of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How to teach a fish to swim [virtual fish tank]

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

    We have developed a virtual fish tank in which computer users are represented by animated fish. The actions and interactions of the fish in the tank are meant to reflect the actions of users in the real world. Our first attempt at creating a programming environment that allowed people to customize their own fish did not work very well because users did not want to explicitly write programs to cont... View full abstract»

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