"Neuveden" . "Eclipse plugin for checking behavior of composed web services"@en . . . . . . . "RIV/00216208:11320/08:00207500" . "Malohlava, Michal" . "Softwarov\u00FD prototyp vyu\u017E\u00EDvan\u00FD v\u00EDce subjekty (viz anotace)" . . "2"^^ . "KSI-2008-10R" . "Par\u00EDzek, Pavel" . . . . "Eclipse plugin for checking behavior of composed web services" . . "Eclipse plugin for checking behavior of composed web services"@en . "2"^^ . . "11320" . . . . "[2B36DD7BE7F1]" . "P(OE227), Z(MSM0021620838)" . "Eclipse; plugin; checking; behavior; composed; services"@en . . "BPEL checker plugin for Eclipse allows checking of BPEL files in a simple way. The plugin publishes the Check BPEL file action in the context menu of the file navigator that is associated (and enabled) only for files with the bpel extension. When this action is executed, the BPEL checker is run and its output is displayed in the Eclipse console" . . . . "RIV/00216208:11320/08:00207500!RIV10-MSM-11320___" . . . "Eclipse plugin for checking behavior of composed web services" . "BPEL checker plugin for Eclipse allows checking of BPEL files in a simple way. The plugin publishes the Check BPEL file action in the context menu of the file navigator that is associated (and enabled) only for files with the bpel extension. When this action is executed, the BPEL checker is run and its output is displayed in the Eclipse console"@en . "364799" . . . .