The CoCoME example - OASIS Team
This webpage is part of the Common Component Modelling Example (CoCoME). In here,
we offer
online complementary material concerning our component model.
Team overview
This is a work done by the OASIS team at INRIA Sophia Antipolis, France.
- Antonio Cansado
- Denis Caromel
- Ludovic Henrio
- Eric Madelaine
- Marcela Rivera
- Emil Salageanu
Further information about the OASIS team can be found at our homepage.
Summary of our approach
This chapter is based on a component model for distributed
components called GCM
for Grid Component Model.
We present this component model, its reference implementation based on
the Java middleware ProActive, our specification language JDC adapted
to distributed components, and the associated specification platform: Vercors. Our aim is, from the specification of components and
their behaviour, to be able to both verify properties on this behaviour
and generate real GCM components.
Some useful links: