Formal methods and component interaction

satellite workshop of  ICALP2002
12 July 2002, Málaga, Spain

Workshop organizers
Antonio Brogi (University of Pisa, Italy)
Ernesto Pimentel (University of Málaga, Spain)

Important dates
29 Mar 02 : submissions
31 May 02 : notifications
  21 Jun 02 : final versions

Program committee

Farhad Arbab (CWI, The Netherlands) 
Remi Bastide (University of Toulouse, France) 
Antonio Brogi (University of Pisa, Italy)
Manfred Broy (University of Munich, Germany)
Jeff Kramer (Imperial College, UK)
Ernesto Pimentel (University of Málaga, Spain)
Murali Sitaraman (Clemson Universiy, USA)
Workshop schedule - Friday 12
09:15 - 09:30 Welcome 
09:30 - 10:15 IWIM Semantics via Fibred Automata.
              R. Banach, F. Arbab, G.A. Papadopoulos, J.R.W. Glauert. 
10:15 - 11:00 A Call Abstraction for Component Coordination.
              P. Zave, M. Jackson.

11:00 - 11:30 Coffee Break

11:30 - 12:15 A Formal Composition and Interaction Model for a Web Component Platform.
              C. Pahl. 
12:15 - 13:00 Compatibility of Linda-based Component Interfaces.
              A. Brogi, E. Pimentel, A.M. Roldán.

13:00 - 15:00 Lunch

15:00 - 15:45 Systematic component adaptation.
              A. Bracciali, A. Brogi, C. Canal.
15:45 - 16:30 ARIFS: an Environment for Incomplete and Formal Specifications Reuse.
              R.P. Díaz, J.J. Pazos, A. Fernández, B. Barragáns. 

16:30 - 17:00 Coffee Break

17:00 - 17:45 Mobile Channels, Implementation Within and Outside Components.
              J. Guillen Sholten, F. Arbab, F. de Boer, M. Bonsangue.
17:45 - 18:30 An Approach to Combine Heterogeneous Specification of Components.
              G. Salaün, M. Allemand, C. Attiogbé.

18:30 - 19:00 Discussion and Conclusions
Aims and scope
While available component-oriented platforms address software interoperability at the signature level, the way to describe and reason on the (concurrent) interactive behaviours of components is still an open research issue. The scope of the workshop is the application of formal methods to develop well-founded methodologies for validating and certifying software compositions. The aim of the workshop is to provide a forum for discussing the application of formal methods to different aspects of component interaction such as compatibility, replaceability or adaptation. Contributions on different aspects of component interaction, such as specification, analysis, verification, design, and implementation are welcome. 


Perspective authors are invited to submit an extended abstract of their papers, presenting original contributions to the workshop theme. Submissions should be in English and not exceed 15 pages. They should be sent as PS or PDF files to
The workshop proceedings will be published in the ENTCS (Electronic Notes in Theoretical Computer Science) series. 


The workshop will be held under the auspices of EATCS, the European Association of Theoretical Computer Science.