JSSST ISOTAS '93 Advance Program (Japan, Nov 93)

                **********************************************************
* ADVANCE PROGRAM *
* *
* --- JSSST International Symposium Series --- *
* *
* INTERNATIONAL SYMPOSIUM on *
* OBJECT TECHNOLOGIES for ADVANCED SOFTWARE (ISOTAS '93) *
                * *
* Kanazawa, Japan, November 4-6, 1993 *
                **********************************************************


Sponsored by:
    Japan Society for Software Science and Technology (JSSST)
    Japan Advanced Institute of Science and Technology (JAIST)


In cooperation with:
    ACM SIGSOFT (requesting), Japan ACM SIGMOD, IEEE Computer Society -
    Technical Committee on Software Engineering (TCSE), Information
    Processing Society of Japan (IPSJ)


Goals:


    Object technologies are attracting much attention in diverse areas
    of research and development for advanced software. Object-oriented
    (OO) programming holds a great promise in reducing the complexity of
    large scale software development, and recent research in this field
    promises to open up a new paradigm for parallel and reflective
    computing. Object-oriented databases are expected to serve as a
    model for next generation database systems, by overcoming the
    limitations of conventional data models. Recently, research in
    software object bases is aimed at developing a uniform approach to
    the management of software artifacts produced in the software
    development process, such as specifications, manuals, programs, and
    test data, which traditionally were managed in a very ad-hoc and
    arbitrary manner.


    Active research and experimentation on object technologies in these
    diverse areas suggest that there are some underlying, fundamental
    principles common to a wide range of software development
    activities. The first of the JSSST international series of symposia
    focuses on this topic. The aim of this symposium is to bring
    together leading researchers in the areas of object-oriented
    programming, object-oriented databases, and software object bases.
    We hope to promote an understanding of object technologies in a
    wider context and to make progress towards the goal of finding a
    better framework for future advanced software development.


************************************************
Invited Speakers:


    Malcolm Atkinson University of Glasgow
    Francois Bancilhon O2 Technology
    Ralph E. Johnson University of Illinois at Urbana-Champaign
    David Notkin University of Washington
    John Sargeant University of Manchester
    Jack C. Wileden University of Massachusetts




Symposium Committee:


    Symposium Chair: Takuya Katayama (JAIST)
    Symposium Series Committee Chair: Mario Tokoro (Keio U./Sony CSL)
    Program Committee Co-Chairs: Shojiro Nishio (Osaka U.)
Aki Yonezawa (U. of Tokyo)
    Executive Committee: Koichiro Ochimizu (JAIST)
    Finance Chair: Kokichi Futatsugi (JAIST)
    Publicity Chair: Takuo Watanabe (JAIST)
    Exhibition Chair: Tatsuo Nakajima (JAIST)
    Local Arrangement Chair: Yoichi Shinoda (JAIST)




Program Committee Members:


    Tsuneo Ajisaka (Kyoto U.) Mehmet Aksit (U. of Twente)
    Malcolm Atkinson (U. of Glasgow) Francois Bancilhon (O2 Tech.)
    Klaus R. Dittrich (U. of Zurich) Kokichi Futatsugi (JAIST/ETL)
    Yutaka Ishikawa (RWC) Hyoung-Joo Kim (Seoul N. U.)
    Roger King (U. of Colorado) Tok-Wang Ling (N. U. of Singapore)
    Nazim Madhavji (McGill U.) Ole L. Madsen (Aarhus U.)
    Oscar Nierstrasz (U. of Geneva) David Notkin (U. of Washington)
    Koichiro Ochimizu (JAIST) Atsushi Ohori (OKI)
    Junichi Rekimoto (NEC) Motoshi Saeki (Tokyo Inst. of Tech.)
    Edward Sciore (Boston College) Etsuya Shibayama (Tokyo Inst. of Tech.)
    Shinji Shimojo (Osaka U.) Yoichi Shinoda (JAIST)
    Alan Snyder (Sun Microsystems) Ikuo Takeuchi (NTT)
    Katsumi Tanaka (Kobe U.) Mario Tokoro (Keio U./Sony CSL)
    Hideyuki Tokuda (Keio U./CMU) Katsuyasu Toyama (NTT)
    Takuo Watanabe (JAIST) Grant E. Weddell (U. of Waterloo)
    Peter Wegner (Brown U.) Jack Wileden (U. of Mass.)
    Kazumasa Yokota (ICOT) Masatoshi Yoshikawa (AIST, Nara)
    Roberto Zicari (J.W. Goethe U.)


*************************************************
Technical Program:


Thursday, November 4


Opening Session: 9:00 - 9:20
    Opening Address
            General Chair: Takuya Katayama (JAIST)
    Message from the Program Committee
            PC Co-Chairs: Shojiro Nishio (Osaka University)
Aki Yonezawa (University of Tokyo)




Session 1: 9:20 - 11:00
    Object-Oriented Programming Languages
Chair: Aki Yonezawa (University of Tokyo)


    Uniting Functional and Object-Oriented Programming (Invited Paper)
John Sargeant (University of Manchester)


    Traces (Solving the "Make Isn't Generic" Problem)
Gregor Kiczales (Xerox PARC)


    Gluons: a Support for Software Component Cooperation
Xavier Pintado (University of Geneva)




Coffee Break: 11:00 - 11:20




Session 2: 11:20 - 12:50
    Object-Oriented Programming Language and Environment
Chair: Yutaka Ishikawa (RWC Partnership)


    TAO: An Object-Orientation Kernel
Kenichi Yamazaki, Yoshiji Amagai, and Ikuo Takeuchi (NTT Basic
Research Laboratories), Masaharu Yoshida (NTT Human Interface
Laboratories)


    Change Management and Consistency Maintenance in Software Development
    Environments Using Object Oriented Attribute Grammars
Katsuhiko Gondow, Takashi Imaizumi (Tokyo Institute of
Technology), Yoichi Shinoda (JAIST), Takuya Katayama (JAIST/Tokyo
Institute of Technology)


    Design of an Integrated and Extensible C++ Programming Environment
Kin'ichi Mitsui, Hiroaki Nakamura (IBM Research, Tokyo
Research Laboratory), Theodore C. Law, and Shahram Javey (IBM
Canada, Language Technology Centre)




