IPA Fall-days on Component-based Software Development

HCR Bellevue, Dordrecht,
November 8 - 12 1999

Component-based Software Development

Over the past decade, the paradigm of Object-Orientation has established itself in the practice of software development. Along with its benefits, its drawbacks are becoming clear. Particularly in the area of reuseability of software, Object-Orientation will not keep all its promises. Therefore, more and more people turn to the next paradigm, that of Component-based Software Development. Building new software by combining bought and made components should bring about practical reuse, support rapid development, and lead to a shorter time to market. This move is backed by a massive industrial effort providing component technology, and has given rise to a new research area in computer science.

The '99 Fall Days are designed to give a general introduction to Component-based Software Development, as well as an overview of component research in IPA. Hence the programme starts with an introductory tutorial, followed by a session on the need to move beyond Object-Orientation towards Component-based Development. The IPA research is covered in two course days: one dedicated to coordination languages, traditionally a focus of component research in IPA, and one dedicated to formal methods for the component paradigm. Since industry is a major driving force behind component technology, the academic content will be complemented with contributions from industry: one afternoon is dedicated to de facto industrial standards for components, the final course day concentrates on industrial experience with component-based system construction and the market issues which are inextricably linked with software components.

The programme was composed by Fahrad Arbab (CWI), Kees Huizing (TUE), Joost Kok (UL), and Erik Meijer (UU).

Program

For more information on the content, see the abstracts

Monday, November 8, 1999:Introduction

11.00-12.00 Registration and Coffee

12.00-14.00 Lunch

14.00-14.05 Opening (Jos Baeten, IPA)

14.05-14.30 Ouverture (Farhad Arbab, CWI)

14.30-15.30 Exposition, Guest tutorial (Paolo Ciancarini, University of Bologna) Part I

15.30-16.00 Break

16.00-17.00 Exposition Part II

18.00 Dinner

Tuesday, November 9, 1999, Object Orientation and Industry Standards

Session: Beyond Object Orientation

09.30-10.30 Invited talk: Object Orientation (Anton Eliens, VU)

10.30-11.00 Break

11.00-11.45 Classes and Connectors (Uwe Assmann, Karlsruhe)

11.45-12.30 Object Constraint Language (Jos Warmer, Klasse Objekten)

12.30-14.00 Lunch

Session: Industry Standards

14.00-14.45 CORBA (Marco de Vos, Astron)

14.45-15.30 COM (Erik Meijer, UU)

15.30-16.00 Break

16.00-16.45 JINI, a service connection framework (Danny Greefhorst, SERC)

16.45-17.30 XML, (Gert van der Steen, Palstar B.V.)

18.00 Dinner

Wednesday, November 10 1999: Coordination

Coordination

09.30-10.30 Coordination tutorial Part I (Farhad Arbab, CWI)

10.30-11.00 Break

11.00-12.30 Guest tutorial Part II (George Papadopoulos, University of Cyprus)

12.30-14.00 Lunch

Coordination in IPA

Twin Session: Manifold

14.00-15.15 (Farhad Arbab/Kees Everaars, CWI)

Twin Session: ToolBus

15.15-15.55 An Overview of the ToolBus Coordination Architecture (Paul Klint, Uva)

15.55-16.35 Generic Debugging of Distributed ToolBus Applications (Pieter Olivier, UvA)

16.35-16.45 Break

Session: Scripting Languages

16.45-17.30 Haskell as an Automation Controller (Daan Leijen, UU)

18.00 Diner

Thursday, November 11 1999: Formal Methods for Components

09.30-10.30 Invited talk: Transparent Process Replication in a Shared Dataspace Architecture for Distributed Systems
(Paul Dechering, Hollandse Signaalapparaten)

10.30-11.00 Break

11.00-11.45 Comparing Coordination Models (Marcello Bonsangue, CWI)

11.45-12.30 Verification of Component Software (Jozef Hooman, KUN)

12.30-14.00 Lunch

14.00-14.45 Specification and Verification for Classes and Components (Bart Jacobs, KUN)

14.45-15.30 Formal Models of Components (Frank de Boer, UU)

15.30-16.00 Break

16.00-16.45 Design Patterns (Kees Huizing, TUE)

16.45-17.30 Refinement of Coordinated Systems (Michel Chaudron, TUE)

18.00 Diner

20.00-..... Social Event

Friday, November 12 1999: Components and Markets

09.30-10.30 Practical Experience with the Construction and Deployment of Business Components (Gerard Putter, FinCom+)

10.30-11.00 Break

11.00-11.40 Component-based Development in Professional and High-volume Electronics (Pierre America, Philips Research)

11.40-12.20 Conceptual Integrety of Component-based Software (Mark de Weger, Deloitte & Touche Bakkenist)

12.20-13.00 Business Case Melinda (Guido van Ruyven, CMG)

13.00 Closing (Jos Baeten Chair of IPA)

13.00-14.00 Lunch

14.00- ... Departure

Registration

Please register BEFORE October 29, 1999.

REGISTRATIONFORM.

Directions

How to get to Dordrecht.

Costs

Ph.D. students free
Speakers/organizers free
IPA members
5 days dfl. 600,--
1 day dfl. 150,--
Associated members and 5 days dfl. 750,--
associated research schools 1 day dfl. 200,--
Other participants
5 days dfl. 1.000,--
1 day dfl. 325,--

Costs for a single room are dfl. 50,-- per night
AIO's/OIO's are supposed to share a room