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 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. |
|
|
|
