Lecture Notes in Computer Science 1543 Edited by G
Total Page:16
File Type:pdf, Size:1020Kb
Lecture Notes in Computer Science 1543 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Serge Demeyer Jan Bosch (Eds.) Object-Oriented Technology ECOOP ’98 Workshop Reader ECOOP ’98 Workshops, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings 13 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Serge Demeyer University of Berne Neubruckstr. 10, CH-3012 Berne, Switzerland E-mail: [email protected] Jan Bosch University of Karlskrona/Ronneby, Softcenter S-372 25 Ronneby, Sweden E-mail: [email protected] Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Object-oriented technology : workshop reader, workshops, demos, and posters / ECOOP ’98, Brussels, Belgium, July 20 - 24, 1998 / Serge Demeyer ; Jan Bosch (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1998 (Lecture notes in computer science ; Vol. 1543) ISBN 3-540-65460-7 CR Subject Classification (1998): D.1-3, H.2, E.3, C.2, K.4.3, K.6 ISSN 0302-9743 ISBN 3-540-65460-7 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. c Springer-Verlag Berlin Heidelberg 1998 Printed in Germany Typesetting: Camera-ready by author SPIN 10693041 06/3142–543210 Printedonacid-free paper Preface At the time of writing (mid-October 1998) we can look back at what has been a very successful ECOOP’98. Despite the time of the year – in the middle of what is traditionally regarded as a holiday period – ECOOP'98 was a record breaker in terms of number of participants. Over 700 persons found their way to the campus of the Brussels Free University to participate in a wide range of activities. This 3rd ECOOP workshop reader reports on many of these activities. It contains a careful selection of the input and a cautious summary of the outcome for the numerous discussions that happened during the workshops, demonstrations and posters. As such, this book serves as an excellent snapshot of the state of the art in the field of object-oriented programming. About the diversity of the submissions A workshop reader is, by its very nature, quite diverse in the topics covered as well as in the form of its contributions. This reader is not an exception to this rule: as editors we have given the respective organizers much freedom in their choice of presentation because we feel form follows content. This explains the diversity in the types of reports as well as in their lay out. Acknowledgments An incredible number of people have been involved in creating this book, in particular all authors and all the individual editors of each chapter. As editors of the workshop reader itself, we merely combined their contributions and we hereby express our gratitude to everyone who has been involved. It was hard work to get everything printed in the same calendar year as the ECOOP conference itself, but thanks to everybody's willing efforts we have met our deadlines. Enjoy reading ! University of Berne Serge Demeyer University of Karlskrona/Ronneby Jan Bosch October 1998 Table of Contents I. The 8th Workshop for PhD Students in Object-Oriented Systems Erik Ernst, Frank Gerhardt, Luigi Benedicenti 1 Framework Design and Documentation ¡ kos Frohner................................................................................................................ 5 Reengineering with the CORBA Meta Object Facility Frank Gerhardt ............................................................................................................ 6 Enforcing Effective Hard Real-Time Constraints in Object-Oriented Control Systems Patrik Persson .............................................................................................................. 7 Online-Monitoring in Distributed Object-Oriented Client/Server Environments G¸ nther Rackl............................................................................................................... 8 A Test Bench for Software Moritz Schnizler............................................................................................................ 9 Intermodular Slicing of Object-Oriented Programs Christoph Steindl........................................................................................................ 10 Validation of Real-Time Object Oriented Applications Sebastien Gerard........................................................................................................ 14 Parallel Programs Implementing Abstract Data Type Operations --- A Case Study Tam· s Kozsik.............................................................................................................. 15 A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design Claudia Pons .............................................................................................................. 16 A Refinement Approach to Object-Oriented Component Reuse Winnie Qiu.................................................................................................................. 17 A Compositional Approach to Concurrent Object Systems Xiaogang Zhang ......................................................................................................... 18 Component-Based Architectures to Generate Software Components from OO Conceptual Models Jaime Gomez .............................................................................................................. 21 Oberon-D -- Adding Database Functionality to an Object-Oriented Development Environment Markus Knasm¸ ller .................................................................................................... 22 Run-time Reusability in Object-Oriented Schematic Capture David Parsons ............................................................................................................ 23 SADES - a Semi-Autonomous Database Evolution System Awais Rashid .............................................................................................................. 24 VIII Table of Contents Framework Design for Optimization (as Applied to Object-Oriented Middleware) Ashish Singhai ............................................................................................................ 25 Object-Oriented Control Systems on Standard Hardware Andreas Speck ............................................................................................................ 26 Design of an Object-Oriented Scientific Simulation and Visualization System Alexandru Telea.......................................................................................................... 26 Testing Components Using Protocols Il-Hyung Cho.............................................................................................................. 29 Virtual Types, Propagating and Dynamic Inheritance, and Coarse Grained Structural Equivalence Erik Ernst.................................................................................................................... 30 On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms Bernd Holzm¸ ller ....................................................................................................... 31 Formal Methods for Component-Based Systems Rosziati Ibrahim ......................................................................................................... 32 Compilation of Source Code into Object-Oriented Patterns David H. Lorenz ......................................................................................................... 32 Integration of Object-Based Knowledge Representation in a Reflexive Object- Oriented Language Gabriel Pavillet .......................................................................................................... 33 Implementing Layered Object-Oriented Designs Yannis Smaragdakis ................................................................................................... 34 An Evaluation of the Benefits of Object Oriented Methods in Software Development Processes Pentti Virtanen............................................................................................................ 35 Process Measuring, Modeling, and Understanding Luigi Benedicenti........................................................................................................ 37 The Contextual Objects Modeling for a Reactive Information System Birol Berkem............................................................................................................... 38 Experiences in Designing a Spatio-temporal Information System for Marine Coastal Environments Using Object Technology Anita Jacob................................................................................................................. 39 Facilitating