1. Eric MADELAINE -- GridComp -- OASIS 1 E. Madelaine (A. Cansado) GridComp project OASIS team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis GridComp conference Sophia-Antipolis – oct. 22, 2008 Graphical Editors for Component Specification and Verification

2. Eric MADELAINE -- GridComp -- OASIS 2 The Vercors Specification and Verification Platform Vercors Specification Language Graphical Editor Code Generator ADL/IDL (final) Java Skeletons Business code Runtime GCM / ProActive Abstractions of User Classes Model Generator Finite State model Prover Model-Checker

3. Eric MADELAINE -- GridComp -- OASIS 3 Graphical Editor (Eclipse Plugin) Component architecture Vercors ADL/IDL (final) Runtime GCM / ProActive Interoperability : Reads and Writes standard ADL (Fractal and GCM) Alignment compatible with Fractal-GUI VCE Design and Verification Tool

4. Eric MADELAINE -- GridComp -- OASIS 4 Functional Specification 1 to N and N to 1 bindings (Multicast and Gathercast interfaces)

5. Eric MADELAINE -- GridComp -- OASIS 5 Non-Functional Specification Non-functional components in the membrane (Controllers and Interceptors)

6. Eric MADELAINE -- GridComp -- OASIS 6 VCE tool : an Eclipse plugin

7. Eric MADELAINE -- GridComp -- OASIS 7 Next Step: Specify the behaviour of primitives Graphical Editor Component architecture Vercors ADL/IDL (final) Graphical Editor Component behaviour: Finite State Machines + GCM Specifics Code skeletons (Java) Runtime GCM / ProActive

8. Eric MADELAINE -- GridComp -- OASIS 8 Availability Architecture editor: http://www-sop.inria.fr/oasis/Vercors Behaviour editor: Work in progress Contact me if interested.