ISOTAS '96

Resarch Demonstrasions

Exhibition Hours

Location

Contents

1. An Overview of RWC Massively Parallel Software

(Real World Computing Partnership)

2. Schematic: A Concurrent Object-Oriented Extension to Scheme

(University of Tokyo)

3. Mobile and Multimedia support on Real-Time Mach

(MMMC Research Lab, JAIST)

4. CafeOBJ an O-O algebraic specification language

(Language Design Lab, JAIST)

1. An Overview of RWC Massively Parallel Software
Yutaka Ishikawa, Atsushi Hori, Hiroshi Tezuka, Hiroki Konaka, Munenori Maeda, Jorg Nolte, Nobuyuki Ichiyoshi, Toshihiro Nishioka, Motohiko Matsuda and Kazuto Kubota
Real World Computing Partnership

We have been designing and developing a parallel object-oriented software system which includes two programming languages, MPC++ and OCore, an operating system called SCore, a persistent object environment called VAST, and a programming environment. We will demonstrate i) OCore language feature and runtime environment by Java and a video tape, and ii) MPC++/SCore runtime and programming environemnt on the RWCP workstation cluster using the internet. For more information, please see http://www.rwcp.or.jp/people/mpslab.

2. Schematic: A Concurrent Object-Oriented Extension to Scheme
Kenjiro Taura, Toshio Endo, Yoshihiro Oyama, and Ryoichi Kakimoto
University of Tokyo

We present Schematic, a concurrent object-oriented language based on Scheme. The particular implementation we demonstrate runs on networks of workstations which talk TCP/IP, and features a Tk-like concurrent object-oriented GUI toolkit. Application programs include a simple concurrent GUI application (Mandelbrot), a classic two-players game (Table Tennis), and a distributed application (Interactive Questionnaire Server). We explain how languages like Schematic are useful for developing these applications. We emphasize that concurrent languages such as Schematic are not only for running intensive applications on parallel machines, but also for making development of such fun programs (GUI and distributed applications) easier!

3. Mobile and Multimedia support on Real-Time Mach
Akihiro Hokimoto, Jun Noritake, and Tatsuo Nakajima
MMMC Research Lab, JAIST

Multimedia and mobile computing(MMMC) group in JAIST is working on building a new software system architecture that can be adapted when operating environment is changed. We are currently building continuous media systems such as a continuous media toolkit and a storage server based on resource reservation and dynamic QOS control. Also, we are working on a toolkit for mobile computing environment that enables the structures of applications to be changed when a PC Card is inserted or removed.
If you like to get more information, please check http://mmmc.jaist.ac.jp:8000".

4. CafeOBJ an O-O algebraic specification language
Toshimi Sawada and Kokichi Futatsugi
Language Design Lab, JAIST

CafeOBJ is an algebraic speicification language which has rewriting logic as its logical basis. It has some object oriented facilities, such as classes, inheritance, concurrent OO computation, and so on. In our demonstration, some examples of axiomatic descriptions (specifications) of objects and their prototyping executions by CafeOBJ interpreter will be presented. The computation just corresponds to the deduction of rewriting logic, and is performed by rewriting modulo structural axioms of ACI (associative commutative and identity) that capture abstractly the essential aspects of communication in a distributed object-oriented configuration made up of concurrent objects and messages.

• Back to ISOTAS '96 Home Page