Volume2, Number4, 2001


 

 

Title:

M-pi Calculus: A Calculus for Module Description

Author:

Fumiaki Kanezashi, and Atsushi Togashi

Abstract:

    In this paper, we propose M-pi calculus - an extension of -calculus - which is a model for distributed systems. The purpose of this extension is that -calculus can actually be used as a programming language or a specification description language and concepts of component wares or classes in object-oriented programming can be used.

M-pi calculus is the calculus with the join, separate and call function of a required module. Since this calculus is effective for distributed systems, we propose and implement a development framework of distributed systems based on this calculus. In this framework, a module is an implemented component ware by Java[11]. This framework is used as middle ware for building systems.

 

 

Title:

Design of Next Generation Distance-Learning System for Penmanship and Calligraphy

Author:

Hiroshi Ichimura, Masato Suzuki, Michio Murai, Seiu Yamashita, Masahiro Kuroda,

Toshiaki Kuroiwa, Kouji Yoshida, Satoshi Yazawa, Tadanori Mizuno, and Sanshiro Sakai

Abstract:

    Distance learning is one of ubiquitous education methods that enable people willing to learn to get out of constraints of time and location. Currently in Japan, it can be said to be in its experimental stage as a whole although it has been put into practice in some areas. The experimental systems are intended to left brain education systems such as science and technology. We predict that the next generation of distance education will go into right brain education such as art and feelings. We choose penmanship and calligraphy as an experimental area for right brain learning and analyze problems for the distance education. We discuss functions to solve these problems based upon both technologies of literal recognition and Internet. We also propose a distance learning system for its evaluation.

 

 

Title:

Fault-Tolerant Multimedia Communication Networks with QoS-Based Checkpoint Protocol

Author:

Shinji Osada, and Hiroaki Higaki

Abstract:

    In order to achieve fault-tolerant network systems, checkpoint-recovery has been researched and many protocols have been designed. A global checkpoint taken by the protocols has to be consistent. In a conventional data communication network, a global checkpoint is defined to be consistent if there is no inconsistent message in any communication channel. In a multimedia communication network, there are requirements for time-constrained failure-free execution and large-size message transmissions where lost of part of the message is acceptable. This paper proposes a new criteria for a consistent global checkpoint in a multimedia communication network. In addition, QoS-based checkpoint protocols are designed according to the criteria. These protocols are non-blocking and time-bounded for supporting realtime multimedia message transmissions. Finally, these protocols are evaluated in comparison with a conventional protocol.

 

 

Title:

The KIT COSMOS Processor: A Low-Complexity Superscalar Processor

Author:

Toshinori Sato, Toshiyuki Yamamoto, and Itsujiro Arita

Abstract:

    This paper introduces a new microarchitecture, which we call COSMOS, for realizing large-scale superscalar processors with high clock frequencies. In order to achieve the goal, several design techniques on instruction supply mechanism, instruction window, register files, and operand bypass logic are proposed. Based on simulation results of an 8-way dynamically scheduled superscalar processor, we estimate that the contribution of COSMOS microarchitecture on instruction level parallelism is only 1.3% degradation from the conventional superscalar processor with an equivalent scale. Due to its low complexity, a COSMOS superscalar processor works at higher clock frequencies than the conventional one. Therefore, COSMOS microarchitecture is one of the promising candidates for future superscalar processors.

 

 

Title:

Developing Component Architecture for Telecommunication Systems

Author:

Hyung Ho Kim, Doo Hwan Bae, Chang-Sup Keum, and Byung-Sun Lee

Abstract:

    Telecommunication industry purses interoperability so that service providers can deploy telecommunication systems composed of subsystems from multiple vendors. This characteristic makes it attractive to introduce the ideas of CBD into telecommunication systems. However, most efforts on CBD have concentrated on IT area and, thus, contemporary CBD researches little address the issues in telecommunications.

    The goal of this paper is to introduce CBD techniques into telecommunication area. In particular, we focus our attentions on how to introduce the idea of component architecture: To effectively handle the impact of changes, a component architecture must consist of highly cohesive and loosely coupled components.

    To support the design of architecture, we develop an interactive framework that explores numerous candidates for component architecture and evaluates them. Note that there is rarely enough time in development because of the pressure of time-to-market. By keeping developers from wasting their time on tedious work, the framework allows to concentrate their efforts on more valuable work such as the selection of component architecture and the decision of development strategy.

 

 

