kits graphiques sur kits graphiques
 
 
 
 
   
   
   
  News:
  A first paper resuming our formal approach for the verification of BPEL process has been accepted at WETICE 2012.
     
     
     
     
     
     
     
     
     
     
     
 
Last update:
 
12-12-2011

  • BPEL Grammar:

    		•  BPEL Grammar
       

  • Rewrite rules:

    		•  Rewrite rules
       

  • Translation rules:

    		•  Transkation rules  

  • Verification tool:

     Description: BPELVT 1.0 is the current official release of the academic version. It can be accessed from the Eclipse environment through menu bar.

     Setup : The zip file ( BPELVT-1.0.zip ) is a Java eclipse add-ons. You have to add the jar files to plugin and features folders in eclipse directory, then open or restart your eclipse program and it will be automatically added in menu bar (see Fig.2).

     Demo : This demonstration presents an overview of our plugin integrated into the Eclipse platform.

Fig.2: BPELVT integration menu.

Fig.2: BPELTVT integration menu.