November 28, 2005
Morning session
| 9:00 - 9:40 |
The Fractal Project: An Introduction. [abstract]
[slides] Jean-Bernard Stefani (INRIA Sardes, Grenoble, France) & Thierry Coupaye (FT R&D, Grenoble, France) |
| 10:00 - 10:30 |
Elements of a Dynamic ADL. [abstract] [slides] Jean-Bernard Stefani (INRIA Sardes, Grenoble, France) |
| 10:30 - 11:00 |
Recent Developments in AOKell. [abstract]
[slides] Lionel Seinturier (INRIA Jacquard, Lille, France) |
| 11:30 - 12:00 |
Fractal ProActive and a Natural Extension for The Grid: Multicast
and Gathercast Interfaces. [abstract]
[slides] Matthieu Morel (INRIA Oasis, Nice, France) |
Afternoon session
| 13:30 - 14:00 |
Confract : A Contracting System for Hierarchical Components.
[abstract] [slides] Alain Ozanne (France Telecom, U. Paris 6, France) |
| 14:00 - 14:30 |
Component Reliability Extensions to the Fractal Component Model.
[abstract] Tomas Bures (Charles University, Prague and Academy of Sciences of the Czech Republic) |
| 14:30 - 15:00 |
Verification of Distributed Hierarchical Components.
[abstract] [slides] Eric Madelaine (INRIA Oasis, Nice, France) |
| 15:30 - 16:00 |
Framework for Dynamic and Automatic Connectivity in Hierarchical
Component Environments. [abstract] Gabor Paller (Nokia Research Center, Budapest, Hungary) |
| 16:30 - 17:00 |
Client Cache in Fractal RMI. [abstract]
[slides] Philippe Merle (INRIA Jacquard, Lille, France) |
| 17:00 - 18:00 |
Evolution of the Fractal Project: Specifications, Implementations,
Discussions. [abstract] [slides] Thierry Coupaye (FT R&D, Grenoble, France) & Jean-Bernard Stefani (INRIA Sardes, Grenoble, France) |
9:00 - 9:40 The Fractal project: An Introduction.
Speaker: Jean-Bernard Stefani (INRIA Sardes, Grenoble, France) & Thierry Coupaye
(FT R&D, Grenoble, France)
Abstract: This talk will briefly introduce the Fractal model, highlighting its
main characteristics and distinguishing features with respect to other
industrial of experimental component based models. It will also present the
current Fractal "landscape", i.e. the different activities surrounding Fractal,
its implementations, and its use.
10:00 - 10:30 Elements of a dynamic ADL.
Speaker: Jean-Bernard Stefani (INRIA Sardes, Grenoble, France)
Abstract: The current Fractal ADL focuses on describing structural aspects of
component configurations, but
does not provide a way to describe programmed configuration evolutions. Yet this
capability can be extremely
useful, witness several proposals around introducing behavior descriptions or
Event-Condition-Action rules
in Fractal ADL descriptions. This talk sketches a proposed extension to the
Fractal ADL, based on the Kell
calculus, a calculus recently introduced by A. Schmitt and the speaker to
capture the operational semantical
basis of distributed component-based programming.
10:30 - 11:00 Recent Developments in AOKell.
Speaker: Lionel Seinturier (INRIA Jacquard, Lille, France)
Abstract: AOKell is a level 3.3 compliant, Java implementation of the Fractal
Specifications. Two dimensions can be isolated with Fractal: the business
dimension, which is concerned with the definition of application components, and
the control dimension, which is concerned with the technical services (e.g.
lifecycle, binding, persistence, etc.) which manage components. The originality
of AOKell is, first, to provide an aspect-oriented approach (based on the
AspectJ language) to integrate these two dimensions, and second, to apply a
component-based approach for engineering the control dimension. Hence, AOKell is
a reflective component framework where application components are managed by
other, so called, control components and where aspects glue together application
components and control components.
11:30 - 12:00 Fractal ProActive and a Natural Extension for The Grid: Multicast
and Gathercast Interfaces.
Speaker: Matthieu Morel (INRIA Oasis, Nice, France)
Abstract: This talk first presents an overview of the ObjectWeb ProActive
implementation of Fractal. Parallel, Asynchronous, and distributed components (
a single component spanning over several machines) are described. The second
part proposes a light Fractal extension: the notion of MultiCast and GatherCast
fractal interfaces. It allows to capture crucial aspects of Grid computing. This
extension is currently discussed within the CoreGrid NoE (EU financed Network of
Excellence) in order to adopt Fractal as the Grid Component Model (GCM) at the
European level.
13:30 - 14:00 Confract : A Contracting System for Hierarchical Components.
Speaker: Alain Ozanne (France Telecom, U. Paris 6, France)
Abstract: This presentation describes the contracting system ConFract for the
open and hierachical component model Fractal. Contracts are dynamically built
from specifications at assembly times, and are updated according to dynamic
reconfigurations. Moreover, these contracts are not restricted to interface
contracts, but provide new kinds of composition contracts.
14:00 - 14:30 Component Reliability Extensions to the Fractal Component Model.
Speaker: Tomas Bures (Charles University, Prague and Academy of Sciences of the
Czech Republic)
Abstract: When building large scale component based applications consisting of
many components, developed over a period of time by several developers, there
often arises the problem of mutual component compatibility. The compatibility of
interface signatures alone do not necessarily assure that two components are
compatible, as they do not specify how to use an interface (e.g., the ordering
of calls). This problem is addressed by associating behavior with components.
The talk will present a joint project with France Telecom which goal is to
provide support for associating behavior with Fractal components and provide
means of checking behavior compliance of components. In the work, we use
behavior protocols (designed originally for the SOFA component model), which is
a formalism for describing component behavior.
14:30 - 15:00 Verification of Distributed Hierarchical Components.
Speaker: Eric Madelaine (INRIA Oasis, Nice, France)
Abstract: Components allow to design applications in a modular way by enforcing
a strong separation of
concerns. In distributed systems this separation of concerns have to be composed
with distribution of
controls due to asynchrony. This article relies on Fractive, an implementation
of the Fractal component
model allowing to unify the notion of components with the notion of activity.
We show how to build automatically the behaviour of a distributed component
system. Starting from the
functional specification of primitive components, we generate a specification of
a system of components,
their asynchronous communications, and their control. We then show how to use
such a specification to
verify properties specific to components, reconfigurations, or asynchrony.
15:30 - 16:00 Framework for Dynamic and Automatic Connectivity in Hierarchical
Component Environments.
Speaker: Gabor Paller (Nokia Research Center, Budapest, Hungary)
Abstract: The presentation proposes a more distributed approach for
dynamic, hierarchical component composition where components
themselves influence component instantiation and
wiring. The proposal is based on an analogy with biological
cell transfer processes. The paper presents this approach
and demonstrates its use on a Fractal-based demo implementation
motivated by a mobile application use case.
16:30 - 17:00 Client Cache in Fractal RMI.
Speaker: Philippe Merle (INRIA Jacquard, Lille,
France)
17:00 - 18:00 Evolution of the Fractal Project: Specifications, Implementations,
Discussions.
Speaker: Thierry Coupaye (FT R&D, Grenoble, France) & Jean-Bernard Stefani
(INRIA Sardes, Grenoble, France)