By Topic

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
  • Author index

    Publication Year: 2001, Page(s):412 - 413
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • 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.
  • A formal model for component-based software

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

    In an effort to manage increasing complexity and to maximise the reuse of code, the software engineering community has recently put a considerable effort into the design and development of component-based software development systems and methodologies. The concept of building software from existing components arose by analogy with the way that hardware is now designed and built, using cheap, relia... 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.
  • 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.
  • 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.
  • 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.
  • Component interface description using HyperMSCs and connectors

    Publication Year: 2001, Page(s):96 - 103
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 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.
  • Visual languages for spatio-temporal applications

    Publication Year: 2001
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (157 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.
  • Towards a theory of normalization for multimedia databases

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

    We present a theory of normalization for multimedia databases. We introduce new types of functional dependencies between different types of media data. Thus, the definition of functional dependency is based upon a specific technology used to detect semantic relationships between complex data types, which need to be compared through approximate matching paradigms. 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.
  • End-user class definition in CAD systems

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

    The object-oriented paradigm is very used in CAD systems. It permits users to create objects and to interrogate their attributes to use them in other processes. While some CAD or drawing systems support end-user programming in order to abstract building functions, none of them permit creating classes where several functions (constructor and selectors) share the same data. A data model that permits... 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 (500 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.
  • 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 (524 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.
  • New paradigm for developing software for E-business

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

    When developing software, the very first step is to convert the user requirements into a complete specification. We put a lot of emphasis in getting this specification right. When we develop software using a traditional approach, we know that if we have to change the specifications at a later date it is going to be expensive. The business organisations are not static, but they are evolving. Thus t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • End user programming in an industrial Research & Development group

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

    This paper presents partial results from a case study of a full application of end user programming in an industrial product Research & Development (R&D) organization. Scientists and engineers developing large industrial machines built all application software, with programmers (including the author) in a support role In interviews, the project team and its managers described a sophisticat... 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.
  • VXT: Visual XML Transformer

    Publication Year: 2001, Page(s):404 - 405
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (270 KB) | HTML iconHTML

    The ever-growing amount of heterogeneous data exchanged via the Internet, combined with the popularity of XML, makes structured document transformations an increasingly important application domain. Most of the existing solutions for expressing XML transformations are textual languages, such as XSLT (Extensible Stylesheet Language Transformations) or DOM (Document Object Model), combined with a ge... 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.
  • Heuristics for edge drawing in a graph-based visual language

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

    Control-flow diagrams are often criticized as difficult to read because of numerous edge intersections. To improve the readability we propose a solution that manages the visual complexity of graphs with hundreds, or even thousands of nodes. It consists in applying heuristics to choose the best path for an edge and an appropriate color that will help distinguish an edge from its neighbors 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.
  • Towards dynamic meta modeling of UML extensions: an extensible semantics for UML sequence diagrams

    Publication Year: 2001, Page(s):80 - 87
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (529 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.
  • 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 (252 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 community-based Web browsing system

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

    Current forms of Web browsers do not adequately reflect the current situation of explosive increase of Web space. The user is still forced to access the Web space page by page. We propose a Web browsing method based on communities. A community is a collection of Web sites which are related to each other. Unlike the conventional page-oriented search engines/browsers, the proposed interactive visual... View full abstract»

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