ESPRIT'89

ESPRIT '89 Proceedings of the 6th Annual ESPRIT Conference, Brussels, November 27 - December 1, 1989

Edited by

COMMISSION OF THE EUROPEAN COMMUNITIES Directorate-General TELECOMMUNICATIONS, INFORMATION INDUSTRIES and INNOVATION

KLUWER ACADEMIC PUBLISHERS DORDRECHT / BOSTON / LONDON

ISBN-13: 978-94-010-6968-7 e-ISBN-13: 978-94-009-1063-8 001: 10.1007/978-94-009-1063-8

Publication arrangements by Commission of the European Communities Directorate-General Telecommunications, Information Industries and Innovation Scientific and Technical Communications Service, Luxembourg

EUR 12512 © 1989 ECSC, EEC, EAEC, Brussels and Luxembourg Softcover reprint of the hardcover 1 st edition 1989 LEGAL NOTICE Neither the Commission of the European Communities nor any person acting on behalf of the Commission is responsible for the use which might be made of the following information.

Published by K1uwer Academic Publishers, P.O. Box 17, 3300 AA Dordrecht, The Netherlands.

Kluwer Academic Publishers incorporates the publishing programmes of D. Reidel, Martinus Nijhoff, Dr W. Junk and MTP Press.

Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 101 Philip Drive, Norwell, MA 02061, U.S.A.

In all other countries, sold and distributed by Kluwer Academic Publishers Group, P.O. Box 322,3300 AH Dordrecht, The Netherlands.

Printed on acid-free paper

All Rights Reserved No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner.

Foreword

The 6th ESPRIT Conference is being held in Brussels from the 27th November to the 1 st December 1989. Well over 1500 participants from all over Europe are expected to attend the various events during the week. The Conference will offer the opportunity to be updated on the results of ongoing Esprit projects and to develop Europe-wide contacts with colleagues, both within a specific branch of Information Technology and across different branches.

The first three days of the week are devoted to presentations of Esprit I projects, structured into plenary and parallel sessions; this year there is special emphasis on panels and workshops where participants can exchange ideas and hold in-depth discussions on specific topics. The different areas of Esprit work are covered: Microelectronics, Informa­tion Processing Systems, Office and Business Systems, Computer Integrated Manufac­turing, Basic Research and different aspects of the Information Exchange System.

During the IT Forum on Thursday 30th November, major European industrial and political decision-makers will address the audience in the morning. In the afternoon, different aspects of Technology Transfer will be discussed with the participation of outside experts, and presentations on the future plans for community R&D in IT will take place.

This year, more than 100 projects will display their major innovations and achievements in the Exhibition Area which has been significantly expanded to include facilities for informal meetings to discuss all aspects of the projects. The exhibition offers a unique opportunity to acquire in a short time, first-hand, complete and comprehensive knowledge about the results obtained in all areas of the Esprit programme.

I would like to congratulate and thank everyone who has contributed to the Conference: the authors and reviewers of papers and project reports; the chairmen, the speakers, the panelists and workshop participants at the Conference; the project teams which set up the demonstrations and the various organisations who have made equipment available. The success of this Conference is due to all their efforts.

J.M. Cadiou Director Information Technologies - ESPRIT

CONTENTS

Foreword

Table of Contents

Plenary Session

Wafer and Epilayer Improvement Correlated with Device Perfomances for InP Based Optoelectronics (Project 927)

Grant I., Heyen M., JOrgensen H., Schmitz D., Renaud M., Erman M., Le Bris J., Schulte F., Steinberger Ch.

Depth and Motion Analysis: The Esprit Project P940 (Project 940) Musso G.

CAD Interfaces - A Key to Computer Integrated Manufacturing (Project 322) Bey I.

Construction and Management of Distributed Office Systems - Achievements and Future Trends (Project 834)

Balter R

Microelectronics and Peripheral Technologies

Design of a Speech Decoder for Digital Mobile Radio: High Level Synthesis with Cathedral II Versus General Purpose DSP Processors (Project 97)

Adams J., Schmit JJ., Van Camp M.

A Self-Consistent Thermal Simulator of MMIC Multi-Gate GaAs Active Devices (Project 255)

Ghione G., Naldi C.U.

ADVICE Project: Final Balance and Future Perspectives (Project 271) Melgara M., Vernay Y.J., Whyte I., Boland F., Courtois B.

Bipolar CMOS Esprit Project (Project 412) Hart PAH., Klose H.

The Layout Automation Tools in the CVS IC Design System (Project 802) Airiau R, Arato G., Berge J.M., Bussolino G., Fiammengo A.M., Manione R, Olive V., Rouquier D.

Reconfiguration in a Microprocessor: Practical Results (Project 824) Leveugle R, Soueidan M., Saucier G., Wehn N., Glesner M., Trilhe J.

v

vii

3

10

31

47

61

73

89

100

110

126

VllI

Hierarchical Design Rule Check for Full Custom Designs (Project 888) MeierW.

Modular Testing Supported by Block Environment Description (Project 888) Roth W., Johansson M, Glunz W.

