E. Madelaine (A. Cansado)

1

Graphical Editors for Component Specification and
Verification

• E. Madelaine (A. Cansado)
• GridComp project
• OASIS team
• INRIA -- CNRS - I3S -- Univ. of Nice
  Sophia-Antipolis
• GridComp conference Sophia-Antipolis oct.
  22, 2008

2
(No Transcript)
3
VCEDesign and Verification Tool
Vercors
Graphical Editor (Eclipse Plugin) Component
architecture
ADL/IDL (final)
Runtime GCM / ProActive
Interoperability Reads and Writes standard ADL
(Fractal and GCM) Alignment compatible with
Fractal-GUI
4
Functional Specification

• 1 to N and N to 1 bindings
• (Multicast and Gathercast interfaces)

5
Non-Functional Specification

• Non-functional components in the membrane
• (Controllers and Interceptors)

6
VCE tool an Eclipse plugin
7
(No Transcript)
8
Availability

• Architecture editor
• http//www-sop.inria.fr/oasis/Vercors
• Behaviour editor
• Work in progress
• Contact me if interested.