||(University of Pisa, Italy)
||(University of Málaga, Spain)
29 Mar 02 : submissions
31 May 02 : notifications
21 Jun 02 : final versions
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.
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
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 email@example.com
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.