BPEL Checker

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F07%3A00005198" target="_blank" >RIV/00216208:11320/07:00005198 - isvavai.cz</a>
Výsledek na webu
<a href="http://d3s.mff.cuni.cz/software/bpc" target="_blank" >http://d3s.mff.cuni.cz/software/bpc</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
BPEL Checker
Popis výsledku v původním jazyce
BPEL checker is a command-line tool for verification of BPEL code against session protocols. For a given web service implemented in the BPEL language (a BPEL script), the tool can check whether the BPEL script interacts with other services according to the constraints on the order of operation invocations of the other services - the constraints being expressed via session protocols that are defined in the formalism of behavior protocols.
Název v anglickém jazyce
BPEL Checker
Popis výsledku anglicky
BPEL checker is a command-line tool for verification of BPEL code against session protocols. For a given web service implemented in the BPEL language (a BPEL script), the tool can check whether the BPEL script interacts with other services according to the constraints on the order of operation invocations of the other services - the constraints being expressed via session protocols that are defined in the formalism of behavior protocols.

Projekt
<a href="/cs/project/1P05OE171" target="_blank" >1P05OE171: OSIRIS Open Source Infrastructure for Run-time Integration of Services</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)