Title:

Development of the Cooperative Information Systems with CBD

Author:

Roger Y. Lee, Atsushi Togashi, and Tadanori Mizuno

Abstract:

Recent research has identified compos ability, extensibility, and tailor ability as key aspects of systems that support groups of interesting people. Component-based design is a means to achieve these requirements in groupware systems. Component Based Development techniques make reapplication of various well-organized information and knowledge available to system development so that it improves productivity and makes it easier to maintain software. This paper concerns the developing of Component-Based Cooperative Information Systems (CBCIS). CBCIS aim is to support inter-actions among heterogeneous knowledge sources that share business objects and processes. These Knowledge Sources may be internal to the organization: Enterprise Information Systems, Workgroup Information Systems and Personal Information Systems, or external to the organization. The structure of a CBCIS is made up of a set of heterogeneous Knowledge Sources willing to cooperate and an Interaction component that supports these interactions. The functionality   consists of a set of communication and browsing   services and user-oriented semantic services that    allow a CBCIS to support individual and collaborative work by either accessing business objects, invoking processes’ activities, or integrating information.

     A knowledge source is modeled as a package that presents an interface definition (data schema of business objects, data and processes/activities). The interactions are specialized according to their situations, namely interactions for coordination that deal with the consistency of the shared business objects, interactions for cooperation related to the coupled processes’ activities or interactions for transmission that deal with informal and unstructured exchanges. The Interaction Component is a kind of business objects and processes broker. It allows for location, access, integration or global view of business objects and invocation or reuse of processes activities. The Interaction Component is based upon a metadata and interactions base. The metadata describes all the components of the CBCIS architecture.

 

 

Title:

A Prototyping System for Compositional Development with Components

Author:

Haeng-Kon Kim, and Roger Y. Lee

Abstract:

The paper defines a new approach for information systems development intended for reuse of pre-existing components. The approach called compositional consists in identification of relevant fragments of the component specifications and constructing their compositions satisfying specifications of requirements. Fundamentals of the method include the PCDC(Prototyping for Compositional Development with Component) model having formal interpretation and applied for specification of requirements and components; the theory of refinement, making possible to justify component reuse; specification calculus forming a basis for compositional constructing of the systems from components; ontological approach used for semantic contexts integration. Due to the used methods of component specification and retrieval, the compositional method is scalable with respect to the number of existing components, provides for information system construction using various kinds of components (software, information, process ones), provides for provable justification of the design. The prototype considered combines conventional CBD methods support facilities with the facilities of the new compositional development method. This prototype, PCDC is intended for implementation generation in the CORBA-like environment.

 

 

Title:

Developing Business Components: A Framework Approach

Author:

Haeng-Kon Kim

Abstract:

The software development lifecycle for industrial applications, especially in e-business, is becoming increasingly shorter. To be able to provide required functionality to the customer, the use of standard components and components developed by third party supplier are becoming more and more important. CBD(Component Based Development) as a vision and an approach offers many exciting possibilities in terms of reducing application development costs, providing greater software reuse, and facilitating maintenance and evolution of systems to meet requirements. In this paper, we are building experimental e-business modeling and prototyping systems based on a CBD architecture.  This reusable component and framework technique must be augmented with a variety of flexible systems based on autonomous components and dynamically composed services. New, component-based application architecture, ABCD architecture is proposed for developing business application systems. The architecture enables an application system to be considered as collected or medium-grained reusable software components. ABCD is made up of an effective combination of frameworks, patterns, and methodology. A set of component frameworks and their accompanying usage patterns can be used with Enterprise Java Beans to develop business systems, based on the architecture. Each one of the frameworks has its own purpose and is designed to be reusable for a reasonably wide variety of application systems. Also, a Component Based modeling method is provided to analyze and design business systems using the component-based architecture

 

 

Title:

Some Issues on Testing Real-Time Systems

Author:

Simon Bloch, Hacene Fouchal, Eric Petitjean, and Sebastien Salva

Abstract:

    This paper gives an overview on real-tim system testing. It shows briefly the main works on testing systems which do not specify timing constraints. All of these methods consider a system as an automaton composed of states and transitions (interactions between the environment and the system). Then, it presents some models for the specification of real-time systems. It will detail our main contributions to testing real-time systems. It consists of various techniques that we have developed since last years. We will end by the the presentation of an adapted testing architecture for testing real-time systems.