Lunch 12:50 - 14:00




Session 3 14:00 - 15:40
    Meta and Reflection
Chair: Gregor Kiczales (Xerox PARC)


    Metalevel Decomposition in AL-1/D
Hideaki Okamura (Keio University), Yutaka Ishikawa (Real World
Computing Partnership), and Mario Tokoro (Keio University/Sony
CSL)


    Definition of a Reflective Kernel for a Prototype-Based Language
Philippe Mulet and Pierre Cointe (Ecole des Mines de Nantes)


    Kernel Structuring for Object-Oriented Operating Systems: The
    Apertos Approach
Yasuhiko Yokote (Sony Computer Science Laboratory Inc.)




Coffee Break 15:40 - 16:00




Session 4 16:00 - 17:30
    Object-Oriented Database Features
Chair: Masatoshi Yoshikawa (AIST, Nara)


    Object Oriented Database Systems: Functional Architecture
    (Invited Paper)
Francois Bancilhon (O2 Technology)


    Maintaining Behavioral Consistency during Schema Evolution
Paul L. Bergstein and Walter L. Hursch (Northeastern University)


    An Object-Centered Approach for Manipulating Hierarchically Complex
    Objects
Ling Liu (Johann Wolfgang Goethe-University Frankfurt)




Reception 18:00 - 20:00




Friday, November 5


Session 5 9:00 - 10:40
    Views for Object-Oriented Database
Chair: Katsumi Tanaka (Kobe University)


    Towards the Unification of Views and Versions for Object Databases
Kwang June Byeon and Dennis McLeod (University of Southern
California)


    Abstract View Objects for Multiple OODB Integration
Qiming Chen and Ming-Chien Shan (HP Laboratories)


    An Object-Oriented Query Model Supporting Views
Suk I. Yoo and Hai Jin Chang (Seoul National University)




Coffee Break 10:40 - 11:00




Session 6: 11:00 - 12:40
    Object-Oriented Programming and Modeling
