IPA Herfstdagen on Compositional Programming Methods

Hotel "De Zwaan", Beekbergen,
November 17-21, 2003

The IPA Herfstdagen 2003 were dedicated to Compositional Programming Methods, one of four application areas chosen as a focus for IPA research in the period 2002-2006. The program presented an overview of research in the area of Compositional Programming Methods in and around IPA. It was composed by Mehmet Aksit (UT), Jan Bergstra (UvA), Marko van Eekelen (KUN), Ruurd Kuiper (TU/e), and Doatse Swierstra (UU).

Compositional Programming Methods

(Description quoted from the application for extension of the accreditation by the Royal Dutch Academy of Sciences, 2001)

In the area of software engineering IPA aims at combining strenght in theory and in practice. The leading theme for both sides is compositionality: obtaining larger systems from smaller ones by means of well-understood composition rules.

This theme combines design, engineering, validation and verification issues. Working in reverse order: only compositional techniques allow the verification of large systems, and especially vital aspects of safety critical systems. IPA will proceed to aim for a leading position in the area of system validation and verification. All known techniques are being pursued, as combinations of techniques are often fruitful.

In software engineering (and more specifically software architecture) the role of software components is becoming a key issue; unfortunately a formal definition of what a component is or should be is not yet available. Obviously components have to be composed. Composing systems from components is still handicapped by the complex nature of existing component based software production environments. Both in terms of fundamental research and in terms of significant pilot applications progress will be pursued. Component models will be studied in the context of object oriented and functional languages and programming methods. Here is room for a wide variety of themes, e.g. separate compilation, component interface theory, security aspects of components, component based mobile software, component models for new programming paradigms and type systems for component based systems.

Compositional methods in design are unavoidable as designs are growing in complexity year by year. Compositional methods will be pursued both for the case of non-executable top level specifications and for the case of executable specifications.

Program

Monday November 17

11.30 - 12.30 Arrival and registration

12.30 - 13.30 Lunch

Session: Introduction

13.30 - 14.30 Mehmet Aksit (UT): The 7 C's for creating living software Presentation

14.30 - 15.00 Coffee and tea

Session: Program Algebra I

15.00 - 15.45 Inge Bethke (UvA): Introduction to Program Algebra Abstract Presentation

15.45 - 16.30 Bob Diertens (UvA): Design of a toolset for Program Algebra Abstract

Session: Proof systems for object-oriented programming

16.30 - 17.15 Ruurd Kuiper and Kees Huizing (TU/e): A proof system with class invariants Abstract Paper Presentation

17.15 - 18.00 Frank de Boer (CWI): Compositional proof methods for Java Abstract Paper Presentation

18.00 - ... Dinner

Tuesday, November 18

Tutorial: Aspect Orientation

09.00 - 10.30 Mehmet Aksit (UT): Advanced software composition, obstacles and the composition filter approach Presentation

10.30 - 11.00 Coffee and tea

11.00 - 12.30 Mehmet Aksit (UT): Advanced software composition, obstacles and the composition filter approach (continued)

12.30 - 13.30 Lunch

13.30 - 19.00 Social event

19.00 - ... Dinner

Wednesday November 19

Session: Runtime composition

09.00 - 09.45 Rinus Plasmeijer (KUN): An architecture for runtime composition of dynamically typed functional components Presentation

09.45 - 10.30 Arjen van Weelden (KUN): Composition of compiled code with a functional shell Abstract Paper Presentation

10.30 - 11.00 Coffee and tea

Session: Generic programming for composition

11.00 - 11.45 Johan Jeuring (UU): Generic programming and XML tools Abstract Paper Presentation

11.45 - 12.30 Frank Atanassow (UU): A Haskell XML data binding Abstract Presentation

12.30 - 13.30 Lunch

13.30 - 14.15 Frank Atanassow (UU): Using type isomorphisms to simplify XML programming Abstract Paper Presentation

14.15 - 15.00 Rinus Plasmeijer (KUN): Generic graphical user interfaces Abstract Paper Presentation

15.00 - 15.30 Coffee and tea

Session: Program Algebra II

15.30 - 16.15 Duong Vu (UvA): Metric denotational semantics for BPPA Abstract

16.15 - 17.00 Alban Ponse (UvA): Execution architectures for Program Algebra Abstract Presentation

17.00 - 18.00 Drinks

18.00 - ... Dinner

Thursday November 20

Keynote lecture

09.30 - 10.30 Shmuel Katz (The Technion, Haifa): Aspect validation, connecting aspects and formal methods Abstract Presentation

10.30 - 11.00 Coffee and tea

Session: Design patterns

11.00 - 11.45 Ruurd Kuiper and Kees Huizing (TU/e): Design patterns and proofs Abstract Paper

11.45 - 12.30 Maurice Glandrup (UT): Extending patterns with a crosscut specification Abstract Presentation

12.30 - 13.30 Lunch

Session: Interface specification

13.30 - 14.15 Hans Jonkers (Philips Research): ISpec, a compositional approach to interface specification Paper 1 Paper 2 Presentation

14.15 - 15.00 Louis van Gool (TU/e): Formalisation of ISpec Abstract

15.00 - 15.30 Coffee and tea

Session: The Ideals project

15.30 - 16.15 Remco van Engelen (ASML): Industry as laboratory, researching of Ideals Abstract

16.15 - 17.00 Michel Chaudron (TU/e): Predictable assembly of extra-functional properties of component-based systems

17.00 - 17.45 Arie van Deursen (CWI): Aspect mining and refactoring Abstract

18.00 - ... Dinner

Friday November 21

08.30 - 09.45 Arthur Baars and Doaitse Swierstra (UU): Attribute Grammars, can they be first class citizens?Abstract Presentation

Session: Components for language-parametric program restructuring

09.45 - 10.30 Ralf Lämmel (CWI): Components for language-parametric program restructuring Abstract

10.30 - 11.00 Coffee and tea

Session: Composition by coordination

11.00 - 11.45 Farhad Arbab (CWI): Reo, a coordination model for component composition Abstract Paper Presentation

11.45 - 12.30 Jan Rutten (CWI): Component connectors and circuits, a formal introduction Abstract Paper

12.30 - 13.30 Lunch and departure

Costs

IPA Ph.D. students (shared room only!) free
Speakers free
IPA members
5 days Euro 262,--
1 day Euro 52,50
Associated members
5 days Euro 327,50
1 day Euro 65,50
Other participants
5 days Euro 420,--
1 day Euro 85,--

Please note that Ph.D. students who are not in IPA will be charged as Associated members if they belong to a research school that is associated with IPA, and as an other participant otherwise.

To make maximal use of the available capacity, we process applications on the following basis: Registrations are treated "first come, first serve". All Ph.D. students (IPA and non-IPA) have to share a room. Others may also be asked to share if we run out of rooms.

Please remit the amount due, to our bank account with the ABN/AMRO. Account number: 60.27.60.690, in the name of A.M.H.G. Oversteegen e/o V.A.J. Borghuis, Den Dolech 2, 5600 AM Eindhoven. Please mention participation "IPA Herfstdagen 2003"

Registration

Please register using the Registration Form no later than November 7!.

How to get to Hotel "De Zwaan" in Beekbergen