Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393)

22-25 Sept. 1999

Filter Results

Displaying Results 1 - 25 of 65
  • Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393)

    Publication Year: 1999
    Request permission for commercial reuse | |PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 1999, Page(s):v - ix
    Request permission for commercial reuse | |PDF file iconPDF (167 KB)
    Freely Available from IEEE
  • Obtaining generic classes automatically through a parameterization operator. A focus on constrained genericity

    Publication Year: 1999, Page(s):166 - 176
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (727 KB)

    Generic classes allow one, through type parameter instantiation, to obtain new classes that are adapted to different contexts. Therefore, genericity is an important support for class reuse. When the possibility of reusing a class to deal with elements of different domains arises, it is desirable to have the appropriated generic class. Nevertheless, the construction of generic classes is a task tha... View full abstract»

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

    Publication Year: 1999, Page(s):492 - 493
    Request permission for commercial reuse | |PDF file iconPDF (89 KB)
    Freely Available from IEEE
  • A multi-layered system of metrics for the measurement of reuse by inheritance

    Publication Year: 1999, Page(s):146 - 155
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (428 KB)

    In spite of the intense efforts of metrics research, the impact of object-oriented software metrics is, for the moment, still quite reduced. The cause of this fact lies not in an intrinsic incapacity of metrics to help in assessing and improving the quality of object-oriented systems, but in the unsystematic, dispersed and ambiguous manner of defining and using the metrics. In this paper, we defin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Agent Class Methodology: a new kind of autonomous object generation methodology

    Publication Year: 1999, Page(s):245 - 252
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (420 KB)

    We present a class based object oriented programming methodology, the Agent Class Methodology (ACM), a new kind of autonomous object generation methodology. The ACM specifies how to construct general purpose agents that can be used to construct a communicating, distributed, concurrent system. We explain the ACM's autonomous control mechanism together with the four-layered class inheritance archite... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying object-oriented method to CSIE system

    Publication Year: 1999, Page(s):484 - 491
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (304 KB)

    The CSIE (Distributed Control System Configuration Software Integrated Environment) system is a platform for developing control schemes in distributed control systems (DCS). By using the CSIE system, engineers of DCS can configure control schemes in configuration languages and define reusable scheme components in any scheme of the same project. The CSIE system implements the five configuration lan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework and methodology for development of content-based Web sites

    Publication Year: 1999, Page(s):316 - 319
    Cited by:  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (184 KB)

    A Web site is a new broadly used information medium and application platform. One of the features of a Web site is that it is in an endless development cycle. Maintenance and updating happen during a site's life cycle. The structure and content of a Web site are always being extended and modified. Some tools are designed to support maintenance work for the development of a Web site. We believe tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The typing of communicating sequential processes

    Publication Year: 1999, Page(s):61 - 66
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (260 KB)

    As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type system. The types of processes and prefixed processes are distinguished and they are treated as generic types that can be instantiated by the subtypes of alphabets. The bounded quantifier is introduced to represent bounded generics View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Risk analysis and assessment using object-oriented techniques

    Publication Year: 1999, Page(s):142 - 145
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (232 KB)

    This paper describes the concept of a “risk information base”, which is a part of development methodology to address the provision of risk analysis and assessment over the domain of information systems that connect to the Internet. The work is achieved within a framework which is based on object-oriented techniques View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Framework-based software reuse for interactive seismic processing applications

    Publication Year: 1999, Page(s):239 - 244
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (412 KB)

    Domain-specific application frameworks have received considerable attention from researchers and developers and will become one of the future trends in object oriented framework research. Based on a deep understanding and analysis of OO framework techniques, we study the existing problems in oil and gas exploration applications, and propose a specific framework for interactive seismic data process... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Personal Intelligent Navigation System based on Java

    Publication Year: 1999, Page(s):477 - 483
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (336 KB)

    The intelligence of information processing is one of the hot-spots of information technology. The authors explain the distributed object model in designing the framework and describes the framework of the Personal Intelligent Navigation System based on Java and describes a detailed implementation of the system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Java networking API for ATM networks

    Publication Year: 1999, Page(s):306 - 315
    Cited by:  Papers (1)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (484 KB)

    This paper proposes an implementation of a Java networking application programming interface (API) for asynchronous transfer mode (ATM) networks. ATM is considered to be the network of the future. Since more and more Web-based applications are written in Java, it is important to support Java network programming on ATM in order to facilitate the development of World Wide Web style applications on A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synchronizing Java threads using assertions

    Publication Year: 1999, Page(s):51 - 60
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (468 KB)

    The existence of mechanisms to describe and evaluate assertions in programming languages helps to reduce the conceptual gap existing between the specification and implementation phases in the software development, improving both tasks. Java, originally used as an Internet-oriented implementation language, is becoming a general-purpose language, which unfortunately does not provide this kind of mec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enterprise JavaBeans, JavaBeans and XML expanding the possibilities for Web-based enterprise application development

    Publication Year: 1999, Page(s):282 - 291
    Cited by:  Papers (5)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (544 KB)

    Component-based software development (CBSD) has emerged as the best hope for building high-quality Web-based enterprise applications in a timely manner. CBSD has the potential to reduce significantly development cost and time-to-market of Web-based enterprise applications, and improve the maintainability, reliability and overall quality of those applications. A major issue in a CBSD project is the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented requirements modeling based on UML

    Publication Year: 1999, Page(s):133 - 140
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (356 KB)

    Provides research into object-oriented (OO) requirements modeling. The proposed OO modeling strategy is based on the semantics and the diagrammatic notation of UML. The semantics of UML formalizes the expression of the user requirements, while the diagrammatic notation also enhances the understandability, traceability, verifiability and modifiability of the requirements model. The ability of the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented developing framework of fault-tolerance system

    Publication Year: 1999, Page(s):232 - 238
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (480 KB)

    The paper presents a fault tolerant development system framework based on the replication technique. The system maintains several replicated objects. When the primary object fails, the backup object will take over the primary object's work to provide continuous service. Using an object oriented design (OOD) technique, the development framework can enhance software reusability. The JAVA RMI techniq... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software evolution: prototypical deltas

    Publication Year: 1999, Page(s):14 - 30
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (872 KB)

    We present a model of the software evolution process. We introduce the notion of a delta, which represents a change in the software's environment, as a key concept for characterizing the software evolution process. A number of prototypical deltas are presented and characterized in terms of the domains, models, and actors involved View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented design of a multimedia item pool

    Publication Year: 1999, Page(s):471 - 476
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (232 KB)

    An item pool with multimedia data is a fundamental part of our project, Computerized Adaptive Test System of Chinese Proficiency. This paper presents a design of a multimedia item pool from an object-oriented perspective. It is stressed that the OO approach is especially effective in modeling and managing complex multimedia data. We first introduce our system architecture using the OO-layer method... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal software development approach based on COOZ and refinement calculus

    Publication Year: 1999, Page(s):261 - 266
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (320 KB)

    Including refinement calculus into COOZ complements its disadvantage during design and implementation. The separation between design and implementation for construct and notation is removed as well. Then the software can be developed smoothly in the same frame. There is no corresponding object oriented construct in existing refinement calculus. The combination of COOZ and refinement calculus can b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correct composition of distributed systems

    Publication Year: 1999, Page(s):296 - 305
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (524 KB)

    This paper argues that functional aspects of a distributed system are to be specified separately from its communication and synchronization aspects. A Petri-net based approach allows to reason about the compatibility of the aspect incarnations and the compatibility of connected components. Using meta-programming, the separate specifications are woven into efficient code View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • LEAD++: an object-oriented language based on a reflective model for dynamic software adaptation

    Publication Year: 1999, Page(s):41 - 50
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (516 KB)

    A software system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. As open-ended distributed systems and mobile computing systems have spread widely, the need for software systems with dynamic adaptability increases. We propose a software model with dynamic adaptability called DAS and its description language LEAD++. In the DAS model, the basic mechanis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test selection from UML Statecharts

    Publication Year: 1999, Page(s):273 - 279
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (336 KB)

    UML is a third-generation state-of-the-art object modeling language that supports object-oriented software requirements and design. Software requirements and design are very important which must be validated and verified before implementation. Testing is one of the best ways to do so. This paper considers the method for testing UML Statecharts. Statechart is an important formalism to model the dyn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies and techniques of freeze/melt

    Publication Year: 1999, Page(s):98 - 105
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (448 KB)

    To design a software development environment with both the advantages of dynamic and static environments, we present the Freeze/Melt mechanism. Freeze is a process to convert a module designed maturely to native code, and melt is a process to restore a frozen module to the state of intermediate code. The essence of Freeze/Melt is to implement hybrid execution of interpreting and compiling in one e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building a repository for workflow systems

    Publication Year: 1999, Page(s):348 - 357
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (400 KB)

    Workflow technology is becoming the key technology for business process modeling, reengineering and automating. During the workflow specification, enactment and administration, there may appear various types of metadata about workflow specifications and instances. A repository manager is, therefore, necessary to store and manage these metadata. In this paper, a workflow metamodel is proposed first... View full abstract»

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