Multichip Packages in the Esprit Programme (Project 958) Dehaine G., Kurzweil K., Arrowsmith R., Small D., Chandler N., Tyler S.

Three-Dimensional Simulation of VLSI Devices (Project 962) Ciampolini P., Pierantoni A., Rudan M., Baccarani G.

Software for Modelling Semiconductor Devices in Three Dimensions (Project 962)

Greenough C., Gunasekera D., Mawby P.A., Towers M.S., Fitzsimons C.J.

SPI: A Practical and Open Interface for Electronic CAD Tool Integration (Project 1058)

Schupp J.P., Coclo( J., Claesen L, De Man H.

Large Diameter Semi-Insulating GaAs Substrates Suitable for LSI Circuits (Project 1128)

Martin G.M., Deconinck P., Le Bris J., Maluenda J., Nagel G., Lohnert K., Crochet M., Nicodeme P., Dupre F.

Advanced Manufacturing System AMS (Project 1551) Pinat J., Rachet A.

Information Processing Systems

Achievements and Experiences (Project 125) Itzfeldt W.D.

Performance Interpretation in an Intelligent Help System (Project 280) Stehouwer M., Van Bruggen J.

Knowledge Representation in Eurohelp: Modelling Operation and Understanding of Computer Applications for Help Systems (Project 280)

Breuker J., Duursma C., Winkels R., Smith M.

Reliability and Quality in European Software Technology (REQUEST) (Project 300)

Linkman S.G., Browton G.H.

XLFL: Extended Logical Form Language (Project 311) Gross S., Wehrmeyer A., Rosner H.

Advice-Giving Dialogue: An Integrated System (Project 316) Bronisz D., Grossi T., Jean-Marie F.

138

148

156

165

180

195

207

218

241

248

258

271

277

288

Algebraic Specification with Functionals in Program Development by Transformation (Project 390)

Krieg-Bruckner B.

Knowledge-Based Graphical Dialogue: A Strategy and Architecture (Project 393)

Lee J., Kemp B., Manz T.

ASPIS: A Knowledge-Based Approach to Systems Development (Project 401) Aslett M.J., Mellgren D., Van Y.F., Pietri F.

Parallel Computers for Advanced Information Processing: The Achievements of ESPRIT Project 415 (Project 415)

Odijk E.AM.

Knowledge Base Development in a Standard Framework (Project 440) Attardi G., Simi M.

An Intelligent Case Tool for the Jackson System Development Method (Project 510)

Connolly P., Kearney S., O'Neill D.

PIMS, a Project Integrated Management System (Project 814) Paris J., Vauquois Ph.

Diagnostic Reasoning with the QUIC Toolkit (Project 820) Bertin A, De Ravinel B., Tornielli G.

QUIC Toolkit Demonstrator Applications (Project 820) Cavanna A, Chautard J.C., Honnorat C., Levin M., Klausen B.

The Gradient Backbone Architecture (Project 857) Zinser K., Elzer P., Borchers HW., Weisang C.

The DAIDA Demonstrator: Development Assistance for Database Applications (Project 892)

Jarke M.

AMORE - Object Oriented Extensions to Prolog for the RUBRIC Implementation Environment (Project 928)

Palaskas Z., Loucopoulos P., Van Assche F.

PADMAVATI Parallel Associative Development Machine as a Vehicle for Artificial Intelligence (Project 967)

Guichard-Jary P.

The KADS Knowledge Based System Methodology (Project 1098) De Alberdi M., Cheesman J.

IX

302

321

334

345

361

375

389

403

420

449

459

475

490

500

x

Technical Diagnosis Based on Numerical Models Using PROLOG III (Project 1106)

Jost T., Skuppin R.

Presentation of the Sedos Estelle Demonstrator Project (Project 1265) Ayache J.M., Berrocal J., Budkowski S., Diaz M., Dufau J., Druilhe AM., Echevarria N., Groz R., Huybrechts M.

The ALF Approach to Process Modelling (Project 1520) Griffiths Ph., Jamart Ph., Legait A, Oldfield D.E.

The DRAGON Project (Project 1550) Di Maio A, Bott F., Sommerville I., Bayan R., Wirsing M.

Real-Time Perception Architectures: The SKIDS Project (Project 1560) Ayoun A., Bur C., Havas R., Touitou N., Valade J.M.

System Measurement and Architecture Techniques (SMART) (Project 1609) Crowe M.K., Carrasco J.A.

The KIWI (s) Projects: Past and Future (Project 2424) The KIWis Team

LOCO, a Logic-based Language for Complex Objects (Project 2424) Laenens A, Vermeir D., Verdonk B.

Computer Integrated Manufacturing

The GEC Matrix Coprocessor: - A New Architecture for Real Time Control Applications (Project 179)

Doree P.R.

Production Activity Control (PAC): Pilot Implementation and Project Evaluation (Project 477)

Trentin R.

Integrated Planning and Off-line Programming System for Robotized Work Cells (Project 623)

Bernhardt R.

CIM-OSA - Its Goals, Scope, Contents and Achievements (Project 688) Kosanke K., Vlietstra J.

Integration of Dynamic Expert Scheduling in Production Control (Project 809) De Swaan Arons H., Riewe D.

Cooperating Expert Systems as CIM Modules (Project 932) MeyerW.

513

528

543

554

569

582

594

604

619

626

636

661

674

688

Conformance Testing CNMA Phase 3 (CCT) (Project 955) Knight G.A.

ACCORD: Developing Concepts Towards Integration of Analysis and Design (Project 1062)

Patureau J.P., Trowbridge C.w., Bryant C., Stobbs N.H.W., Parker A.G., Denniss S.J.

System Builder Area of Vitamin Project Description: Major Achievements (Project 1556)

Allari S., Rizzi C., Hagemann M, Tahon C.

Advanced Active Control Algorithms for Industrial Robotics - Overview of Project SACODY (Project 1561)

Faillot J-L.

Methods for Advanced Group Technology Integrated with CAD/CAM (Project 1652)

Van de Steen V.

Industrial Network Management in CNMA Project (Project 2617) Segarra G.

Communications for CIM - a Review of the CNMA Project (Project 2617) SimmonsT.

Office and Business Systems

Multimedia Document Storage, Classification and Retrieval: Integrating the MULTOS System (Project 28)

Constantopoulos P., Lutz E., Savino P., Yeorgaroudakis Y.

An Instrumentation System for CSA and Similar Architectures (Project 237) Horne G.

Development of a Prototype Distributed System Based on the Communication Systems Architecture (CSA) (Project 237)

Wilson M.J., Durand G., Sampson P., Stecher R.

The OSSAD Methodology (Project 285) Beslmueller E., Conrath D.w.

The Treatment of Office Documents: Bridging the Gap between Paper and Computer (Project 295)

Boes U., Maslin G., Wright P., Keil H., Fogaroli G.

xi

710

720

740

757

774

791

806

819

837

849

865

878

XII

Human Factors in Information Technology - Results from a Large Cooperative European Research Programme (Project 385)

Bullinger H.-J., Fiihnrich K.-P., Ziegler J., Galer M.D.

INTUIT, a Knowledge and Structured Design Approach to User-centred Design (Project 385)

Pettitt P.

Modelling and Simulation of the Visual Characteristics of Flat Panel Displays Technologies under Office Work Conditions. (DISSIM) (Project 612)

Placencia Porrero I., Levis J.P., Duprez J., Bosman D., Spenkelink G.

Comandos Integration System (CIS) (Project 834) Copelli S., Cossutta W., De Sano D., Oldano G., Zhong Q.

Testing & Analysis of Local Area Optical Networks (Project 870) Georgiou G., Ralphs K., Lund Nielsen J.

On the Use of LOTOS to Support the Design of a Connection Oriented Internetting Protocol (Project 890)

Ferreira Pires L.

Systematic Design of Telecommunication Systems Using Formal Description Techniques (Project 890)

Schot J.

BMS: A Knowledge Based Budget Management System (Project 956) Chen C., Bicard-Mandel J., Tueni M.

ODNODIF - The Standard Solution to Document Interchange (Project 1024) Nelson J., Bathe C., Campbell-Grant I., Fischer K., Kirstein P., Koether E., Kroenert G., Morel 0., Passaro A., Pennell R., Reynaud F., Schoonwater M., Travers G.

Dynamically Adaptable Multi-Service Switch (DAMS) (Project 1059) Pohlit R., Bleichrodt M.

UCOL: Evolution of the System Concept during the Realization Phase (Project 2054)

Capolupo D., Fioretti A., Forcesi S., Neri E.

Multiworks - A Multimedia Integrated Workstation (Project 2105) Fogaroli G., Sauter L.

Esprit Home Systems Project, a Status Report (Project 2431) Van Dootingh R.

890

903

915

934

947

957

971

985

999

1010

1023

1033

1044

Information Exchange System

V-Net: OSI Services for Researchers in EC Programmes Autier, G.

CACTUS: A Retrospective View (Project 718) Saras J., lanceros A, Berrocal J., Azcorra A, Seoane J., Riera J., Delgado J., Jordan F., Medina M.

Testing the OSI Directory (Project 719) Kille S.E., Barker P., Turland AD.

The EUREKA COSINE Project- Status Report Hill A.J., Newmann N.K.

Basic Research

Towards an Integrated Theory for Design, Production and Production Management of Complex, One of a Kind Products in the Factory of the Future (Action 3143)

Wortmann J.C.

The Dynamic Interpretation of Natural language (Action 3175) Klein E., Moens M.

Esprit Basic Research Action: Sprint Project (Action 3228) Soudoplatoff S. et al.

Dialogue and Discourse (Action 3351) Klein E., Moens M.

Index of Authors

Index of Project Numbers

Index of Acronyms

Index of Keywords

Indexes

Xlii

1051

1052

1065

1078

1089

1100

1108

1112

1119

1123

1125

1127