Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!seunet!news2.swip.net!plug.news.pipex.net!pipex!dish.news.pipex.net!pipex!oleane!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!epflnews!dinews.epfl.ch!di.epfl.ch!Alfred.Strohmeier From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier) Newsgroups: comp.object,comp.lang,comp.lang.ada,comp.lang.clu,comp.lang.eiffel,comp.lang.objective-c,comp.lang.smalltalk,comp.lang.c++,comp.lang.beta,comp.lang.clos,comp.lang.cobol,comp.lang.dylan,comp.lang.modula-3,comp.lang.oberon,comp.lang.pascal,comp.lang.sather,comp.programming,comp.realtime,comp.software,comp.software-eng,comp.sw,comp.sw.components,comp.object Subject: ADA EUROPE'95 CONFERENCE Date: 4 Jul 1995 13:23:05 GMT Organization: Ecole Polytechnique Federale de Lausanne Lines: 1258 Distribution: world Message-ID: <1995Jul4.151906@di.epfl.ch> NNTP-Posting-Host: lglsun.epfl.ch Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Xref: news.daimi.aau.dk comp.object:32720 comp.lang.ada:30039 comp.lang.clu:203 comp.lang.eiffel:8773 comp.lang.objective-c:3890 comp.lang.smalltalk:23954 comp.lang.c++:127140 comp.lang.beta:432 comp.lang.clos:3086 comp.lang.cobol:3969 comp.lang.dylan:4651 comp.lang.oberon:5116 comp.lang.pascal:70381 comp.lang.sather:1884 comp.programming:16582 comp.realtime:9732 comp.software-eng:31299 comp.sw.components:977 Conference Ada in Europe 1995 ----------------------------- organised by EUROSPACE & ADA-EUROPE 2-6 October 1995 Marriott Hotel Frankfurt, Germany Conference Logistics: Ms. Rosy PLET, Public Relations EUROSPACE 16 bis, avenue Bosquet 75007 PARIS, FRANCE Tel. +33 (1) 45 55 83 53 Fax. +33 (1) 45 51 99 23 CONTENTS OF THIS ANNOUNCEMENT General Programme Tutorial and workshops programme General information Registration Forms ************************************************************************ GENERAL PROGRAMME Conference Chairman: John BARNES, J.B. Informatics Monday 2 October 1995 --------------------- TUTORIALS AND WORKSHOPS 9:30 to 17:30 WORKSHOP on "GNAT, the GNU NYU Ada 95 compiler", by R. Dewar (New York University), E. Schonberg and A. Strohmeier (Swiss Fed. Inst. of Tech., Lausanne) 9:30 to 17:30 TUTORIAL on "Software Architecture and Iterative Development Process", by Ph. Kruchten, Rational Software Corp. 9:30 to 17:30 TUTORIAL on "Object-Oriented Analysis and Design for Ada95 with Colbert's Object-Oriented Software Development Method", by E. Colbert, Absolute Software Co., Inc. 9:30 to 12:30 TUTORIAL on "Ada Binding to POSIX System Services", by S.C. Schwarm, MITRE Corporation 14:30 to 17:30 TUTORIAL on "HOOD4: from Object Oriented Design to Ada95 or C++ client-server target code", by M. Heitz, CISI Group BEGINNING OF THE CONFERENCE 18:00 Welcome to the 'Ada in Europe 1995' Conference by the Conference Chairma 18:15 Opening address: "Ada: a Sceptical Assessment" by J.F. Kaufeler, ESA/ESO 19:30 BUFFET-DINNER Tuesday 3 October 1995 ---------------------- Session 1. Ada95: The Future. Chairman: J. Barnes, JB Informatics 9:00-10:00 Robert Dewar: "The GNAT-System to bring Ada 95 to a broader audience" 10:00 Ada95 - An Approach to Overcome the Software Crisis? K. Mangold - ATM Computer GmbH 10:30 COFFEE BREAK Session 2. Safety. Chairman: R. Gerlich (Daimler-Benz Aerospace/Dornier) 10:45 Safe Ada Executive: an Executive for Ada Safety Critical Applications M. Richard-Foy - Thomson Software Products/Alsys 11:15 Developing fault tolerant software in Ada for real-time dependable systems P. David, T. Planche, A. Correge, J.F. Chane - Matra Marconi Space France 11:45 The Practical Application of Safety Techniques on an Ada based Project R. Brown - Logica UK Ltd. 12:15 Demonstration/Vendor sessions 13:00 LUNCH Session 3. Language 1. Chairman: L. Asplund (Uppsala University) 14:30 Ada in Mixed Language Applications G. Taurisano - Logicasiel & I. Williams - Logica UK Ltd. 15:00 Heterogeneous Data Structures and Cross-Cataloguing of Objects with Ada9 M. Kempe - Swiss Fed. Inst. of Technology in Lausanne 15:30 An ANDF based Ada 95 Compiler System J. Bundgaard - DDC-I 16:00 COFFEE BREAK Session 4. Applications 1. Chairman: G. Joergensen (CRI) 16:15 Performance tuning of a check-out system coded in Ada P.I. Skinderhaug, B. Rognes - Cap Computas A.S. 16:45 Ariane 5 On-Board Software Development J.-N. Monfort - Aerospatiale 17:15 PRONAOS Ground Control Centre: First Operational Ada Application in CNES A. Laurens - CNES 17:45 Demonstrations/Vendor sessions 18:30 PANEL DISCUSSION: Real Time With the participation of representatives from industry, agencies or academi circles. Wednesday 4 October 1995 ------------------------ Session 5. Language 2. Chairman: K. Mangold (ATM Computer) 9:00 ASIS for GNAT: Goals, Problems and Implementation Strategy S. Rybin, E. Zueff - Moscow State University A. Strohmeier - Swiss Fed. Inst. of Technology in Lausanne 9:30 KBSE and Ada - Object and Enabling Technology P.A. Bailes, P. Burnim, M. Chapman, E. Salzman - University of Queensland 10:00 Extending the Ada 95 Initial Conditions for Preelaboration for use in Real-Time Systems T. Birus, P. Knueven, E. Kuzemchak, J. Rosenzweig - Tartan Inc. 10:30 COFFEE BREAK Session 6. Applications 2. Chairman: G. Valentiny (ESA/ESOC) 10:45 The Use of Ada for the ENVISAT-1 Simulator B. Davies, D.A. Rothwell - Science Systems (Space) Limited 11:15 Extending the use of the HOOD Virtual Node concept for easy integration of multiple technologies in complex systems S. Wallez - Alcatel Espace 11:45 Objects at work in Nautical Simulators K. Molenmaker - Maritime Simulation Centre the Netherlands 12:15 Demonstration/Vendor sessions 13:00 LUNCH Session 7. Distribution. Chairman: A. Strohmeier (Swiss Federal Institute of Technology, Lausanne) 14:30 DIS - An Interface to Distributed Interactive Simulation P.E. Obermayer, G. Schuer, R. Landwehr - Competence Center Informatik 15:00 to 16:00 PARIS - Partitioned Ada for Remotely Invoked Services A. Gargaro - Carnegie Mellon University / Y. Kermarrec -Telecom Bretagne / L. Pautet, S. Tardieu -Telecom Paris Implementing the distributed features of Ada 95 above of PVM Y. Kermarrec - Telecom Bretagne & L. Pautet - Telecom Paris Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach Z. Choukair, Y. Kermarrec - Telecom Bretagne 16:00 COFFEE BREAK Session 8. Methods and Tools. Chairman: J. Lee (Logica UK) 16:15 Distributed Systems and HOOD 4 R. Gerlich - Dornier GmbH 16:45 ReverseNICE: A Re-Engineering Methodology and Supporting Tool M. Battaglia, G. Savoia - Intecs Sistemi SpA 17:15 Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada95 H. Schneeweiss - Cadre Technologies & P. Denker, V. Amiot - Thomson Software Products 17:45 Demonstrations/Vendor sessions 18:30 Panel discussion: Comparing Design Methods With the participation of representatives from industry, agencies and academia Thursday 5 October 1995 ----------------------- Session 9. Design Methods. Chairman: P. Obermayer (CCI) 9:00 The Introduction of an Object-Oriented Analysis/Design Method and Object Oriented Metrics in the Software Development Life-Cycle R. Simoens - Eurocontrol 9:30 Modeling and Validating Systems of Tasks with Algebraic Structure nets D. Buchs, C. Buffard, P. Racloz - Swiss Federal Institute of Technology in Lausanne 10:00 Design of Concurrent Software Based on Problem Concurrency B. Sanden - George Mason University 10:30 COFFEE BREAK Session 10. Life Cycle. Chairperson: Ms. M. Aleyrangues (MMS) 10:45 ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada A. Matthewman - SYSECA 11:15 Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application M. Cinnella - Space Software Italia 11:45 Breaking Through the V and V Bottleneck B.A. Carre - Praxis PVL & J. Sutton - Lockheed Aeronautical Systems Company 12:15 Demonstration/Vendor sessions 13:00 LUNCH Session 11. Real Time. Chairman: P. Lacan (Aerospatiale) 14:30 Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada F. Bossard - CNES 15:00 Transaction Specification for Object-Oriented Real-Time Systems in HRT- HOOD P. Cornwell - Bournemouth University & A. Wellings - University of York 15:30 Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC) F. Battini, P.L. Mantovani, M. Mattavelli - Laben SpA 16:00 COFFEE BREAK Session 12. Methods. Chairman: F. Hass (CRI) 16:15 Ada and Timed Automata L. Bjornfot - Uppsala University 16:45 Testing Ada 95 Object-Oriented Programs S. Barbey - Swiss Fed. Inst. of Technology in Lausanne 17:15 Achieving Reusable and Reliable Client-Server Code using HOOD4 automated code generation for Ada95 and C++ targets M. Heitz - CISI 17:45 Conclusion by the Conference Chairman 18:00 Demonstrations/Vendor sessions END OF THE CONFERENCE TUTORIALS AND WORKSHOPS Friday 6 October 1995 --------------------- 9:30 to 17:30 HOOD User's WORKSHOP 9:30 to 17:30 WORKSHOP on "ASIS for Ada 95: Open problems, implementation strategies and application needs", by S. Rybin, E. Zueff (Moscow State University) and A. Strohmeier (Swiss Fed. Inst. of Tech., Lausanne) 9:30 to 17:30 TUTORIAL on "Advanced Object-Oriented Programming with Ada95", by S. Barbey, M. Kempe and A. Strohmeier (Swiss Fed. Inst. of Tech., Lausanne) 9:30 to 17:30 TUTORIAL on "Design of Concurrent Software", by B. Sanden (George Mason University) ************************************************************************** TUTORIALS AND WORKSHOPS PROGRAMMME Monday 2 October 1995 9:30 to 17:30 WORKSHOP on "GNAT, the GNU NYU Ada 95 compiler", by R. Dewar (New York University), E. Schonberg and A. Strohmeier (Swiss Fed. Inst. of Tech., Lausanne) 9:30 to 17:30 TUTORIAL on "Software Architecture and Iterative Development Process", by Ph. Kruchten, Rational Software Corp. 9:30 to 17:30 TUTORIAL on "Object-Oriented Analysis and Design for Ada95 with Colbert's Object-Oriented Software Development Method", by E. Colbert, Absolute Software Co., Inc. 9:30 to 12:30 TUTORIAL on "Ada Binding to POSIX System Services", by S.C. Schwarm, MITRE Corporation 14:30 to 17:30 TUTORIAL on "HOOD4: from Object Oriented Design to Ada95 or C++ client-server target code", by M. Heitz, CISI Group Friday 6 October 1995 9:30 to 17:30 WORKSHOP on "ASIS for Ada 95: Open problems, implementation strategies and application needs", by S. Rybin, E. Zueff (Moscow State University) and A. Strohmeier (Swiss Fed. Inst. of Tech., Lausanne) 9:30 to 17:30 HOOD User's WORKSHOP 9:30 to 17:30 TUTORIAL on "Advanced Object-Oriented Programming with Ada95", by S. Barbey, M. Kempe and A. Strohmeier (Swiss Fed. Inst. of Tech., Lausanne) 9:30 to 17:30 TUTORIAL on "Design of Concurrent Software", by B. Sanden (George Mason University) -------------------------------------------------------------------------- WORKSHOP on Monday 2 October 1995, from 9:30 to 17:30 Workshop on GNAT, the GNU NYU Ada 95 compiler Robert Dewar (dewar@cs.nyu.edu) Edmond Schonberg (schonberg@cs.nyu.edu) Alfred Strohmeier (alfred.strohmeier@epfl.di.ch) Contact: Robert B. K. Dewar New York University 251 Mercer St. NYC, NY 10012 Tel.: +1 212 998 3498 dewar@cs.nyu.edu Fee per participant: 500 FF - Lunch included Deadline for submission of abstracts (position papers): August 20, 1995 Subject: Making maximum use of GNAT, the GNU NYU Ada 95 compiler application needs Workshop Overview The purpose of this workshop is to bring together GNAT implementors and users (including prospect users), both from industry and academia, to discuss how to make best use of this important freely available tool. What is GNAT? GNAT is a new front end for the GCC compiler system that provides a complete implementation of Ada 95, including all the annexes. GCC provides a platform for multiple targets, including cross compilers. Ports of GNAT are currently available for the following machines and environments: IBM PC: OS/2, NT, Solaris, Nextstep, SCO Unix, DOS/Windows, Windows/95, Linux FreeBSD; Sparc: SunOS, Solaris; SGI: Irix 4, Irix 5; Alpha: OSF1 2.0, OSF1 3.0; HPUX; Decstation: Ultrix; RS6000: AIX; Amiga: DOS; 1750A. Several other ports are underway. This wide variety of platforms means that nearly everyone can obtain a version of GNAT to run on their machines, meaning that Ada 95 is available at no cost to the entire community. At this workshop, there will be tutorials at both the basic and advanced levels on how to make the best use of GNAT. As is the case with any complex piece of software, a good working knowledge of the basic structure of the system can be very useful in understanding how to make it work at its best. The remainder of the workshop will consist of reports from users of GNAT who will describe how they managed to take advantage of GNAT. The following questions will be answered in this context: - How did I use GNAT; - What are its strengths and weaknesses; - How to make best use of GNAT. User reports Interested individuals are invited to contact the workshop organisers as soon as possible and to submit later on a user report, outlining their experience with GNAT. -------------------------------------------------------------------------- TUTORIAL on Monday 2 October 1995, from 9:30 to 17:30 Software Architecture and Iterative Development Process Philippe Kruchten Rational Software Corp. #240-10711 Cambie road Richmond B.C., V6X3G5 / Canada Tel.: +1 (604) 231 3706 - Fax: +1 (604) 231 3720 Email: pkruchten@rational.com Fee per participant: 1700 FF - Lunch included This tutorial introduces the concept of software architecture, its motivation, and offers some practical means to tackle the task of developing from scratch a software architecture: a model, a notation, a process and organisation. It has two parts. Part 1 deals with the "why" and "what". It introduces the concept of software architecture, and its motivation. It proposes a model to represent the architecture of software- intensive systems, suing multiple views or blueprints. For each view: conceptual, dynamic, static, physical, the elements involved, a view-specific notation, and its relations with other views are detailed. A mapping of the architectural to Ada 95 is examined. Part 2 deals with the "how" and "who". An iterative process is described to develop and validate a software architecture. The organisational aspects related to software architecture and in particular the role of an architect or an architecture team are then examined. The tutorial is based on practical experience in the development of large, software intensive systems in the areas of aerospace, defence, command and control, and telecommunications over the last fifteen years, and the examples are derived from telecommunication and air traffic control systems. Ph. Kruchten is a Senior Technical Consultant at Rational where he is in charge of the Software architecture Practice Area. -------------------------------------------------------------------------- TUTORIAL on Monday 2 October 1995, from 9:30 to 17:30 Object-Oriented Analysis & Design for Ada 95 with Colbert's Object-Oriented Software Development Method Edward Colbert Absolute Software Co., Inc. 4593 Orchid Dr. Los Angeles, CA 90043-3320 / USA Tel.: +1 213 293 0783 - Fax: +1 213 293 6720 Fee per participant: 1700 FF - Lunch included This tutorial will explore Colbert's Object-Oriented Software Development method (OOSD) and its support for Ada, including Ada 95. OOSD focuses on the objects of a problem throughout development, and is particularly compatible with Ada. OOSD has been praised for addressing real-time issues, for quickly communicating the information developed during analysis and design, and for allowing exceptionally high re-use of both design representation and code. It has been applied to a variety of systems, including command & communication, flight software, business information, and simulations, and has been used for system engineering and enterprise modelling. OOSD seeks to identify the objects in a problem, to understand the structural and behavioural modularity and operational characteristics of each object, and to recognise objects which are members of a common class and so share properties, treating the system itself as an object. OOSD's early focus on objects generates a model of the system that is effective for analysis (validation & verification) and communication among developers, customers, management, and quality-assurance personnel. The model is unusually consistent, closely follows the real worlds, can be tested early, and is easy to modify and re-use. A particularly thorough verification procedure establishes that the system is correctly implemented and achieves the required properties. OOSD is founded on Ada concepts. It models concurrency based on Ada tasking, and includes a notation for modelling objects and their interactions that supports analysis of deadlock and race conditions, a Harel-based behaviour description that integrates the functional and dynamic to capture and analyse the operational characteristics of an object. OOSD also supports mathematical analysis of scheduling. The student will learn to model a system using an "objects first" approach, to identify classes by generating them from objects in the system, and to refine the system object into its component objects. The student will learn how to use OOSD's rigorous analysis of behaviour to validate the model against the user's needs during requirements analysis, and verify iteratively against the requirements during design. Full rigor is valuable whenever high reliability is needed, and allows early error detection; it can be relaxed where appropriate. OOSD detailed design provides a smooth transition to Ada 95 code. A sample problem will be examined with the aid of a CASE tool. Those who register before Sept. 1 will be given a review copy of the tool, with the sample problem loaded, to take away. This full-day tutorial will show the notion and process of OOSD, and its implementation in Ada, with new notation for Ada 95. Ed. Colbert, creator of the Object-Oriented Software Development method (OOSD), is Vice-Chair for Liaison of the Special Interest Group on Ada (SIGAda) of the Association for Computing Machinery (ACM). -------------------------------------------------------------------------- TUTORIAL on Monday 2 October 1995, from 9:30 to 12:30 Ada Binding to POSIX System Services Stephen C. Schwarm Chair of IEEE PASC - Language Bindings Working Group Principal Engineer MITRE Corporation Burlington Road/MS-G-305 Bedford, MA 01730 / USA Tel.: +1 (617) 271 4600 - Fax: +1 (617) 271 8140 Fee per participant: 750 FF The tutorial will present the IEEE P1003.5 Ada Binding to POSIX System Services. The current POSIX/Ada binding standard (IEEE Std P1003.5-1992) supported three areas the common services, services for files and I/O, and services for processes. The nearly completed revision will also be covered. This is a significant revision derived from the C binding IEEE 1003.1b-1993 and IEEE 1003.1c-1995 that covers: 1. Asynchronous I/O, 2. Semaphores, Mutexes, and Condition Variables, 3. Memory locking, 4. Shared memory, 5. Timers, and 6. Message Queues. The tutorial also discusses the manner in which the revised standard is updated for Ada95 but still maintains Ada87 compatibility. -------------------------------------------------------------------------- TUTORIAL on Monday 2 October 1995, from 14:30 to 17:30 HOOD4: from Object Oriented Design to Ada95 and C++ Client-Server target code Maurice HEITZ CISI GROUP 13, rue Villet 31400 TOULOUSE / FRANCE Tel.: +33 61 17 66 66 - Fax: +33 61 17 66 96 Email: heitz@cisi.cnes.fr Fee per participant: 750 FF Presentation This tutorial gives practical advice for developing reusable, reliable, Object-Oriented, Client Server applications for Ada95 and/or C++ targets within the HOOD4 framework. A phased development approach is presented that takes into accounts the needs of flexible, testable and reliable distributed systems, allowing incremental validation and integration. The tutorial will first recall the concepts of HOOD4, and extension of HOOD supporting classes and inheritance for Ada and non Ada target systems. HOOD4 provides the designers with an Object Oriented framework by means of the HOOD RUN TIME SUPPORT library together with powerful design concepts and associated code generation rules, shielding applications from complex semantics differences between target OS platforms. In a second time, these multi-target code generation rules for Ada95 and C++ client-server targets and Virtual Nodes will be illustrated on a small example: the distributed STACK. Finally the overall development approach will be illustrated on a small case study: the Electronic Messaging System (EMS). The EMS case study is a toy system running under the X-WINDOWs system that allows users to register, create and destroy mailbox to communicate with other users. A full HOOD documentation of the EMS will be part of the proceedings. Who should attend? This tutorial addresses design, management, development and distributed programming issues and should be attended by senior software designers, project managers, software designers and programmers having already some, but not mandatory, knowledge on HOOD, Ada or C++. A good understanding of basic object oriented concepts (such as classes, inheritance and polymorphism) is however highly recommended in order to succeed in the assimilation of the concepts in the short time allocated (around 4 hours). This tutorial also sets-up solution to problems raised to teams with modular programming background wishing to use a target OO language, as well as to teams faced with the use of OO methods for distributed systems. -------------------------------------------------------------------------- WORKSHOP on Friday 6 October 1995, from 9:30 to 17:30 ASIS for Ada 95: Open problems, implementation strategies and application needs Sergey Rybin (rybin@alex.srcc.msu.su), Eugene Zueff (zueff@such.srcc.msu.su), Alfred Strohmeier (alfred.strohmeier@epfl.di.ch) Contact: Dr. Sergey Rybin Moscow State University - Scientific Research Computer Center Vorob'evi Gori - Moscow 119899, Russia Fax: (095) 938 2136 Fee per participant: 500 FF - Lunch included Deadline for position papers: August 20, 1995 Workshop Overview The purpose of this workshop is to bring together ASIS providers, especially compiler vendors, and ASIS users, i.e. tool builders and application programmers, both from industry and academia, to discuss issues related to the definition and implementation of ASIS for Ada 95. Part of the morning session may consist in a tutorial for new-comers to ASIS. The organisers may also present shortly their experience with the on-going implementation of ASIS for GNAT. What is ASIS? The Ada Semantic interface Specification (ASIS) is an interface between and Ada library (e.g. a set of Ada source files) and any tool requiring information in this library. The full syntax and semantics of the information contained in the library is available through this interface. ASIS has been designed to be independent of underlying compiler library implementations; thus supporting portability of CASE tools while relieving users from having to understand the complexities of an Ada compiler library's internal representation of data. Clients of ASIS are shielded and free from the implementation details of each Ada vendor's proprietary library and intermediate representation. ASIS is a layered vendor-independent open architecture. Examples of tools that benefit from the ASIS interface include: automated code monitors, browsers, call tree tools, code reformatters, coding standards compliance tools, correctness verifiers, debuggers, dependency tree analysis tools, design tools, document generators, metric tools, quality assessment tools, reserve engineering tools, re-engineering tools, style checkers, test tools, timing estimators and translators. The current ASIS specification is Version 1.1.1. to Ada 83. The ASIS Working Group intends to evolve ASIS for Ada 83 into ASIS for Ada 95. Some open issues: - What are the user needs? Are there any new needs? What are the deadlines for the new definition? Should there be intermediate working versions before standardisation? - Should the ASIS interface be restructured by using the new features of Ada 95, such as child units? - How to evolve the "old" ASIS library concept, derived from Ada 83, into the new concept of a compilation environment? - What ASIS queries are potentially dependant on the compiler implementation? - How to deal with implicit declarations? - What are the most promising ASIS implementation strategies? Would it be useful to have a stand-alone implementation (not tight to a compiler)? Position papers Interested individuals are invited to contact the workshop organisers as soon as possible and to submit later on a position paper, indicating their specific interest in ASIS, and their possible contribution to the workshop. Contributions to the evolution of ASIS and its implementation are especially welcome. We would also like to know if an introductory tutorial should be given. Please state also all your other ideas and wishes for the definitive content of the workshop. Deadline of submission is August 20, 1995. Authors of selected papers may be asked to present their paper and to extend it for inclusion in a special issue of a journal. -------------------------------------------------------------------------- WORKSHOP on Friday 6 October 1995, from 9:30 to 17:30 HOOD User's Workshop Correspondence: HUW Secretariat CISI GROUP 13, rue Villet 31400 TOULOUSE / FRANCE Tel.: +33 61 17 66 66 - Fax: +33 61 17 66 96 Email: heitz@cisi.cnes.fr Fee per participant: 500 FF (Lunch included) - Participation is free for the HOOD Users Group members Scope Since the last HOOD USERs GROUP meeting in February 1995, the definition of HOOD4 has been under validation through several HTG, ESTEC, CNES pilot projects, and it shall be officially released to the HOOD User's Group at the 'Ada in Europe 1995 Conference'. Although validation of this definition before official release is a major step forward, a key element of success is to push down the new concepts to users practice. This workshop has as goals to increase awareness on HOOD4 by supporting exchange of ideas and experience feedback. The workshop will consist of one day formal presentations, open discussions, experience feedback on the use of HOOD3 and HOOD4, and shall be concluded with the annual HOOD User's Group meeting. Topics to be covered include, but are not restricted to: TRANSITION from HOOD3 to HOOD4; HOOD and MMI, DBMS, UIMS; HOOD and Client Server Computing; Combining HOOD with other methods (HOORA, OMT, FSM, SDL, Temporal logics, etc.); HOOD and Ada95 and/or C++?; HOOD and TESTING; TRAINING and TUTORING. Participation Offers of papers, presentations, use cases or solution requests are welcomed from individuals or groups on the topics outlined above. Seven copies of an extended abstract in English should be received by the workshop secretariat not later than July 24th. Please include e-mail and fax number with the author's address. The invitations for presentation at the workshop will be based on the assessment of an extended abstract by the HOOD TECHNICAL GROUP (HTG), comprising representatives of major aerospace and industry companies in Europe. Each participant will be provided with a copy of a volume including accepted papers, presentations and discussion summaries. Important Dates Extended abstract for participation: July 17th 1995 Selection and Invitation: August 18th 1995 Full papers due and Registration: September 1st 1995 -------------------------------------------------------------------------- TUTORIAL on Friday 6 October 1995, from 9:30 to 17:30 Advanced Object-Oriented Programming with Ada 95 Stephane Barbey, Magnus Kempe, and Alfred Strohmeier, of the Swiss Federal Institute of Technology in Lausanne Address of contact person: Stephane Barbey Swiss Federal Institute of Technology, Lausanne EPFL-DI-LGL CH-1015 Lausanne / Switzerland Tel.: +41 21 693 5243 - Fax : +41 21 693 5079 E-mail : Stephane.Barbey @ di.epfl.ch Fee per participant: 1700 FF - Lunch included This course provides a comprehensive view of object-oriented programming with Ada 95; it is divided in four parts. First, it examines the new, object-oriented features of the language, their use, and how they fit into Ada's strong type system and genericity machanisms. Basic object-oriented mechanisms are covered, such as: extension, inheritance, and polymorphism. We then show how to integrate these mechanisms into good programming practices; topics include incremental programming, heterogeneous data structures, mixing and sibling inheritance, and design for reuse. We then give a complete application to demonstrate the proper use of these features in order to design for reuse, and to transition smoothly from Ada 83 to Ada 95. Finally, we compare standard object-oriented idioms in Ada vs. major object-oriented languages (e.g. C++, Eiffel). This tutorial is intended for anyone who wants to learn object-oriented programming with Ada 95, or anyone who is aware of Ada 95's new object-oriented mechanisms and wants to know how to best use them. The tutorial may also be of interest to programmers familiar with other object-oriented languages, in order to widen their perspective. -------------------------------------------------------------------------- TUTORIAL on Friday 6 October 1995, from 9:30 to 17:30 Design of Concurrent Software Dr. Bo Sanden George Mason University Fairfax, VA, USA bsanden@gmu.edu Tel.: +1 703 993 1651 Fax: +1 703 993 1638 Fee per participant: 1700 FF - Lunch included This tutorial presents a direct approach to the design of concurrent software in Ada. Participants learn how to construct simple, elegant and deadlock-free concurrent systems. The tutorial introduces a design approach called entity-life modelling (ELM), which is useful in various concurrent applications and particularly where the software controls real-world processes that may contend for resources. The concurrent designs are illustrated by programs in Ada 83 and Ada 95. Many approaches to the design of concurrent software start with data and control flow analysis, and introduce concurrency through a laborious series of steps. This assumes that the designer is familiar with structured analysis, while concurrency is a new and difficult concept. But Ada makes concurrency easily available, and structured analysis is not as widely known as it used to be. Entity-life modelling is based on a theory of concurrency that applies to both the problem domain and the software domain. Each task in the software is patterned after a thread of events in the problem. The events in each thread occur sequentially, with some minimum distance in time. This means that simultaneous occurrences are in different threads. Each event occurrence belongs to exactly one thread. The goal is to create a thread model of a given problem with a small number of threads. Usually there are many possible thread models of a given problem. Additional heuristics are used to choose a model that will lead to suitable tasks in the software. It is important to look for threads that are either delayable or queuable. A delayable thread contains events that are triggered by time. The rationale for these threads is that a task has the built-in ability to reschedule itself for execution at a later time (as by means of the delay statement in Ada). Queuable threads compete for exclusive access to shared resources. The rationale for queuable threads is a task's ability to suspend its activity and queue for access to a resource. Shared resources are typically represented as Ada packages. The tutorial is primarily intended for practitioners and focuses on the practical aspects of entity-life modelling. It is also useful for anyone interested in a deeper understanding of tasking and concurrency. It includes several detailed examples of concurrent system designs. The tutorial is largely based on the book Software Systems Construction with Examples in Ada by Bo Sanden (Prentice-Hall 1994). The material is presented at major Ada conferences and regularly used in graduate courses in the Software Engineering masters' program at George Mason University. Dr. Bo Sanden received his master's degree from the Lund Institute of Technology, Lund, Sweden, in 1970 and his PhD from the Royal Institute of Technology, Stockholm, Sweden, in 1978. Since 1987 he has been an Associate Professor at George Mason University. Dr. Sanden is the author of two books and numerous papers. ************************************************************************** GENERAL INFORMATION ORGANISING COMMITTEE Conference Logistics: Ms. Rosy PLET, Public Relations EUROSPACE 16 bis, avenue Bosquet 75007 PARIS, FRANCE Tel. +33 (1) 45 55 83 53 Fax. +33 (1) 45 51 99 23 Abstracts, tutorials and panels: - Mr. Marcel TOUSSAINT, EUROSPACE (see address above) - Mr. Finn HASS, Computer Resources International A/S Space Systems Division (Denmark) Tel. +45 (45) 82 21 00 Fax. +45 (45) 82 29 32 - Mr. Lars ASPLUND, Uppsala University Department of Computer Systems (Sweden) Tel. +46 (18) 18 35 27 Fax. +46 (18) 55 02 25 PROGRAMME COMMITTEE Chairman: John BARNES, Consultant (Ada-Europe President) Vice Chairman: Finn HASS, C.R.I. (Chairman of the Eurospace 'Ada and Software Engineering Panel') Members: Ms.M. ALEYRANGUES Matra Marconi Space France Messrs.D. ALZERRA Dassault Electronique (France) L. ASPLUND Uppsala University (Sweden) J. BARNES John Barnes Informatics (UK) R. BORCZ Daimler-Benz Aerospace (Germany) F. CICERI Laben (Italy) X. CUSSET 3ip (France) R. FLABAT SHAPE (Belgium) A. FODDE Alenia Spazio (Italy) R. GERLICH Daimler-Benz Aerospace / Dornier (Germany) G. GUARRERAAlenia Spazio (Italy) F. HASSC.R.I. (Denmark) C. JOERGENSEN C.R.I. (Denmark) B. KALLBERGCelsius Tech Systems (Sweden) P. LACAN Aerospatiale (France) R. LANDWEHRCompetence Center Informatik (Germany) J. LEE Logica UK (UK) G. MACCHIA Space Software Italia (Italy) K. MANGOLD ATM Computer GmbH (Germany) P. MAZAL CNES (France) A. MOYAEuropean Union (Belgium) P. PANARONIIntecs Sistemi (Italy) C. ROLLS ESA-ESTEC (The Netherlands) J.P. ROSEN Adalog (France) E. SCHONBERG New York University (USA) J.S. STEVENS British Aerospace (UK) A. STROHMEIER Swiss Federal Institute of Technology in Lausanne (Switzerland) M. TOUSSAINT Eurospace (France) G. VALENTINY ESA/ESOC LOCATION Frankfurt MARRIOTT Hotel Hamburger Allee 2-10 60486 FRANKFURT AM MAIN / Germany Tel.: +49 69 79 550 - Fax. +49 69 7955 2432 REGISTRATION Advance: Please complete the enclosed Conference Registration Form and send i to Eurospace before September 1, 1995. On-site: The Conference Secretariat will open on Monday, 2 October 1995 from 16:00 to 18:00 p.m. for late registrations, documentation and information, and will remain in operation throughout the Conference. CONFERENCE FEES A Conference fee of 4 800 FF is asked from all participants, including speakers and chairmen. This fee includes lunches, coffee breaks, buffet dinner (please indicate on the Registration Form if you wish to participate) and proceedings. However, students registering before July 31, 1995 get a reduced fee of 1 500 FF. The fee for tool demonstrations is from 20 000 FF (9 m2), 25 000 FF (12 m2) to 30 000 FF (15 m2), including one attendance fee for the Conference paper presentations. TUTORIALS and WORKSHOPS Registrations to Tutorials or Workshops are to be sent to EUROSPACE before September 1, 1995 at the latest using the attached special Form. In order to cover the expenses for the Tutorials or Workshops, a minimum number of participants is required. If this minimum number is not reached by September 1st, the Tutorial or Workshop concerned may be cancelled. The fee for Tutorials and Workshops have to be paid directly to Eurospace (see payment conditions below). PAYMENT: Before the Conference: - By credit card (VISA or American Express) (see attached Registration Form) - By cheque to the order of EUROSPACE payable in a French Bank to be sent to: EUROSPACE - 16 bis, avenue Bosquet - 75007 PARIS, France - By bank transfer in French Francs to: EUROSPACE ADA IN EUROPE, Account N! 24 077 51 CIC Paris - Agence Bosquet - 16 ter avenue Bosquet - 75007 PARIS Charges on bank orders shall be borne by the sender. At the Conference: by credit card or by cash in French Francs only. CANCELLATIONS Refunds of 50% will be made if a written request is received before September 15, 1995. No refunds will be made for cancellations received after this date, but substitutions are possible. HOTEL RESERVATIONS Block reservations have been made at special Conference rates at the Frankfurt Marriott Hotel. Delegates are requested to make their room reservations very rapidly and at the latest by September 1, 1995 using the attached Room Reservation Form and send it to Eurospace. LANGUAGE English will be the working language of the Conference. PRESENTATION FACILITIES Overhead and slide projectors will be available. Any other presentation facility can be supplied by applying to EUROSPACE before September 15, 1995. TRAVEL AND BANK FACILITIES Travel and exchange arrangements can be made by the Concierge of the Hotel. PROCEEDINGS Proceedings will be published after the Conference. Authors are requested to send their full text as soon as possible to EUROSPACE and at the latest at the Conference following the instructions already provided to them. TOOL DEMONSTRATIONS are scheduled at the end of each morning and afternoon, from 3 to 5 October 1995, in a special show room, next to the Conference Room. Vendors presentations can be organised in the conference room during these periods. The preliminary list of exhibitors is as follows: ALSYS RATIONAL C.R.I. A/S SEMA GROUP COMPETENCE CENTER INFORMATIK TLD SYSTEMS LTD. DASSAULT ELECTRONIQUE VERDIX DDC-INTERNATIONAL FOR ANY FURTHER INFORMATION, PLEASE CONTACT: Ms. Rosy PLET, Public Relations EUROSPACE Tel.: + 33 (1) 45 55 83 53 Fax: + 33 (1) 45 51 99 23 ********************************************************************************** REGISTRATION FORMS ------------------CONFERENCE REGISTRATION FORM -------------------------- 'Ada in Europe 1995' Conference - 2-6 October 1995, Frankfurt Form to be filled and returned to EUROSPACE before September 1, 1995 (Fax: +33 (1) 45 51 99 23) REGISTRATION FOR THE CONFERENCE Name: First name: Company or Organisation: Address: Telephone: Fax: - I shall attend the Buffet-Dinner on Monday, 2 October (19:30) Yes/No - I shall be accompanied Yes/No PAYMENT Registration fee per participant: 4 800 French Francs Students registering before July 3, 1995 get a reduced fee of 1 500 FF. If it is your case, please cross here o. Please cross the appropriate box for payment: o By Credit Card (VISA or American Express). Please indicate here your Card No .................................Expiration Date:............. Signature: ..................................... o By cheque to the order of EUROSPACE payable in a French Bank to be sent to: EUROSPACE - 16 bis, avenue Bosquet - 75007 PARIS, France o By bank transfer in French Francs to EUROSPACE ADA IN EUROPE, Account No 24 077 51 CIC Paris - Agence Bosquet - 16 ter avenue Bosquet - 75007 PARIS Charges on bank orders shall be borne by the sender o By cash at the Workshop (in French Francs only) Date Signature 'Ada in Europe 1995' Conference - 2-6 October 1995, Frankfurt Form to be filled and returned to EUROSPACE before September 1, 1995 (Fax: +33 (1) 45 51 99 23) REGISTRATION FOR TOOL DEMONSTRATIONS I wish to register as a tool demonstrator in the above Conference. Floor area needed: o 9 m2 o 12 m2o 15 m2 Price per area: 20 000 FF 25 000 FF 30 000 FF (these prices include one attendance fee for the Conference paper presentations) ----------------------------------------------------------------------------- ----------------------- ROOM RESERVATION FORM------------------------------ As a participant in the above Conference, I wish to reserve the accommodation shown below at the Frankfurt Marriott Hotel Hamburger Allee 2-10 60486 FRANKFURT AM MAIN / Germany. Name: First name: Company or Organisation: Address: Telephone: Fax: Price per Room: DM 230 (single or double occupation) (Continental Breakfast included) Date of Arrival:............................... Date of Departure: ................................. (........ nights) Participants' attention is drawn to the fact that the room reservation through EUROSPACE guarantees their booking as requested. In case of no-show, the first night is due and no other night is any longer guaranteed by the Hotel. Date Signature N.B.: This is a Reservation Form only. You will pay your dues direct to the Hotel when you check out. 'Ada in Europe 1995' Conference - 2-6 October 1995, Frankfurt Form to be filled and returned to EUROSPACE before September 1, 1995 (Fax: +33 (1) 45 51 99 23) -------------------------------------------------------------------------- --------- REGISTRATION FORM FOR TUTORIALS AND/OR WORKSHOPS -------------- Name: First name: Company or Organisation: Address: Telephone: Fax: I expect to participate in the following Tutorial(s): (r) Ada Binding to POSIX System Services (S.C. Schwarm, MITRE Corporation) TUTORIAL on Monday 2 October 1995, from 9:30 to 12:30 (Fee per participant: 750 FF) (r) HOOD4: from Object Oriented Design to Ada95 and C++ Client-Server target code (M. HEITZ, CISI GROUP) TUTORIAL on Monday 2 October 1995, from 14:30 to 17:30 (Fee per participant: 750 FF) (r) Software Architecture and Iterative Development Process (Ph. Kruchten,Rational Software Corp.) TUTORIAL on Monday 2 October 1995, from 9:30 to 17:30 (Fee per participant: 1700 FF - Lunch included) (r) Object-Oriented Analysis & Design for Ada 95 with Colbert's Object-Oriented Software Development Method (E. Colbert, Absolute Software Co., Inc.) TUTORIAL on Monday 2 October 1995, from 9:30 to 17:30 (Fee per participant: 1700 FF - Lunch included) (r) Design of Concurrent Software (B. Sanden, George Mason University) TUTORIAL on Friday 6 October 1995, from 9:30 to 17:30 (Fee per participant: 1700 FF - Lunch included) (r) Advanced Object-Oriented Programming with Ada 95 (S. Barbey, M. Kempe, and A Strohmeier, Swiss Federal Institute of Technology in Lausanne) TUTORIAL on Friday 6 October 1995, from 9:30 to 17:30 (Fee per participant: 1700 FF - Lunch included) I expect to participate in the following Workshop(s): (r) Workshop on GNAT, the GNU NYU Ada 95 compiler (R. Dewar, E. Schonberg - New York University / A. Strohmeier, Swiss Fed. Inst. of Tech. in Lausanne) WORKSHOP on Monday 2 October 1995, from 9:30 to 17:30 (Fee per participant: 500 FF - Lunch included) (r) ASIS for Ada 95: Open problems, implementation strategies and application needs (S. Rybin, E. Zueff - Moscow State University / A. Strohmeier, Swiss Fed. Inst. of Tech. in Lausanne) WORKSHOP on Friday 6 October 1995, from 9:30 to 17:30 (Fee per participant: 500 FF - Lunch included) (r) HOOD User's Workshop (CISI Group) WORKSHOP on Friday 6 October 1995, from 9:30 to 17:30 (Fee per participant: 500 FF - Lunch included) FREE for the members of the HOOD Users Group Further information about these tutorials/workshops can be obtained by contacting Eurospace or directly the presenters/organizers. Telephone and Fax numbers mentioned in the detailed tutorial/workshop descriptions. The fee for Tutorials and Workshops have to be paid directly to Eurospace. In order to cover the expenses for the Tutorials or Workshops, a minimum number of participants is required. If this minimum number is not reached by September 1st, the Tutorial or Workshop concerned may be cancelled. Please cross the appropriate box for payment: o By Credit Card (VISA or American Express). Please indicate here your Card No.............................. Expiration Date:............ Signature: ..................................... o By cheque to the order of EUROSPACE payable in a French Bank to be sent to: EUROSPACE - 16 bis, avenue Bosquet - 75007 PARIS, France o By bank transfer in French Francs to EUROSPACE ADA IN EUROPE, Account No 24 077 51 CIC Paris - Agence Bosquet - 16 ter avenue Bosquet - 75007 PARIS Charges on bank orders shall be borne by the sender. o By cash at the Workshop (in French Francs only) Date Signature ---------------------------------------------------------------------------------