Chair: Tsutomu Kamimura (IBM Tokyo Research Laboratory)


    Refactoring and Aggregation (Invited Paper)
Ralph E. Johnson (University of Illinois at Urbana-Champaign)


    Transverse Activities: Abstractions in Object-Oriented Programming
Bent Bruun Kristensen (Aalborg University)


    Dynamic Extensibility in a Statically-compiled Object-Oriented
    Language
Jawahar Malhotra (Aarhus University)




Lunch 12:40 - 14:00




Session 7 14:00 - 15:30
    Object-Oriented Database Language
Chair: Atsushi Ohori (OKI)


    Managing Change in Persistent Object Systems (Invited Paper)
Malcolm Atkinson (University of Glasgow)


    An Object-Oriented Pattern Matching Language
Marc Gemis and Jan Paredaens (University of Antwerp)


    CLOG: A Class-Based Logic Language For Object-Oriented Databases
Siu Cheung Hui, A. Goh, and K. R. Jose (Nanyang Technological
University)




Coffee Break 15:30 - 15:50




Session 8 15:50 - 18:OO
    Object-Oriented Software Development
Chair: Koichiro Ochimizu (JAIST)


    Name Management and Object Technology for Advanced Software
    (Invited Paper)
Alan Kaplan and Jack C. Wileden (University of Massachusetts)


    Constraints in Object-Oriented Analysis,
Stefan Van Baelen, Johan Lewi, Eric Steegmans, and Bart
Swennen (Katholieke Universiteit Leuven)


    Integration of the tool (AWB) supporting the O* Method in the
    PCTE-based Software Engineering Environment
Sai Peck Lee (University of Paris I)


    Minimizing Dependency on Class Structures with Adaptive Programs
Karl J. Lieberherr and Cun Xiao (Northeastern University)




Saturday, November 6


Session 9 9:00 - 10:40
    Concurrency
Chair: Etsuya Shibayama (Tokyo Institute of Technology)


    First Class Messages as First Class Continuations
Ken Wakita (Tokyo Institute of Technology)


    A typing system for an object-calculus
Vasco T. Vasconcelos (Keio University) and Mario Tokoro (Keio
University/Sony CSL)


    A Type Mechanism based on restricted CCS for Distributed Active
    Objects
Yasunori Harada (NTT)




Coffee Break 10:40 - 11:00




Session 10 11:00 - 12:30
    Object Technologies for Software Development
Chair: Katsuyasu Toyama (NTT)


    Adding Implicit Invocation to Languages: Three Approaches
    (Invited Paper)
David Notkin (University of Washington),
David Garlan (Carnegie Mellon University), and
William G. Griswold (University of California, San Diego)


    Requirements and Early Experiences in the Implementation of the
    SPADE Repository using Object-Oriented Technology
Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, and Luigi
Lavazza (Politecnico di Milano)


    Object-Oriented Formal Specification Development using VDM
Amarit Laorakpong and Motoshi Saeki (Tokyo Institute of
Technology)




Closing Session 12:30 - 12:40
    Closing Address
JSSST Symposium Series Committee Chair: Mario Tokoro
(Keio University/Sony CSL)




**********************************************
Registration Information:


