Re: [stp-pmc] Re: Potential code contribution - BPEL checker

[Etienne Juliot <etienne.juliot@xxxxxxx>]

EMF Validation can execute customed validation rules. It' only to check 
if the XML is conformed to its XSD.
EMF Validation can use several language, like Java or OCL, or should be 
extended to support your new language (but throw a unify API).

You can find the EMF model of BPEL in this project : 
org.eclipse.bpel.model\src\model\bpel.ecore

Etienne

Antony Miguel a écrit :
> B2J doesn't use EMF and I think the BPEL checker uses the B2J code to 
> read the BPEL and translate it which would mean it also doesn't use EMF.
>
> We may not be talking about the same validation though.  I would think 
> the EMF validation checks the provided BPEL against the BPEL XSD 
> schema? but the BPEL checker introduces a new language under a custom 
> element under the standard BPEL partnerLink element which allows the 
> author to specify valid order of invocation for a given web service.  
> It then checks the behaviour of the BPEL to verify that the web 
> services are called in the proper manner.  So I think the BPEL checker 
> is a level above the EMF validation which the author needs to add in.
>
> Oisin Hurley wrote:
> > > Does this BPEL checker uses EMF Validation ? (because BPEL uses an 
> > > Ecore model, and all a generic validation framework is already 
> > > available here : 
> > > http://www.eclipse.org/modeling/emf/?project=validation)
> > > Here is a tutorial, if you are interested: 
> > > http://help.eclipse.org/help31/index.jsp?topic=/org.eclipse.gmf.doc/tutorials/msl/validationTutorial.html 
> >
> > I confess I don't know - Antony (the B2J component lead) is taking a 
> > look into
> > this in more detail.
> >
> >  best regards
> >   Oisin
> >
> > ----------------------------
> > IONA Technologies PLC (registered in Ireland)
> > Registered Number: 171387
> > Registered Address: The IONA Building, Shelbourne Road, Dublin 4, 
> > Ireland
> > _______________________________________________
> > stp-pmc mailing list
> > stp-pmc@xxxxxxxxxxx
> > https://dev.eclipse.org/mailman/listinfo/stp-pmc
>
> _______________________________________________
> stp-pmc mailing list
> stp-pmc@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/stp-pmc
begin:vcard
fn:Etienne Juliot
n:Juliot;Etienne
org:Obeo
adr;quoted-printable:;;2 rue Robert Schuman;Rez=C3=A9;;44400;France
email;internet:etienne.juliot@xxxxxxx
tel;work:02 51 13 51 42
tel;pager:etienne.juliot@xxxxxxxxxx
tel;cell:06 86 78 14 82
url:http://www.obeo.fr
version:2.1
end:vcard