On May 9, 2000, TOOLS conference series chair Bertrand Meyer informed us that the domain tools.com is no longer applicable, and suggested to update all occurrences on our pages in URLs as well as e-mail addresses so that they instead use tools-conferences.com .
From: firstname.lastname@example.org (Darcy Harrison) Newsgroups: comp.object,comp.lang.eiffel,comp.lang.c++,comp.lang.smalltalk, comp.lang.ada,comp.lang.modula2,comp.edu,comp.graphics,comp.multimedia, comp.sys.next,comp.std.c++,comp.sw.components Subject: TOOLS Europe '95 Final Program Date: 13 Dec 1994 19:09:05 -0800 Organization: Interactive Software Engineering Inc. TOOLS EUROPE '95 CONFERENCE AND EXHIBITION (Versailles - FRANCE) MARCH 6 - MARCH 10, 1995 Program Co-Chairs: Boris Magnusson (Lund University, Sweden) Ian Graham (Swiss Bank, London, UK) Conference Co-Chairs: Bertrand Meyer (ISE Inc., Santa Barbara) Jean-Marc Nerson (SOL, Paris) Welcome to TOOLS EUROPE 95! Held in the royal city of Versailles, TOOLS is the required meeting place for managers and developers interested in understanding object technology, its applications and its implications. HIGHLIGHTS o Philippe Kahn's keynote address: March 7 (13:00 - 14:00) o Bertrand Meyer's keynote address on why we don't need O-O databases: March 9 (11:15 - 12:30) o Robert Marcus's keynote address on objects in the aerospace industry: March 8 (11:15 - 12:30) o 20 different tutorials: March 6-7 by Ivar Jacobson, Meilir Page-Jones, John Daniels, Wolfgang Pree, Bill Premerlani, Paul Jeremaes, Jean Bezivin, James McKim and many other experts. o Advanced tutorials: Friday morning, March 10 o Technical program: March 8-9 20 papers on the most up-to-date aspects of object technology. o Panels with the foremost experts: objects in the financial world; objects in aerospace; O-O databases; multiple inheritance. o The Method Debate: March 9 (16:30 - 18:00) - with the authors of major O-O methods. o Ada workshop: March 9 and Eiffel workshop: March 8 o Exhibition: March 7-9 TUTORIAL PROGRAM TUTORIAL TRACKS 1 METHODOLOGY & MODELING 2 DESIGN & PROGRAMMING 3 DEVELOPMENT & STANDARDS 4 ENGINEERING & REUSE 5 CONCURRENCY & DISTRIBUTION MONDAY 9:00 - 12:30 Kim Walden/Jean-Marc Nerson (MM 1) SEAMLESS O-O SOFTWARE ARCHITECTURES Trevor Hopkins (MM 2) Smalltalk Essentials Ian Graham (MM 3) Running an O-O RAD workshop Nguyen Thuy (MM 4) Large O-O projects in C++ Rachid Guerraoui (MM 5) Object-based languages for distributed systems MONDAY 14:30 - 18:00 Paul Jeremaes (MA 1) The Fusion method James McKim (MA 2) Class interface design and contracts Francois Bancilhon (MA 3) The ODMG standard for Object Database Systems Annie Combelles (MA 4) The O-O approach: a practical way to improve reuse Reinhard Budde/Karl-Heinz Sylla (MA 5) O-O Design for Real-Time Systems TUESDAY 8:30 - 12:00 Gerald Kristen (TM 1) Object-Orientation: the KISS Method Richard Mitchell/Ian Maung (TM 2) Software contracting: the future Meilir Page-Jones (TM 3) From Structured Analysis to O-O development Wolfgang Pree (TM 4) Design Patterns for O-O Software Development Sanjiv Gossain (TM 5) Object Strategies for Client/Server Systems TUESDAY 13:00 - 14:00 Keynote address: Philippe Kahn, Borland International TUESDAY 14:30 - 18:00 Philippe Desfray (TA 1) Class Relation Method and Hypergenericity John Daniels (TA 2) Precise Object Modeling Herve Lejeune (TA 3) OMG: the state of art Ivar Jacobson (TA 4) O-O software engineering Peter Loehr (TA 5) Concurrency FRIDAY 9:00 - 12:30 Bill Premerlani (FM 1) Metamodeling Guido Dedene/Monique Snoeck (FM 2) Consistent and safe O-O models Eduardo Casais/Thomas Lindner (FM 3) Formal O-O Methods Jean Bezivin (FM 4) New trends in the O-O life cycle Peter Ward (FM 5) Building models of Multimedia Systems [Note: session codes indicate time and type of each tutorial. For example: MM1 means Monday Morning, METHODOLOGY & MODELING track TA5 means Tuesday Afternoon, CONCURRENCY & DISTRIBUTION track] CONFERENCE PROGRAM WEDNESDAY MARCH 8 9:00 - 10:30 Session A: Client/server & business process modeling Session B: Programming techniques and architecture Eiffel Workshop 11:15 - 12:30 Keynote: Robert Marcus, Large project experience 14:00 - 16:00 Session C: AI and O-O co-existence Panel session: O-O and databases Eiffel Workshop 16:30 - 18:00 Panel session: Multiple inheritance issues Panel session: Objects in the financial community THURSDAY MARCH 9 9:00 - 10:30 Session D: Concurrency, dynamic modeling and real-time systems Session E: Managing, measuring and modeling O-O projects Ada Workshop 11:15 - 12:30 Keynote: Bertrand Meyer, Object Persistence Without O-O Databases 14:00 - 16:00 Session F: Distributed objects and agents Panel session: O-O and aerospace Ada Workshop 16:30 - 18:00 The Method Debate TUTORIAL DESCRIPTIONS Seamless O-O Software Architectures Kim Walden & Jean-Marc Nerson Level: intermediate (MM1) O-O analysis techniques can be used to create a high- level architecture for an application, which directly models the problem domain and allows seamless transition to implementation in an O-O language. In contrast to other approaches, no paradigm shift is involved; the same O-O abstraction principles apply throughout. The tutorial gives an overview of BON, a method comprising a set of guidelines and notations for O-O analysis and design, drawn from practical experience and directly targeted at reusability. It also reviews existing O-O techniques and compares them with BON. A small case study is used to explain the successive methodological steps. Kim Walden was on the team developing the DEC Simula compiler in the early 1970s. He has more than 20 years of experience with industrial software engineering: product development, research, consultancy, and education. Since 1987, Dr Walden has held a position at Enea Data, Sweden aimed at introducing object technology to Swedish industry. Jean-Marc Nerson is Managing Director of Societe des Outils du Logiciel (Paris). From 1985 to 1991 he was VP of Engineering with ISE (USA) where he led the development of O-O tools and environments based on the Eiffel language. Since 1991, Dr. Nerson has been consulting on large scale O-O projects worldwide and managing the development of reusable component libraries. Kim Walden and Jean-Marc Nerson co-authored ``Seamless O-O Software Architecture: Analysis and Design of Reliable Systems'' (Prentice-Hall, 1995). Smalltalk Essentials Trevor Hopkins Level: intermediate (MM2) This talk introduces Smalltalk for those already adept in another object-oriented language. Basic Smalltalk features are covered fully and rapidly, and more `advanced' capabilities considered. Smalltalk is presented as an integrated language and environment, with a pure O-O language model. The following topics are covered. Language and library issues: collection and GUI classes, metaclasses, exception handling, environment: compiler, workspaces, browser, inspectors, debugger, Multi-person development. Metaprogramming: identity-changing primitives, dynamic class-changing methods. Concurrency: processes and semaphores, concurrency classes, recursion-safe locking and concurrency-safe data structures. Trevor Hopkins is a Senior Lecturer in Computer Science at the University of Manchester. His research interests include O-O design quality analysis, automatic design transformation, language implementation techniques and concurrent object programming. He has also been introducing O-O development to many companies. Running an O-O RAD Workshop Ian Graham Level: intermediate (MM3) This tutorial will explain the SOMA approach to system development in outline, concentrating on its use of O-O RAD workshops for requirements capture and business process reengineering. Participants will learn how to organize and facilitate such a workshop and have the chance to walk through a simple example set as an exercise. Agenda: The basics of O-O analysis and object modeling using SOMA. Running an O-O RAD. Requirements capture and the Task Object Model. Transforming the Task Object Model to a Business Object Model. Hands on simulation using class cards to debug the specification. Building an event trace. The non- procedural life cycle model. Ian Graham is a specialist in object technology with Swiss Bank Corporation. He contributes regular columns to Object Magazine and Report on Object Analysis and Design. His SOMA (Semantic Object Modeling Approach) is described in outline in his book ``Object-Oriented Methods'' and in full in the recently published ``Migrating to Object Technology'' (both Addison-Wesley). Large O-O projects in C++ Nguyen Thuy Level: intermediate (MM4) This tutorial shows how objects can be used in real life systems to address key software engineering issues. It will first present some key issues in the design and the implementation of large object oriented software systems: tests, maintenance, perenniality of persistent data, reuse, productivity of development teams. It will underline some of the dangers of a naive usage of the object oriented approach with respect to these issues, and the consequent risks for the success of large projects. Architectural, design and test principles addressing these issues will then be given. Examples in C++ will demonstrate that one of the real interest of the object oriented approach is to provide extremely elegant mechanisms for the implementation of these principles. Nguyen N.Q. Thuy is a research engineer at the Research and Development Division of EDF, the French electric power utility. From 1988 to 1994, he has been a consultant for software engineering at Matra Datavision, where he actively participated in the development of CASCADE. Formerly, he was a member of the EAST (Eureka Advanced Software Technology) project team for the specification of advanced CASE environments. Object-based languages for distributed systems: Towards a classification Rachid Guerraoui Level: intermediate (MM5) There has recently been a great interest in using O-O concepts for distributed systems. One major reason is the adequation of encapsulation and object invocation paradigms. Consequently, many object-based languages have been designed with distribution in mind. For a better understanding and evaluation of these languages, this tutorial proposes a classification based on different aspects such as concurrency expressivity, concurrency control, handling of failures, and objects placement. Various design alternatives are presented: active vs. passive objects, synchronous vs. asynchro- nous invocations, internal vs. external concurrency control, independent vs. dependent concurrency control, atomic vs. non atomic invocations, implicit vs. explicit objects placement, etc. All the alternatives are discussed using examples and are evaluated according to criteria such as flexibility, simplicity and modularity. Rachid Guerraoui is member of the Operating Systems Lab at the Computer Science Department of Ecole Polytechnique Federale de Lausanne. His research interests include distributed systems, fault-tolerance, and object-oriented programming. The Fusion method Paul Jeremaes Level: intermediate (MA1) This tutorial provides attendees with an introduction to the Fusion O-O development method. The method builds on early, first generation, methods (e.g. Booch, OMT, CRC, and Objectory) and provides a direct route from requirements definition through to programming language implementation. Fusion was launched by Hewlett-Packard in 1992 and is currently being used worldwide by projects both inside and outside of HP; it is supported by 3rd party CASE tool vendors. Paul Jeremaes is a researcher at HP Laboratories. His research over the past 10 years has focused on the development of software engineering methods and on formal specification techniques. Prior to joining HP he worked in the telecommunications industry as a lecturer in software engineering. For the past 2 years he has been a member of the O-O methods research and consultancy team and is one of the developers of the Fusion method. He co-authored ``Object-Oriented Development, The Fusion Method'' (Prentice-Hall, 1994). Class Interface Design and Programming by Contract James McKim Level: intermediate (MA2) Programming by contract (PBC) is a form of O-O programming popularized by Bertrand Meyer in his book, "Object-Oriented Software Construction". The ideas embodied in PBC result in simpler and shorter code and is flexible enough to be of great assistance in the specification, documentation, and verification of features and classes. The presentation will address the following questions: What are the goals and benefits of PBC and what is the effect on class interface design? Must commands (state changers) be separated from queries (state accessors) and is there a difference between the kinds of assertions that may be applied to commands as opposed to queries? What kind of information should be contained in an invariant? What improvements/ additions to PBC will we see in the next few years? Examples will be taken from several Eiffel vendors' libraries as well as from working Eiffel systems. James C. McKim, Jr. is Professor of Computer Science, Hartford Graduate Center Dr. McKim has more than 20 years of experience teaching mathematics and computer science. He has authored, coauthored and reviewed a number of textbooks and articles in both areas. His research interests include O-O programming and design in general, and class interface specification in particular. The ODMG Standard for Object Database Systems Francois Bancilhon Level: intermediate (MA3) Object database systems (ODBS) have been available for more than 4 years and have reached a clear level of maturity. There is quite an abundant offer mainly driven by the needs of systems such as CAD, CASE, Office Information Systems and any system storing and manipulating complex or multimedia data that can evolve gracefully, and deliver high-performance in the manipu- lation of complex structured data. Traditional business-type applications such as finance and insurance are now showing interest for this technology. The tutorial covers the following topics: current state of database technology and relationship between database and programming technology. Underlying concepts: the mandatory rules from the "ODB Manifesto". ODMG 93, standard proposed by the Object Database Management Group: data model, ODL data definition language and OQL query language, language bindings for C++ and Smalltalk. Benchmarks, market and applications. Francois Bancilhon is CEO of O2 Technology a company that develops, maintains and markets the 02 OODBMS system. Francois Bancilhon has been with INRIA as a researcher and project leader from 1976 to 1980, a Professor at the University of Paris XI from 1981 to 1984, a Team Leader at MCC, Austin Texas, from 1984 to 1986 and the Director of the Altair research consortium from 1986 to 1990. The O-O approach: a practical way to improve reuse Annie Kuntzmann-Combelles Level: introductory (MA4) O-O programming languages have bought a bunch of new concepts in software engineering, and somehow one could consider this as a revolution of culture. With a new and powerful paradigm, we can expect to solve simple problems as well as complex projects. The tutorial explains which OOPL concepts are useful in a general O-O approach and which ones are more dedicated to object reuse. Based on real experiences achieved in various application domains, the presentation illus- trates the basic principles of how to efficiently make reuse happen. It includes the description of a measure- ment framework to analyze the ROI of the reuse policy and an O-O development process emphasizing reusability. Annie Kuntzmann-Combelles is Executive Vice-President of Objectif Technologie and consultant for software engineering strategies and methods. From 1985 to 1989 she was head of Software Engineering and Applications Division at CISI Ingenierie. She is chairperson of the IEEE Software Advisory Board and Member of IFIP WG5.4. O-O Design for Real-Time Systems Reinhard Budde & Karl-Heinz Sylla Level: intermediate (MA5) Real-time systems embedded into larger applications are reactive: they are stimulated by signals coming from the environment and give feedback to that environment. The basic O-O properties such as encapsulation, inheri- tance, polymorphism and contracting are needed to hide hardware/software design decisions, to master the development of variants, to achieve maintainable, flex- ible systems architectures, and to prove properties enabling the compliance to specified reaction times. After reviewing existing approaches ranging from system dynamics to reactive O-O systems, a classification of real-time systems into preemptive and non-preemptive characteristics is discussed using an O-O framework. The framework combines perfect synchronizations (as in Esterel, Argos, or Statecharts) with the O-O paradigm. It is based on Eiffel-like descriptions. Classes are augmented by a behavior-description and inheritance is combined with compatible behavior. The system executes time-critical objects in parallel. Reaction times are obtained by worst-case bottom-up calculations and used for prescheduling the time-critical parts. Medium-sized industrial control applications demonstrate how the approach works in practice. Reinhard Budde is a computer scientist at the German National Research Center for Computer Science and head of a project, in which an integration of O-O and syn- chronous languages for reactive systems is investi- gated. Karl-Heinz Sylla is a computer scientist at the German National Research Center for Computer Science. He has substantial experience with programming languages and development systems and has been responsible for the design and implementation of large scale O-O systems. Object-Orientation: the KISS Method Gerald Kristen Level: intermediate (TM1) This tutorial addresses the basic principles of the KISS method for Object Orientation. The modeling principles of the KISS method are based upon the grammar of communication with the natural language we use every day. In the tutorial the attendees will apply the modeling techniques of the KISS method in a real world case with the KISS-DOMINO game and will experience how the different model-types validate each other with formal rules. Finally the tutorial demonstrates how the O-O models are transformed directly into a running information system for any implementation environment. Gerald Kristen is general manager of KISS in Veghel (The Netherlands), a consulting firm specializing in object orientation. He is the author of ``Object Orientation, the KISS method. From Information Architecture to Information System'' (Addison Wesley). Software contracting: the future Richard Mitchell & Ian Maung Level: intermediate (TM2) Strongly-typed programming languages were a significant improvement on their predecessors for the engineering of software-driven systems. Software contracting is set to provide an equally significant leap along the road towards reliable software. Eiffel has given the world an effective programming language that supports software contracting at the design and programming levels, and other languages are following suit. Eiffel, has only started the ball rolling, and there is more to come. Software contracting can be greatly enhanced, and support for the enhancements would require only modest changes to the Eiffel and to its vendors run-time systems. The aim of this tutorial is to present the kinds of enhancements that research has now shown to be possible, and to propose directions for change in languages that support software contracting. The enhancements fall into two kinds: those that deliver better run-time checking of existing contracts, and those that allow new forms of contract to be expressed and checked. Richard Mitchell heads the Software Engineering Research Group in the Department of Computing at the University of Brighton. His research interests are in literate software development and its application within formal and O-O methods. Ian Maung is a Research Fellow in the Department of Computing at the University of Brighton. His research interests are in the formal aspects of O-O software development, including the use of formal methods in software development. Object-Orientation and Structured Techniques: Where they overlap; where they conflict. Meilir Page-Jones Level: beginner (TM3) O-O has been termed a revolution. But how much does it overturn the principles of Software Engineering that were successful in the 1970s and 1980s? Although some radicals answer "completely" and some dinosaurs answer "not at all", the truth probably lies somewhere in between. How does the structure of an O-O system differ from that of traditional systems? Is there a notation for depicting O-O systems that is compatible with traditional systems? Does O-O allow us to dispense with analysis and design? Some other issues will be explored in the tutorial. Partitioning: O-O versus events. Coupling and cohesion: are they still relevant? CASE tool requirements. Top-down or bottom-up? Demands imposed by reusability. Meilir Page-Jones is president and senior consulting methodologist at Wayland Systems Inc. (Bellevue, WA). He is co-author of Wayland Systems' courses on The Synthesis Method for O-O Systems Development and Methods for Client/Server Systems Development. Prior, M. Page-Jones was Head of the Structured Design Department at Yourdon Inc. (New-York City). Currently, he carries out training and consulting at many major corporations. He authored two books: ``The Practical Guide to Structured Systems Design'' and ``Practical Project Management''. Design Patterns for Object-Oriented Software Development Wolfgang Pree Level: intermediate (TM4) Design patterns recently emerged as a glimmer of hope on the horizon for supporting the development and reuse of O-O software systems. They represent a complementary enhancement of existing O-O analysis and design (OOAD) methods. This tutorial gives a detailed overview of state-of-the-art design pattern approaches. A case study exemplifies how they allow to capture and communicate the design of O-O software systems. The tutorial discusses the role of design patterns as means for augmenting existing OOAD methods in order to significantly improve reusability. Participants should be familiar with basic concepts of the O-O programming paradigm. Wolfgang Pree is vice director of Washington University's Pen Computer Research Laboratory and guest scientist at Siemens' Corporate Research division in Munich. Dr. Pree has been consulting on O-O projects in Europe and the US. He is the author of ``Design Patterns for Object-Oriented Software Development'' (Addison-Wesley/ACM-Press, 1994). Object Strategies for Client/Server Systems Sanjiv Gossain Level: intermediate (TM5) The message-passing paradigm of objects fits in excep- tionally well with the distributed nature of client/server systems. However, client/server systems pose a challenge for existing object development strategies, especially in their need for concurrency, distribution, and asynchronous messaging. Current O-O methods are rich in notation and description, but weak in process and heuristics. They do not adequately address the design of systems that must operate in distributed environments. The tutorial introduces a set of object development strategies found useful in developing client/server systems. The discussion addresses the compatibility between O-O technology and client/server systems. Techniques for partitioning, taking advantage of distribution and concurrency, utilizing asynchronous message passing to the full are described with examples. Sanjiv Gossain is an Associate Director of Cambridge Technology Partners (UK), a global client/server consulting firm. Dr. Gossain has been involved in the successful deployment of a number of O-O systems in a broad range of application areas in the USA and Europe. He has been involved in object technology for more than 8 years. O-O Application Development: Class Relation Method and Hypergenericity Philippe Desfray Level: intermediate (TA1) The Class-Relation method was specifically designed for O-O development in 1990. The newly introduced hypergenericity concept addresses the following challenges. How to formalize and systemize the transition from analysis to design, how to implement and automate the development process from specification through final coding, and how to set up a technical expertise thesaurus. The tutorial is aimed at practitioners of O-O methods such as Booch, OOA, OMT... It provides solutions to complexity control issues raised during the development of large-scale software systems. After an overview presentation of the Class Relation Method, hypergenericity principles are discussed, followed by generalization techniques. Reviewed case studies deal with man/machine interface modeling, model transformation for client/ server applications, and relational database implementation of O-O analysis. The control of the development process is also discussed. Philippe Desfray is head of research and development at Softeam a software company dedicated to promoting the Class Relation methodology and Objecteering, its supporting O-O CASE tool. He has more than 10 years of experience in the software engineering field. He authored ``Object Engineering: the Fourth Dimension'' (Addison Wesley, 1994). Precise Object Modeling John Daniels Level: intermediate (TA2) Although diagrams are by far the most popular way to represent the results of analysis and design, they frequently lack precision and expressive power, and are often supplemented by natural language annotations. On the other hand, formal methods based on mathematical logic convey a precise meaning, but can be hard to understand. Syntropy is a second-generation object- oriented analysis and design method which combines the diagrammatic power of popular first-generation methods, such as OMT, with the additional rigour and consistency of formal methods like Z. This tutorial, intended for practising software developers, will describe how to use Syntropy to produce precise object models. John Daniels is Director of Object Designers Ltd, a UK-based consultancy practice specializing in object- oriented methods. He has practised object-oriented software development for many years. He is co-author with Steve Cook of ``Designing Object Systems: Object- Oriented Modeling with Syntropy'' (Prentice-Hall, 1994). Distributed Objects: The OMG Solution Herve Lejeune Level: intermediate (TA3) The tutorial presents the current state of the OMG specifications. OMG Object Model and Architecture; Common Object Request Broker Architecture (including Interface Definition Language, IDL to C and C++ mapping, Interface Repository and Interoperability); Common Object Services (including Naming, Life Cycle, Events, Persistence, Concurrency, Relationships, Transactions, Security, Externalization, Query, Properties, Licensing); Common Facilities and Business Objects. Main OMG compliant existing products (as IBM DSOM, IONA ORBIX, SunSoft DOE) are also presented and relationships with other Models and Architectures (as PCTE, ODMG, COM/OLE2) discussed. Herve Lejeune has more than 10 years of experience in computing industry, mainly in O-O languages and systems. He was one of the main contributor of the Object Transaction Service which was adopted by the OMG and has participated to the evaluation of several CORBA implementations. He is currently heading a team in charge of the development of OMG compliant components at Bull. O-O Software Engineering Ivar Jacobson Level: intermediate (TA4) This tutorial defines a process concept for O-O software development which covers the whole life cycle for software products (including embedded system software). The objective is furthermore to understand the need for several models in system building, how use cases help the development process to design the requested system, to find the right objects, to work as the glue between different models and to structure each model of a large system, and how in the real world, naive objects found during the analysis activities should be implemented by other objects robust against future changes of the system. The following topics are covered: the process concept, different scenarios for the process, the model concept and the the use case concept. Ivar Jacobson is founder and VP of Technology at Objective Systems in Sweden, a software company that develops and markets the object-oriented development method ObjectOry. He has more than 20 years of experience in the telecommunications industry. He developed an early object-based design technique a major portion of which has evolved into the international standard CCITT/SDL. Concurrent O-O Programming Peter Loehr Level: intermediate (TA5) Concurrency blends well with object orientation because an object is akin to a process. But there are still many choices for how to exactly relate classes to processes, in particular with accommodating inheritance. We will explore different approaches to combining object orientation with concurrency and study programming languages implementing those approaches. Distributed implementations are available for several languages; there are also languages especially designed for massively parallel processing. An assessment of how the user of those languages is affected by physical distribution will be given, and some implementation problems will be discussed. Klaus-Peter Loehr is a professor of computer science at Freie Universitaet Berlin, specializing in object technology and distributed systems. He is currently leading project HERON which deals with development support systems for distributed O-O applications. Metamodeling William Premerlani Level: advanced (FM1) Besides mirroring the real world, an object model can also be used to represent deeper abstractions, such as other models. For example, it is possible to model the constructs found in an object model, a dynamic model, or a functional model with object, dynamic, and functional models. Such models of models are called metamodels. Although they are often difficult to understand and construct, metamodels can greatly increase the versatility of software and raise the productivity of software developers. Furthermore, if properly constructed, it is possible for a metamodel to describe itself. This tutorial covers several topics related to metamodeling: motivation for using metamodels, metamodeling concepts, examples of metamodels, and applications of metamodeling. William Premerlani is a computer scientist at the General Electric R & D Center in Schenectady (New-York). His research interests include O-O methodologies, applications of metamodels, and database technology. He co-authored ``Object-Oriented Modeling and Design'' (Prentice Hall, 1991). Consistency checking and safe implementations for O-O models Guido Dedene & Monique Snoeck Level: advanced (FM2) This tutorial introduces formal consistency checking techniques for O-O models to demonstrate how this can induce higher quality software specifications. Formal techniques are based on the expression of life-cycle constraints for object classes by means of an algebra of idempotent semi-rings. The uniqueness of a structure-preserving partial ordering on these semirings allows to classify object classes according to existence dependency. This classification is the basis for the elimination of conflicting class behavior specifications. The classification indicates when relationships are needed as contract object classes. These techniques have been developed in the scope of the M.E.R.O.D.E project and are applicable to any O-O methodology that is making use of event- based preconditions. Examples of consistent and inconsistent models will be given. The transformation of O-O models into implementation models is discussed. Guido Dedene is Associate Professor at the Katholieke Universiteit Leuven, director of European Services of G.U.I.D.E. and Share Europe, co-founder of the Leuven Institute for Research on Information Systems and president of ELiAS, a company that applies O-O techniques to library systems. Monique Shoeck is responsible for I.T.education and application development tools assessment at the Katho- lieke Universiteit Leuven. Formal O-O Methods Eduardo Casais & Thomas Lindner Level: advanced (FM3) Basing software construction on formal methods is a key issue when dealing with the production of reliable programs. Formal O-O methods combine the advantages of object-orientation, notably its powerful modeling capabilities, and those of formal methods such as verifiability of program properties. This tutorial reports on the state of the art in formal O-O methods. The issues to address when integrating object- orientation and formal methods are considered, and various integration strategies are presented. Major formal approaches (such as Object-Z, OSDL or Z++) are compared and evaluated. The application of formal O-O methods is illustrated with a case study dealing with the specification and implementation of control programs for the model of a manufacturing plant. The advantages, but also the traps and pitfalls of formal approaches are highlighted, and their impact on the development process of reactive systems is discussed. The tutorial concludes on how formal O-O methods influence the software development process especially with respect to the problems of reusability of specifications and of modular verification. Eduardo Casais worked at the University of Geneva (Switzerland) on methods for managing the evolution of O-O libraries. He is currently head of the Software Engineering Department at the FZI and investigates the utilization of O-O methods and reusable frameworks in industrial applications. Thomas Lindner is currently a researcher at FZI and works on formal methods. He is active in different pro- jects dealing with the transfer of formal methods into industrial environments and has coordinated a large- scale case study in this field. New Trends in the O-O Life cycle: the OSMOSIS View Jean Bezivin Level: advanced (FM4) This tutorial presents a general view of the O-O software life cycle. The design process can be viewed as a composition of "corporate objects" (modeling enti- ties from the problem domain) and "technical objects" (modeling entities from the computer configuration, i.e. the means domain). This process is performed under the control of requirement scripts, a generalization of use cases, and follows generic composition patterns or frameworks. The general organization of the life cycle is defined and the following type of models identified: strategic, requirement, domain analysis, design, technical, test, metrics, formal specification, implementation, etc. Although these object-based models seems to emphasize seamlessness important incompatibilities exist between them. To capture their similarities, differences and various relationships the core formalism of sNets is introduced. Translation examples of conventional object formalisms into sNets are presented, showing how it builds up the kernel of a nexperimental environment, the OSMOSIS meta CASE. The tutorial starts with a brief description of O-O methods (OMT, OBJECTORY, FUSION, SYNTROPY, etc.) and concludes on how a metamodeling approach can be used to provide an initial ontology of O-O software concepts. Jean Bezivin is professor of Computer Science at the University of Nantes (France) where he is leading a Master Program entirely devoted to O-O technology. Building models of Multimedia Systems Peter Ward Level: advanced (FM5) The tutorial is based on a practical and pragmatic experience and a multidisciplinary, multiviewpoint approach to information systems development. It will be illustrated with a number of case studies and working applications. The use of OOT and OOPL will be linked with the development of models of multimedia. Notion of `information modeling' and the design of generic, flexible, enhanceable and distributable O-O systems, developed by working closely with users and in real world applications are discussed. Key issues include portability, scalability and distribution; high quality, configurable and flexible user-friendly interfaces and the providing of a variety of access and the support of key tasks in information modeling and communication. Peter Ward is Director of the Information Modeling Programme (IMP) Group at the University of Leeds and a Consultant to CleverWare, a software house in Leeds. CONFERENCE KEYNOTE PRESENTATIONS Tuesday, March 7, 13:00-14:00: Philippe Kahn, founder and CEO of Borland International, will present his visions of the future of O-O technology. Wednesday, March 8, 11:15-12:45: Robert Marcus will discuss how O-O techniques have been introduced at Boeing Computer System Divisions and will report experience of success stories and faced obstacles, sharing his experience of dos and don'ts. Thursday, March 9, 11:15-12:45: Bertrand Meyer, author of several best-sellers on O-O software development, language, environment and libraries will talk about object persistence and why O-O databases may not be needed. PANELS AND DEBATE The Database Panel: Wednesday, March 8, 14:00 - 16:00 Chair: Georges Gardarin (PRISM, Versailles) Representatives from: Informix, Oracle, O2, Object Design, Matisse, Versant ... This panel brings together representatives from the relational and the object-oriented database field to discuss the pros and cons of each technology, their possible co-existence and their solutions to new software architectures. The Multiple Inheritance Panel: Wednesday, March 8, 16:30 - 18:00 Chair: Ian Graham (Swiss Bank, London) Reasoning in multiple inheritance systems raises several difficulties. How should we address them? Should we use fuzzy classifications? Should we introduce "overriding" operators? Do generalized class invariants solve this issue? Objects in finance: Wednesday, March 8, 16:00 - 18:00 Chair: Roger Lang (CEO Infinity, USA) Representatives from: Societe Generale, Credit Agricole, Swiss Bank Corporation and other major financial institutions. How can O-O technology help construct banking IS, front office or back office software? What are the con- straints of the area? What reusable library classes can be expected? The Aerospace Panel: Thursday, March 9, 14:30 - 16:00 Chair: Robert Marcus (Boeing Computer System Division, USA), Representatives from: Boeing, Matra/Espace, ESA/ESTEC, Aerospatiale and other aerospace companies. This panel reports on O-O experiences conducted in aeronautics and aerospace company and organizations for the design and implementation of applications ranging from tools to embedded software systems. The Method Debate: Thursday, March 9, 16:30 - 18:00 Invited method creators: J. Daniels (Syntropy), G. Dedene (MERODE), P. Desfray (Objecteering), M. Goldberg (Booch), I. Graham (SOMA), S. Jacobson (Objectory), P. Jeremaes (Fusion), G. Kristen (KISS), J. McKim (Design by Contract), M. Page-Jones (Synthesis), B. Premerlani (OMT), K. Walden and J.-M. Nerson (BON). There are many controversial issues in the field of O-O methods: should they be pure or hybrid? Should they include traditional data modeling capabilities? How to couple an O-O method with a language of choice? Creators of some of the most popular methods will argue for their view of the field and defend their contributions. CONFERENCE SESSIONS WEDNESDAY, MARCH 8, 9:00 - 10:30 Session A: CLIENT/SERVER & BUSINESS PROCESS MODELING O-O Collaborative Process Modeling J. Lonchamp (CRI Nancy, France) Modeling Client-Server Systems P. Fitsilis, P. Cheliotis, S. Kontaxaki, S. Varchalamas (Intrasoft, Greece) Building Reliable Client-Server Software Using Actively Replicated Objects K. R. Mazouni, B. Garbinato, R. Guerraoui (EPFL, Switzerland) Session B: PROGRAMMING TECHNIQUES AND ARCHITECTURE Parser Delegation, an O-O Approach to Parsing J. Bosch (Karlskrona Univ., Sweden) Software and Softwires: Towards a Component-Object Assembly Language M.R. Cantone (AT&T Bell Lab., USA) SOOP - a Synthesizer of an O-O Parser J. Gil, D.H. Lorenz (Institute of Technology, Israel) WEDNESDAY, MARCH 8, 14:00 - 16:00 Session C: AI/O-O COEXISTENCE A Hybrid Method Approach for O-O Knowledge-based Systems Specification & Design S. Ayache, M. Haziza, D. Cayrac (Matra Marconi Space, France) Spying as an O-O Programming Paradigm F. Pachet (Laforia, France), F. Wolinski (Laforia & CDC, France), S. Giroux (LICEF Univ. Montreal, Canada) Mixing Constraints and Objects: a Case Study in Automatic Harmonization F. Pachet, P. Roy (Laforia, France) A Meta KModelization Technique: The MetaGEN System N. Revault, H.A. Sahraoui, G. Blain, J.F. Perrot (Laforia, France) THURSDAY, MARCH 9, 9:00 - 10:30 Session D: CONCURRENCY, DYNAMIC MODELING AND REAL-TIME SYSTEMS A Graphical Design Environment for the Development of O-O Hard Real-Time Systems C. Eriksson, R. Hassel, L. Myrehed, K. Sandstrom (Malardalen Univ., Sweden) Integrating States in an O-O Concurrent Model J.L. Sourouille, H. Lecoeuche (INSA Lyon, France) OMT-RT: Extensions of OMT for Better Describing Dynamic Behavior R. Arthaud (Verilog, France) Session E: MANAGING, MEASURING AND MODELING O-O PROJECTS Building Large O-O Systems S. Wallin (Erisoft, Sweden) Towards Quality Control Metrics for O-O Systems Analysis L. Badri, M. Badri, S. Ferdenache (Annaba Univ., Algeria) Project Management Issues in O-O Development B. Thal, (Swiss Bank London), T. Docker (CITI, UK) THURSDAY, MARCH 9, 14:00 - 16:00 Session F: DISTRIBUTED OBJECTS AND AGENTS Objects Serving as Communication Agents N.R. Doshi (Bell Communication Research, USA) Supporting intelligent agents in a distributed environment: a COOL-based approach B. Dillenseger, F. Bourdon (SEPT-Caen, France) TIMODE: a Testbed for the Interchange of Multimedia Objects in a Distributed Environment T. Bouron, A. Deleplanque, J. Douget (CCETT, France) Programming with Object Groups in PHOENIX P. Felber, R. Guerraoui (EPFL, Switzerland) WORKSHOPS WEDNESDAY, MARCH 8, 9:00 - 10:30 and 14:00 - 16:00 Eiffel workshop, chair: Simon Parker (Eiffel Ireland) THURSDAY, MARCH 9, 9:00 - 10:30 and 14:00 - 16:00 Ada workshop, chair: Nasser Ketani (CR2A) USER GROUP MEETINGS Friday afternoon, March 10 European Smalltalk User Group Contact: Annick Fron, email:
International Eiffel User Group Contact: Darcy Harrison, email: Club OMT Contact: Philippe Elinck, email: SOCIAL PROGRAM Wednesday, March 8, 18:30 Private Guided Tour of the Chateau de Versailles Wednesday, March 8, 20:30: Conference Dinner EXHIBITION List of exhibitors (as of November 30, 1994): Alsys, Cadre, Eliott, Ilog, Informix, Intrasoft, IDE France, IHM, ISE USA, KISS, LCI, Le Monde en Tique, NSL, Oblog, Parallax, Prentice-Hall, Rational, Reich & Cie, Scientific Computers, SOCS Groupe, Softeam, SOL, Verilog, Xanth ... PROGRAM COMMITTEE Bruce Anderson (UK) Dino Mandrioli (I) Francois Bancilhon (F) Marc Nanard (F) Bernard Coulange (F) Jean-Marc Nerson (F) Elspeth Cusack (UK) Walter G. Olthoff (D) Eduardo Casais (D) Jean-Francois Perrot (F) Paul Dubois (USA) Rob Pooley (UK) Annick Fron (F) Roger Rousseau (F) Jean-Marc Geib (F) Jean-Claude Royer (F) Rachid Guerraoui (CH) Dave Thomas (CDN) Ivar Jacobson (S) Jean Vaucher (CDN) Eric Juul (DK) Kim Walden (S) Stein Krogdahl (N) Anthony I. Wasserman (USA) Jorgen Lindskov Knudsen (DK) Roberto Zicari (D) Ole Lehrmann Madsen (DK) IN COOPERATION WITH Prentice-Hall, AFCET, INRIA, Elsevier, Information and Software Technology REGISTRATION FEE Before January 25 January 25 or later One tutorial Regular Registration 1790 FF 2050 FF Full Time Faculty/Speaker 1290 FF 1450 FF Full Time Student 550 FF 650 FF Two tutorials Regular Registration 3150 FF 3550 FF Full Time Faculty/Speaker 2050 FF 2350 FF Full Time Student 950 FF 1150 FF Four tutorials, a fifth tutorial free Regular Registration 5990 FF 6850 FF Full Time Faculty/Speaker 3990 FF 4590 FF Full Time Student 1750 FF 1990 FF Conference only (two days) Regular Registration 4390 FF 4950 FF Full Time Faculty/Speaker 3150 FF 3650 FF Full Time Student 990 FF 1350 FF Full package (Conference + five tutorials) Regular Registration 8290 FF 9490 FF Full Time Faculty/Speaker 6150 FF 6990 FF Full Time Student 1990 FF 2350 FF One-day workshop Ada or Eiffel (free access if registered to the Conference) Regular Registration 3190 FF 3650 FF Full Time Student 690 FF 850 FF Guided Tour of the Versailles castle 200 FF 200 FF Conference Dinner 300 FF 300 FF All prices are net (VAT included). Prices marked ``before January 25'' apply only if payment is received before that date. Prices include a copy of the tutorial notes for each tutori- al attended, a copy of the conference proceedings, breaks, lunches, as well as free access to the Exhibition. Atten- tion: special rate for Full Time Students does not include lunches. Payment should be made in French Francs by check, credit card or international money order to TOOLS EUROPE '95 and accompany the registration form. Substitutions will be ac- cepted at any time. Written cancellations received by February 15, 1995 will be liable to a 50% service fee. After this date there will be no refund. VENUE (Tutorials, Conference and Exhibition) Versailles-Palais des Congres 10 rue de la Chancellerie, 78000 Versailles (FRANCE), Phone: (+33-1) 39 51 46 30 Fax: (+33-1) 39 21 15 82 REGISTRATION FORM ___________________________________________________________ SEND PAYMENT AND THIS REGISTRATION FORM TO: TOOLS EUROPE '95 104 rue Castagnary - 75015 Paris - France Tel: (+33-1) 45 32 58 80 Fax: (+33-1) 45 32 58 81 E-mail: email@example.com Last Name ______________________________ First Name______________________ Company Name _______________ Company Address______________________________ City ________________________ Zip Code ____________ Country_______________ Phone ______________________ Fax __________________ Email_________________ I select (Please check): [ ] Full package (4 1/2 days) ____________ FF [ ] Conference only (2 days) ____________ FF [ ] ____ tutorial(s) ____________ FF [ ] Language Workshop (1 day) ____________ FF [ ] Guided Tour (March 8) @ 200 FF ____________ FF [ ] Dinner (March 8) @ 300 FF ____________ FF TOTAL AMOUNT ____________ FF Tutorial choice (please circle tutorial you wish to attend): MARCH 6 Morning: MM1 MM2 MM3 MM4 MM5 Afternoon: MA1 MA2 MA3 MA4 MA5 MARCH 7 Morning: TM1 TM2 TM3 TM4 TM5 Afternoon: TA1 TA2 TA3 TA4 TA5 FRIDAY 10 Morning: FM1 FM2 FM3 FM4 FM5 PAYMENT [ ] Check enclosed [ ] Bank wire transfer to: BAECQUE BEAU PARIS NATION 3 rue des Mathurins 75440 Paris Cedex 09 - France Account number: 30118/00002/003416Q1514/14 [ ] Visa [ ] Mastercard [ ] Eurocard [ ] American Express Number: _____________________________________________________ Expiration date: ____________________________________________ Authorized Signature: _______________________________________ [TOOLS/SOL number for continued education 11.75.12467.75] _______________________________________________________________________ HOTEL RESERVATION FORM (TOOLS Europe '95 March 6-10, 1995) LAST NAME _________________________________________________________ FIRST NAME _________________________________________________________ ADDRESS ___________________________________________________________ CITY ___________________ ZIP CODE __________ COUNTRY _____________ PHONE _____________________ FAX ______________________ Date of arrival: _________ Date of departure: ________ Number of persons: _______ Number of nights: _________ [ ] Single [ ] Double (1 person) (2 persons) _______________________________________________________________ Please fax the above form as soon as possible to the hotel of your choice. You will receive a confirmation of your reservation directly from the hotel. Payment instructions will appear on the acknowledgment sent back to you. HOTEL AND PRICE CATEGORIES including breakfast for one person (Following hotels are walking distance from conference center) **** Sofitel Versailles | Phone: (+33 1) 39 53 30 31| < 707 FF 2 bis, avenue de Paris | Fax: (+33 1) 39 53 87 20| | | *** Hotel le Versailles | Phone: (+33 1) 39 50 64 65| < 455 FF 7 rue Sainte-Anne | Fax: (+33 1) 39 02 37 85| | | *** Residence du Berry | Phone: (+33 1) 39 49 07 07| < 455 FF 14-16 rue d'Anjou | Fax: (+33 1) 39 50 59 40| | | *** Hotel Bellevue | Phone: (+33 1) 39 50 13 41| < 455 FF 12 avenue de Sceaux | Fax: (+33 1) 39 02 05 67| | | ** Hotel Printania | Phone: (+33 1) 39 50 44 10| < 310 FF 7 bis rue Montbauron | Fax: (+33 1) 39 59 65 11| | | ** Ibis Versailles | Phone: (+33 1) 39 53 03 30| < 390 FF 4, avenue du Gl-de-Gaulle| Fax: (+33 1) 39 50 06 31| | | ** Hotel d'Angleterre | Phone: (+33 1) 39 51 43 50| < 310 FF 2 bis, rue de Fontenay | Fax: (+33 1) 39 51 45 63| | | ** Hotel de la Chasse | Phone: (+33 1) 39 50 00 92| < 310 FF 6 rue de la Chancellerie | Fax: (+33 1) 39 51 77 27| | | ** Royal Hotel | Phone: (+33 1) 39 50 67 31| < 310 FF 23 rue Royale | Fax: (+33 1) 39 02 72 09| -- -- Darcy G. Harrison Interactive Software Engineering Inc. Phone (805)685-1006, Fax (805)685-4976 Email firstname.lastname@example.org
To the Ada-Belgium home page.