To register for the symposium, please complete the Registration Form and
send/fax it to the symposium secretariat:


          Osamu Mitsui (ISOTAS '93 Secretariat)
          c/o System Research Center Co., Ltd. (SRC)
          510 Asahi Toranomon Bldg.,
          18-6, 3-chome, Toranomon, Minato-ku, Tokyo 105, Japan
          Phone: +81-3-5472-5545, Facsimile: +81-3-3434-2789




Registration Fees:


                          Early (by Sep. 30, 1993) Late (after Sep. 30, 1993)
    Member (*): 37,000 Yen 40,000 Yen
    Non-member: 45,000 Yen 50,000 Yen
    Student: 20,000 Yen 25,000 Yen


Registration fees cover: attendance at all sessions of the symposium,
a copy of the proceedings, reception, refreshments during break. We
encourage you to register as soon as possible.


                              EARLY REGISTRATION DEADLINE: SEP. 30, 1993.


(*) Reduced membership fees apply to the members of JSSST, ACM,
IEEE Computer Society, or IPSJ. Please write your membership
identification on the Registration Form.




Methods of Payment:


*** IMPORTANT NOTICE ***
              CREDIT CARDS/PERSONAL CHECKS/MONEY ORDER ARE NOT ACCEPTABLE.
                  ALL CHARGES/COMMISSIONS ARE TO BE PAID BY THE APPLICANT.


All payments for registration must be made in Japanese Yen. We accept the
following two payment methods:


(1) BANK TRANSFER (TELEGRAPH). Remittance should be directed to:


              Bank name: Sakura Bank Ltd., Kamiyacho Branch
              Address: 13-1, Toranomon 5-chome, Minato-ku, Tokyo 105, Japan
              Acct. #: 282-6336212
              Acct. name: JSSST-ISOTAS '93


        Please provide the remittance information on Registration Form.


(2) ON-SITE (CASH). On-site registration can also be made at the
        conference center.


        NOTE: Considering the high handling charges/commissions for
        bank (telegraph) transfer from abroad, participants from abroad
        who register before Sep. 30, 1993 can pay early registration fees
        on site. Participants in Japan who want to take advantage of the
        early registration fees should send their registration fees by
        bank (telegraph) transfer by Sep. 30, 1993.




Local Arrangements:


For additional information concerning local arrangements, please
contact:


Prof. Yoichi Shinoda
Department of Information Science,
Japan Advanced Institute of Science and Technology
15 Asahidai, Tatsunokuchi, Ishikawa 923-12, Japan
TEL: +81-761-51-1251, FAX: +81-761-51-1116
e-mail: jssst-symp93@jaist.ac.jp


********************************* cut here **************************


JSSST International Symposium on Object Technologies for
Advanced Software (ISOTAS '93)
REGISTRATION FORM


Please type or print in block letters.


Last/Family Name: _________________________________________________________


First Name: _________________________________________________________


Name (on Name Tag): ______________________________________________________


Affiliation: _________________________________________________________


Address: _________________________________________________________


City/State: _________________________________________________________


Country: _______________________________ Zip Code: _______________


Daytime Phone: ________________________ FAX: __________________________


E-Mail: _________________________________________________________


Speaker?: [ ] YES [ ] NO
Conference Use: [ ] Slide Projector [ ] Overhead Projector


Registration fees: EARLY LATE
                                    By Sep. 30, 1993 After Sep. 30, 1993
    Member (*): [ ] 37,000 Yen [ ] 40,000 Yen
    Non-member: [ ] 45,000 Yen [ ] 50,000 Yen
    Student: [ ] 20,000 Yen [ ] 25,000 Yen


    (*) Applied to the members of JSSST/ACM/IEEE-CS/IPSJ.


    Membership # : __________________________________________________________


Methods of payment:
    [ ] ON-SITE IN CASH (NOTE: Early registration fees will be applied
            if you are abroad AND register before Sep. 30, 1993.)


    [ ] BANK (TELEGRAPH) TRANSFER. Remittance should be directed to:
            Bank name: Sakura Bank Ltd., Kamiyacho Branch
            Address: 13-1, Toranomon 5-chome, Minato-ku, Tokyo 105, Japan
            Acct. #: 282-6336212
            Acct. name: JSSST-ISOTAS '93


            Please provide the remittance information if you send your
            registration fee via bank (telegraph) transfer:


            From (bank name): __________________________________________________


            Date of remittance: ________________ Amount (yen) : _______________


*** IMPORTANT NOTICE ***
                  ALL CHARGES/COMMISSIONS ARE TO BE PAID BY THE APPLICANT.
              CREDIT CARDS/PERSONAL CHECKS/MONEY ORDER ARE NOT ACCEPTABLE.


Please return/fax this form to:


          Osamu Mitsui (ISOTAS Secretariat)
          c/o System Research Center Co., Ltd. (SRC)
          510 Asahi Toranomon Bldg.,
          18-6, 3-chome, Toranomon, Minato-ku, Tokyo 105, Japan
          Phone: +81-3-5472-5545, Facsimile: +81-3-3434-2789


****************************** end *********************************
--

Return to the comp.compilers page.
Search the comp.compilers archives again.